У меня есть следующие факты в dlv: «знает (X, Y)» означает, что X знает Y. knows(adam, dan). knows(adam,alice). knows(adam,peter). knows(adam,eva). knows(dan, adam). knows(dan,alice). knows(dan,peter). knows(eva, alice). knows(eva,peter)....

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

Какие существуют методы, которые я могу использовать для запуска файла ASP из основной функции моего кода C++? Я делаю проект, в котором я должен управлять симулированным роботом-черепахой с помощью файла C++ и использовать код ASP для создания...

В руководстве Clingo есть два режима, называемых осторожным и храбрым, которые представлены следующим образом: смелый Вычислите смелые последствия (объединение всех наборов ответов) логической программы. осторожно Вычислить...

По сути, у меня есть программа раскраски графа, в которой каждый узел с краем к другому узлу должен быть разного цвета. Вот мой код: node(1..4). edge(1,2). edge(2,3). edge(3,4). edge(4,1). edge(2,4). color(1..3). { assign(N,C) : color(C) } = 1...

Имея опыт работы с Прологом, я изо всех сил пытаюсь преобразовать эту программу DLV (которая имеет встроенные предикаты для обработки списков аналогично Прологу) в CLINGO . path(X,Y,[X|[Y]]) :- rel(X,Y). path(X,Y,[X|T]) :- rel(X,Z), path(Z,Y,T),...

Я пытаюсь использовать clingo для создания распределения турнирных игровых комнат: player(1..20). room(1..4). played(1..20, 0). rank(1..20, 1). played(1..20, 1..20, 0). 0 { used_room(R) } 1 :- room(R). 3 { game(P, R) } 4 :- used_room(R),...

Я изо всех сил пытаюсь масштабировать проблему ограничения (она не работает для больших значений и / или если я пытаюсь оптимизировать, а не просто искать какое-либо решение). Я предпринял некоторые шаги, чтобы сократить пространство поиска,...