如何使用 Potassco clingo python API 实际检查模型证明的最优性？

问题描述

from clingo import Control

def on_model(m):
    print(m,m.optimality_proven)

ctl = Control(["0"])
ctl.add("base",(),"0 { a } 1. :~ a. [-1@0]")
ctl.ground([("base",())])
solution = ctl.solve(on_model=on_model)
assert solution.exhausted

当我运行它时，输出是：

 False
a False

我很困惑为什么在第二种情况下 optimality_proven 标志设置为 False。 Clingo 首先检查次优的空模型，然后检查包含单个原子 a 的模型，这是最优的。但是出于某种原因，即使搜索已用尽，它也不知道它是最佳的？是不是因为只有在检查这个模型后才会出现耗尽？但是，我怎样才能让这个标志永远设置为 True？我的意思是，我可以做一些变通办法，比如在 on_model 函数中存储和比较生成的模型，以自己检查最优性，但考虑到 API 提示此 {{1} 函数中已经可用的功能，这感觉很不自然}} 属性。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

answer-set-programming clingo python