常识推理中不一致信念的一种非修正处理方法

摘要

在一阶逻辑中 ,给出了一种能够描述和处理基于不一致信念 ,但不对已有的不一致信念进行修正的推理方法 .这种方法在推导过程中 ,将根据已有的信念能够推出的没有相反信息的结论作为推理的最终结论 .它的最重要的特点是每个假说都存在惟一的扩充 ,该扩充具有累积性 。