如何解决Clingo 程序预期可满足
我正在 Clingo 5.0.0 中测试一些涉及算术的程序,但我不明白为什么下面的程序无法满足:
#const v = 1.
a(object1).
a(object2).
b(object3).
value(object1,object2,object3) = "1.5".
value(X,Y,Z) > v,a(X),a(Y),b(Z),X!=Y :- go(X,Z).
我希望得到的答案包含:a(object1) a(object2) b(object3) go(object1,object3)。
关于 Clingo 的算术,我可能会想念一些东西。
解决方法
我担心这里对 ASP 存在一些误解。
- 您不能为谓词 (
value(a,b,c)=1.5
) 赋值。谓词形成原子,可以为真或为假(是否包含在答案集中)。 - 我假设你的最后一条规则应该导出原子 go(X,Y,Z)。规则正好相反,派生的内容在左侧。
- 没有可能的浮点运算,您必须将值缩放为整数。
您的问题可能看起来像这样,但这只是在黑暗中摸索:
#const v = 1.
a(object1).
a(object2).
b(object3).
value(object1,object2,object3,2).
go(X,Z) :- value(X,Z,Value),Value > v,a(X),a(Y),b(Z),X!=Y.
最后一条规则规定:
如果 go(object1,object3)
为真且 value(object1,2)
和 2 > 1
为真且 a(object1)
为真且 a(object2)
为真且 b(object3)
,则导出 object1 != object2
.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。