默认逻辑的表示理论
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
默认逻辑可以被视为一种表示推理代理的信念集家族的机制。因此，它本质上是二阶的。在本文中，我们研究了一个理论家族作为默认理论的扩展集的可表示性问题。我们给出了通过正规默认理论实现可表示性的完整解决方案。我们获得了关于任意默认理论可表示性的部分结果。我们构造了不可表示的不可包含理论的不可数家族的示例。我们还研究了默认理论之间的等价性概念。
引用
@article{arxiv.cs/9901016,
title = {Representation Theory for Default Logic},
author = {Victor Marek and Jan Treur and Miroslaw Truszczynski},
journal= {arXiv preprint arXiv:cs/9901016},
year = {2007}
}
备注
Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358