An Up to Down Reasoning for Inconsistent Beliefs
Deng Zhi-huan · Journal of Xiamen University · 2005
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.