【摘要】单调推理无法满足人们对客观世界的认知,为此提出了非单调推理。人们从外界获取的信念往往不总为真,当获取的新信念与原有信念集中的信念相矛盾时就会出现不一致,如何对信念集进行协调性维护是常识推理的关键问题之一。目前对不一致信念进行处理的主要方法是信念修正方法,其主要不足之处在于：有可能会丢失有用信念和产生多个结论难以选择。本论文对不一致信念的处理则采用信念非修正的极小模型方法,其基本思想是：允许 […]

【摘要】信息的不断更新以及差异性使得它们相互之间的冲突矛盾经常存在于常识推理过程之中。称这一类不确定、不完全信息为信念。在推理的过程中发生矛盾,这时就要采取一定的方法来解决矛盾,这也是逻辑推理领域中的关键研究点。信念修正方法和信念非修正方法是针对这种信念集的不一致性进行维护协调的两种主要方法。信念非修正理论相较于信念修正理论,它避免了在修正的过程中因为删除一些信念后丢失了原本可以推导出的结论,以及 […]

【摘要】随着本体的广泛应用,本体的有效性就越发关键。不一致本体的存在是难以避免的,诸如重用其他开发者的本体、词的多义性、异构本体的集成和在本体演化过程中欠缺全方位检查等原因,都会导致不一致本体的产生。基于本体的知识推理方法分为基于描述逻辑和基于规则两种类型。二者在实际推理中当遇到不一致本体时都会被迫停止。为了解决这一问题,需要对不一致本体进行处理。本论文将信念非修正方法应用于基于本体的知识推理,设 […]