Relationship among different constructive models of belief revision

摘要

In the area of belief revision, several different constructive models were discussed in the literature, such as epistemic entrenchment, system of spheres, faithful total preorder and so on. All these models could be used to characterise AGM revision operators. However, the relationship among these models was absent. This paper mainly concerns whether these models are equivalent, and whether we can construct one model from another. Moreover, the capabilities of these different models are compared.