一类关于偏好答案集的描述性方法
计算机科学中的逻辑
2014-04-29 v1
摘要
在答案集语义下的逻辑编程中，规则上的偏好用于选择应用哪些冲突规则。许多有趣的语义已被提出。Brewka 和 Eiter 的原则 I 表达了偏好背后的基本直觉。所有满足原则 I 的方法都在原本声明式的语言中引入了相当命令式的特征。他们将偏好理解为必须应用程序规则的顺序。在本文中，我们提出了两种纯粹的声明式偏好处理方法，它们满足原则 I，并适用于一般冲突，包括规则间的直接和间接冲突。第一种方法基于这样的思想：一条规则不能被优先级较低的冲突规则所击败。这种方法能够忽略非冲突规则之间的偏好，例如，对于分层程序子类，它等价于答案集语义。它适用于开发者无法完全控制偏好的场景。第二种方法放宽了忽略冲突规则的要求，从而确保其保持在 NP 复杂度类中。它基于这样的思想：一条规则不能被优先级较低的规则或依赖于优先级较低规则的规则所击败。第二种方法也可以通过转换为无偏好的逻辑程序来刻画。事实证明，这些方法构成了一个层次结构，是 Delgrande 等人、Wang 等人以及 Brewka 和 Eiter 的方法层次结构中的一个分支。最后，我们展示了一个现有方法无法适用而本文方法能产生预期结果的应用实例。
引用
@article{arxiv.1404.6781,
title = {A Family of Descriptive Approaches To Preferred Answer Sets},
author = {Alexander Šimko},
journal= {arXiv preprint arXiv:1404.6781},
year = {2014}
}
备注
10 pages, 1 figure, The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)