.png){kind=icon}
返回
Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-04848-6_3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
逻辑程序中的有序析取（LPODs）是一种广为人知的逻辑程序扩展，用于通过有序析取算子表达定性偏好。然而，为LPODs最初提出的语义在某些情况下会产生反直觉的偏好解。一种替代的许多值逻辑语义通过引入一个表示未能满足偏好的额外真值来处理这些情况。在本文中，我们介绍了这种替代的许多值语义的实现。我们提出将一个LPOD转换为一个ASP程序，并将寻找许多值偏好模型的任务重新表述为一个答案集优化任务。值得注意的是，我们的方法可以扩展以支持标准析取，用于表达同等重要性的偏好。最后，我们将我们的系统与实现原始语义的现有系统进行比较。实验结果表明，替代语义不仅易于实现，而且在性能上具有可比性。
Keyword:
Logic Programs with Ordered Disjunction
Answer Set Programming
Many-Valued Logic
期刊
L
IF:
0
论文数:
13
被引数:
0
查看更多机构
.png){kind=icon}
