答案集编程中的负优化结果

Question

最后我写了一个带有优化条件的ASP程序。当我编译它时，即使我得到了正确的结果，在总结中我得到一个优化的负值（即-3）。

你知道为什么会这样吗？

优化代码部分如下所示：

number_of_leaves(N) :- #count{X : leaf(X)} = N.
#maximize {N : number_of_leaves(N)}.

Answer 1

在 cligo 中，实际上只实现了 #minimize。 #maximize 是通过使用 #minimize 实现的 - 只是带有否定值。因此，“最大值”也被否定了 - 它显示 -3 当值应该是 3。