非单调知识表示系统中的终极近似
人工智能
2007-05-23 v1
摘要
我们研究算子在格子上的不动点。为此，我们引入近似算子的概念。我们通过精度排序来对近似进行排序。我们证明每个格子算子 O 都有一个唯一的最精确或终极近似。我们演示了该终极近似的不动点为理解算子 O 的不动点提供了有用的见解。我们将我们的理论应用于逻辑编程，提出终极 Kripke-Kleene、完备和稳定语义。我们指出，终极 Kripke-Kleene 和完备语义比其标准对应物更精确。我们认为，逻辑编程的终极语义具有有吸引力的认识论属性，尽管在一般情况下它们的计算复杂度高于标准语义，但对于许多理论类别，其复杂度并不更差。
引用
@article{arxiv.cs/0205014,
title = {Ultimate approximations in nonmonotonic knowledge representation systems},
author = {Marc Denecker and Victor W. Marek and Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:cs/0205014},
year = {2007}
}
备注
This paper was published in Principles of Knowledge Representation and Reasoning, Proceedings of the Eighth International Conference (KR2002)