几何缺席推理研究

提出了实体几何缺席推理理论 ,研究了相应的三维实体重构算法 ,并进行了实例验证 .

缺席推理的逻辑框架

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