默认推理的公理性方面
摘要：从一个基于语义的角度研究了非单调推理的公理，重点关注一类用于关于部分信息的推理的数学结构，而没有预定的语法/逻辑。这种结构被称为默认结构。我们通过使用怀疑性推论研究了从扩展派生的非单调推理关系的公理，类似于Reiter的默认逻辑，但是扩展现在用于默认信息结构中的可能世界的构建。在以前的工作中，我们表明从默认扩展派生的怀疑性推理服从一个良好的公理集，包括小心切割的公理。我们在这里展示了一个令人惊讶的结果：相反的也是真实的，任何服从这组公理的推理关系都可以表示为一个由怀疑性推理构建而成的推理关系。我们提供了表示定理来关联非单调推理关系的公理和关于扩展的性质，并提供了满足谨慎单调定律和具有唯一扩展的默认结构之间的一对一对应关系。我们的结果为控制非单调知识库更新的一组基本规则提供了理论上的合理性，从更具体和原始的扩展构造中导出这些规则的推导。值得注意的是，表示定理的证明表明，仅需要浅扩展，即实现扩展所需的迭代次数最多为三次。所有这些发展都是通过采用更自由的一致性观点实现的：一致性是一种由用户定义的谓词，满足一些基本属性。
作者：Guo-Qiang Zhang (Case Western Reserve University)
论文ID：cs/0207087
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23