问题描述
我有以下 clingo 代码来生成搜索空间,后跟约束。
{in(I,1..4)}=1 :- I=1..n.
:- [constraint1]
:- [constraint2]
此代码有效。但是我需要 clingo 来找到存在稳定模型的 n 的最大值。最好的方法是什么?
解决方法
您可以使用 #min 聚合来查找 min n。
TypeError: test2() got multiple values for argument 'x'
并使用 #maximize 指令找到聚合 experission 值较大的稳定模型。
value(I) :- I = #min {I:in(I,X) }.