Question

在Clingo指南中，引入了两种模式，称为谨慎模式和勇敢模式，如下所示：

勇敢计算某人的勇敢后果（所有答案集的总和）   逻辑程序。

谨慎计算逻辑程序的谨慎后果（所有答案集的交集）。

指南中未提供更多信息。我尝试了一些示例，但在理解该问题时遇到了麻烦。

我尝试运行以下简单的ASP程序：

p :- not q.
q :- not p.

运行不带模式参数的Clingo将给出正确的答案集：

answer 1:{p}
answer 2:{q}

如指南中所述，如果在勇敢模式下运行，它将计算所有答案集的并集，我应该得到结果{p, q}。

同样，在谨慎的情况下，预期结果为空。

但是，Clingo进行勇敢推理的实际结果是：

clingo版本5.3.0

从test / cautious_reasoning.lp读取

解决...

答案：1

q

后果：[1; 2]

答案：2

q p

后果：[2; 2]

满意

型号：2

勇敢：是

后果：2

通话次数：1

时间：0.006秒（解决：0.00秒，第一模式：0.00秒未饱和：0.00秒）

CPU时间：0.002s

对于谨慎的情况：

clingo版本5.3.0

从test / cautious_reasoning.lp读取

解决...

答案：1

q

后果：[0; 1]

答案：2

后果：[0; 0]

满意

型号：2

谨慎：是

后果：0

通话次数：1

时间：0.001秒（解决：0.00秒，第一模式：0.00秒未饱和：0.00秒）

CPU时间：0.001秒

那么[]中的数字代表什么？如何理解Clingo中谨慎而勇敢的推理模式？

Answer 1

当您使用枚举算法--enum-mode brave或--enum-mode cautious调用clingo时，出现在每个枚举模型中的原子都会“收敛”到一系列勇敢或谨慎的结果上。也就是说，在brave模式下，原子将单调增加，而在cautious模式下，原子将单调减少。分别将其视为产生勇敢和谨慎后果的“运行中”工会或交叉路口。

方括号[d;p]中的数字具有以下含义：每个模型的clingo调用TextOutput::printMeta，它会打印一对具有明确结果[d;p]的整数d和Output::numCons计算出的剩余可能后果p。

编辑：最后一个答案将为您提供最终结果，即输入程序的勇敢/谨慎后果。如果您只关心最终结果，则可以像这样调用clingo来获得勇敢的结果（例如，程序a | b | c | d.的结果）

% echo 'a|b|c|d.' | clingo -e brave | grep -A1 '^Answer:' | tail -n -1
b c d a

对于程序a | b | c | d.的谨慎后果（即空集），您只需要在谨慎的枚举模式下启动clingo：

% echo 'a|b|c|d.' | clingo -e cautious | grep -A1 '^Answer:' | tail -n -1

勇敢/谨慎推理的人

1 个答案: