“不可判断”是否可以用ASP（答案集编程）表示？

Question

像

这样的句子

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).

第一个没有改变解决方案，而第二个让一切都不可满足。

Answer 1

经过长时间的冥想，我会回答我自己的问题......

翻译句子的一种方法是

b(X) :- a(X), not -b(X).
-b(X) :- a(X), not b(X).