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

Я хотел бы знать, есть ли простая возможность разделить предикаты в ответе, заданном новой строкой вместо пробелов. Пример: node(1..3). звонил с clingo path.lp дает clingo version 5.4.0 Reading from .../path.lp Solving... Answer: 1...

Я пытаюсь использовать 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),...

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