Описание тега answer-set-programming

Описание тега Вопросы с тегом
Программирование набора ответов - это парадигма декларативного программирования, которая может решать сложные задачи поиска. Он основан на семантике стабильной модели (набора ответов) логического программирования. В отличие от традиционных языков программирования, мы не даем пошаговых инструкций по программированию набора ответов. Это что-то вроде того, что я хочу, теперь вы понимаете, как это сделать.
1 ответ

Клинго применить переменный диапазон

Я не знаю много о клинго, я надеюсь, что смогу ясно рассказать о проблеме. В настоящее время я cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY). который возвращает результаты для каждого значения X, Y. Как я могу получить для X-XX и Y…
17 ноя '17 в 14:34
1 ответ

Как минимизировать количество экземпляров литерала, в clingo 4.5

Я не уверен, как написать заявление об оптимизации в clingo4 (ASP Solver). Я хочу минимизировать общее количество экземпляров определенных литералов в каждом наборе ответов. Я имитирую агента реагирования на огонь в ASP. Агент может выбрать выполнен…
15 июн '15 в 18:44
1 ответ

Используйте Clingo 4.5 с Gringo 3

Я пытаюсь запустить код из упражнений из 8-й главы PCGBook. Они используют клинго, но не говорят, какую версию они используют. Когда я скачал последнюю версию Clingo из sourceforge Потасско (версия 4.5.4), он выдает мне ошибки лексера. Я предполагаю…
22 ноя '16 в 04:14
1 ответ

Упаковка квадратов в прямоугольник с использованием ограничений (CLINGO)

Используйте CLINGO, чтобы упаковать данный набор квадратов в заданную прямоугольную область без наложений. Например, мы хотим упаковать квадраты: A размера 4, B размера 3, C & D размера 2, E размера 1 в область 5 х 8. #const x = 8. #const y = 5. squ…
22 фев '16 в 07:25
1 ответ

Переводчик с Пролога /ASP(Clingo) на CLIPS

Есть ли простой способ перевести код Prolog/ASP в CLIPS? Примерно так, но с CLIPS вместо Prover9: https://github.com/potassco/anthem/tree/master/examples
04 июл '18 в 00:28
1 ответ

Можно ли представить "неразрешимый" в ASP (программирование набора ответов)?

Предложение как If a(X), then one can't decide/conclude anything about a(X) being b(X) Первая попытка b(X) | -b(X) :- a(X). Вторая попытка :- a(X), b(X). :- a(X), -b(X). Первый не вносит изменений в решение, а второй делает все неудовлетворительным.
26 мар '18 в 04:01
1 ответ

Преобразование логической головоломки в исчисление предикатов и пролог /dlv

Вопрос в том, что соль была украдена! Что ж, выяснилось, что виновником был либо Гусеница, Билл Ящерица, либо Чеширский Кот. Трое были судимы и сделали следующие заявления в суде: CATERPILLAR: Bill the Lizard ate the salt. BILL THE LIZARD: That is t…
05 ноя '15 в 20:33
2 ответа

Как использовать выходные данные из решателя SPARC в качестве входных данных для файла Python?

Мой вопрос: мне нужно сохранить выходные данные из решателя SPARC (который в настоящее время отображается как текст в терминале) как переменную в моем коде Python. Как я могу это сделать? Краткое примечание: SPARC - это решатель, используемый для фа…
22 апр '17 в 03:16
1 ответ

Подсчет количества истинных предикатов и ограничение

Есть ли определенный способ, которым я могу ограничить число истинных предикатов, доступных с использованием указанного факта? На данный момент у меня всего (2). как факт. Я думал, что это будет работать: : - итого (N), #count{x: Some_to_limit(x)} =…
25 янв '17 в 12:20
0 ответов

Выполнить клинго на Android через Javascript

