不一致信念的一种自顶向下的处理方法

An Up to Down Reasoning for Inconsistent Beliefs

对假说中的信念按照其可靠程度进行分层,在假说增大时根据信念的可靠程度可以将信念加入到假说的相应层次中,在推理过程中将没有更可靠的相反信息的结论作为分层假说的最终结论,这种自顶向下的对不一致信念的处理方法能够保证基于不一致信念的推理具有良好的理论性质和直观背景.

The beliefs of the assumption were divided into layers based on their degrees.According to its degree,new belief would be added into the corresponding layer when the assumption increased.The conclusion which had higher degree than its opposite would be included in the extension.The up to down reasoning was provided and the satisfiability between this method and the AGM theory was discussed.It also demonstrates that the method is of good property.