ASP（答案集编程）可以表示“undecidable”吗？

【问题标题】：Is "undecidable" can be represented in ASP (Answer Set Programming)?ASP（答案集编程）可以表示“undecidable”吗？
【发布时间】：2018-03-26 04:01:59
【问题描述】：

一句话

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-set-programming clingo

【解决方案1】：

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

翻译句子的一种方法是

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

【讨论】：