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