缺席推理的逻辑框架

本文提出缺席推理的一个简单逻辑框架,其语义是正规一阶模型理论;它没有改变逻辑本身,而只是改变了使用逻辑的方法。我们探讨把推理看成一种简单的理论构成情形所产生的一些结果,而不期望推理只是我们知识的(用任意逻辑)的演绎。通过把缺席处理成预定义的可能假设,我们说明了这一思想是怎样包含 Reiter 缺席推理背后的直觉的。文中还讨论了有关多扩充问题的解决办法。所给出的全部例子是用一个叫做 THEORIST 的原型系统实现的。