论文部分内容阅读
如何处理信念之间的冲突是常识推理中的一个关键性的问题。基于Robinson的归结方法，给出了一个在一阶逻辑中基于子句型信念的非修正推理方法，通过对推理过程进行适当的控制以得到最终的结论集但不对已有的冲突信念进行修正。这种方法能够较好地在推理中避免有用信息的丢失和无用信息的产生现象，可用于刻画信念的动态增长和进化。