KLM 非单调推理逻辑的分析表法计算
计算机科学中的逻辑
2007-05-23 v1 人工智能
摘要
我们给出 Kraus、Lehmann 和 Magidor 定义的非单调推理逻辑的表法计算方法。我们为所有 KLM 逻辑（即优先逻辑、环累积逻辑、累积逻辑和理性逻辑）提供表法证明程序。我们的计算方法通过引入适当的模态来解释条件断言。我们提供了所讨论逻辑的决策程序，并研究了它们的复杂度。
引用
@article{arxiv.cs/0611046,
title = {Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning},
author = {Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Gian Luca Pozzato},
journal= {arXiv preprint arXiv:cs/0611046},
year = {2007}
}
备注
54 pages + appendix with proofs