关于答案集编程的新手问题

Question

我对 Clingo（和逻辑编程）完全陌生，我正在寻找实现以下基本约束的最佳方式：

第一季度。我有一个谓词selected(T)，其中 T 的范围从 1 到 N=5；如何指定 至少存在一个 T 使得 selected(T) ？

第二季度。我有一个二元谓词wrap(E,T)，其中 E、T 的范围从 1 到 M、N；如何指定 对于每个 E 至少存在一个 T 这样 wrap(E,T) ？

第三季度。我如何指定如果selected(a) OR selected(b) 那么selected(c) 必须为假

我其实用了两行代码，不过可能还有更好的办法：

  :- selected(c), selected(a) .
  :- selected(c), selected(b) .

第四季度。如何指定如果某个条件 C(A) 为真，那么两个一元谓词 p1(A) 和 p2(A) 必须具有相同的值？

我其实用了两行代码：

p1(A) :- C(A), p2(A)
      :- C(A), not p2(A), p1(A)

Q5。你推荐什么书来很好地介绍答案集编程？

Answer 1

第一季度：

%%%% Config
#const n = 5.
%%%% Code
% selected is not an empty predicate
1 { selected(1..n) }.

第二季度：

%%%% Config
%% N
#const n = 5.
%% M
#const m = 4.

%%%% Helpers
%% Ts
t(1..n).
%% Es
e(1..m).

%%%% Code
% there is an E, then there must be at least one
% wrap(E,T) where T is from t
1 { wrap(E, T) : t(T) } :- e(E).

第三季度：

:- selected(c), selected(a;b).

Q4：我其实是这么想的

:- c(A), p1(A)!=p2(A).

可以，但显然不行。我认为最清晰的写法是

:- c(A), not p1(A), p2(A).
:- c(A), p1(A), not p2(A).

虽然我对“不”的使用不满意。也许最近使用过 ASP 的人记得一个更好的解决方案。或者，您可以将 p1 和 p2 扩展到二进制谓词并编写

:- c(A), p1(A,P1), p2(A,P2), P1!=P2.

Q5：不幸的是，我认为没有好的 ASP 书籍。也就是说，我读过的绝对最好的一本书是常见的嫌疑人 Gebser、Kaminski、Kaufmann、Schaub 的“实践中的答案集求解”。在阅读与 potassco 收藏相关的材料时，您需要在 gringo 3 和 gringo 4 语言差异之间进行调整，官方手册没有很好地解释这一点，我见过的任何其他资源也没有。

编辑：现在有一个 Potassco 工具的新手册，其中包含 clasp 3 和 gringo/cligo 4.5 的最新语法，在这里找到它：http://sourceforge.net/projects/potassco/files/guide/2.0/