Я пытаюсь выполнить программу clingo внутри приложения Android. Я видел библиотеку EmbASP ( здесь), но она работает только с DLV, и перенос моего кода будет очень трудным (я использую много отрицательных чисел...). Итак, мой вопрос: кто-нибудь выпол…
29 окт '18 в 14:14
1 ответ

lparse/clingo: как выразить следующее в компактной форме?

b(X) :- a(b(X)). c(X) :- a(c(X)). d(X) :- a(d(X)). etc. Я хочу выразить это в компактной форме: F :- a(F). Однако это синтаксическая ошибка. Как правильно это сделать?
09 июл '18 в 20:01
1 ответ

Состав списка DLV

Мне было интересно, есть ли способ в DLV для создания списка с элементами всех предикатов, которые являются истинными в правиле. Например, если у меня есть следующие предикаты foo(a, b). foo(a, c). foo(a, e). foo(b, c). Результат, который я ищу, дол…
23 сен '16 в 08:15
1 ответ

ASP Clingo - разбиение графа на n кликов

Для данного графа мне нужно представить его, используя не более n кликов. У меня проблема с этой задачей. Это похоже на n-раскраску графа, который противоположен данному графу (граф b противоположен графу A, если ребро (a, b) в графе A, чем ребро (a…
16 дек '16 в 19:34
1 ответ

Какова разница между моделью и наименьшей моделью в программировании набора ответов?

Я беру урок искусственного интеллекта, и мы работаем с Программой набора ответов (Clingo, в частности). В данный момент мы говорим в основном о теории, и у меня возникли проблемы с разграничением моделей и моделей с наименьшим количеством моделей. У…
21 сен '14 в 19:01
0 ответов

Clingo ответ набор новичков программирования

Я получил следующую проблему с набором программ ответа, но не уверен, что мой ответ правильный: A (X) обычно являются E (X) U (X) обычно не являются E (X) G (X) обычно являются E (X) Каждый G (X) есть U (X) U (X) обычно являются A (X) G (t 1) G (t2)…
19 ноя '16 в 05:10
1 ответ

Программирование набора ответов: как распределить учащихся по группе таким образом, чтобы в одной группе не было двух учеников, которые не любят друг друга

Я новичок в программировании набора ответов. Я хочу сгруппировать всех учеников в разные группы так, чтобы: 1. В каждой группе было от 3 до 4 учеников. 2. В одной группе нет двух учеников, которые не любят друг друга. 3. И мы не можем назначать одно…
08 дек '15 в 06:29
1 ответ

Начало работы: где мне написать программу?

Поэтому мне необходимо выполнить проект "Программирование наборов ответов", в котором мы должны решить некоторую проблему и создать контрольные примеры с использованием решателя DLV. В соответствии со спецификацией проекта нам нужно сделать файлы G.…
09 июн '15 в 13:07
1 ответ

Clingo: создать пользовательскую функцию

Я в конце, чтобы создать "функцию" в клинго, если таковая может быть определена. В упрощенной версии того, что я пытаюсь выполнить, я написал эту очень короткую программу: a(1..3). adj(X,Y) :- a(X), a(Y), abs(X-Y)==1. #hide a/1. По сути, я хочу опре…
08 май '14 в 14:59
1 ответ

Clingo: сравнивать строковые литералы по порядку (индексу)?

Я определил цветовую палитру под названием tableau10 в клинго: tableau10(blue;orange;red;teal;green;yellow;purple;pink;brown;gray). Есть ли способ сравнить цвета в порядке их появления в моем определении цвета? (например, blue = 0, orange = 1, red =…
17 фев '19 в 05:17
1 ответ

Отрицание как сбой в Прологе и отрицание по умолчанию в наборе Ответов Пролог

Мне очень трудно понять концепцию отрицания как провала в Прологе по сравнению с отрицанием по умолчанию в Прологе набора ответов. Может кто-нибудь объяснить мне, в чем разница.
28 фев '19 в 08:57