有序逻辑程序的偏好回答集
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
我们通过寻找“最佳”回答集，将回答集语义扩展以处理不一致程序（包含经典否定）。在不一致程序的语境下，对规则施加偏序是自然的，这表示对满足某些规则的偏好，甚至可能以违反较不重要的规则为代价。我们证明，这样的规则序在扩展回答集上诱导出一个自然序，其极小元我们称为偏好回答集。我们刻画了所得语义的表达能力，并表明它可以模拟否定即失败、析取以及其他一些形式系统，如带有序析取的逻辑程序。该方法在多个应用领域被证明是有用的，例如在数据库修复中，极小修复对应于偏好回答集。将发表于 Theory and Practice of Logic Programming (TPLP)。
引用
@article{arxiv.cs/0407049,
title = {Preferred Answer Sets for Ordered Logic Programs},
author = {Davy Van Nieuwenborgh and Dirk Vermeir},
journal= {arXiv preprint arXiv:cs/0407049},
year = {2007}
}
备注
To appear in Theory and Practice of Logic Programming (TPLP)