优先逻辑程序的两个结果
人工智能
2007-05-23 v1
摘要
优先默认推理在知识表示和推理中表现出丰富的表达性和灵活性。然而，许多重要方面尚未得到彻底探索。本文在答案集语义下研究优先逻辑程序的两个属性。具体而言，我们揭示了互惨性与优先逻辑程序答案集唯一性之间的密切关系。随后，我们探讨了将扩展逻辑程序的分割技术如何扩展到优先逻辑程序。我们证明了可用于在特定条件下简化优先逻辑程序求值的分割定理。
引用
@article{arxiv.cs/0203007,
title = {Two results for proiritized logic programming},
author = {Yan Zhang},
journal= {arXiv preprint arXiv:cs/0203007},
year = {2007}
}
备注
20 pages, to be appeared in journal Theory and Practice of Logic Programming