Belief change and semiorders

Publication Type:
Conference Proceeding
14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014, 2014, pp. 160 - 167
Issue Date:
Filename Description Size
Thumbnailsemiorders.pdf Published version813.79 kB
Adobe PDF
Full metadata record
Copyright © 2014, Association for the Advancement of Artificial Intelligence ( All rights reserved. A central result in the AGM framework for belief revision is the construction of revision functions in terms of total preorders on possible worlds. These preorders encode comparative plausibility: r≺ r′ states that the world r is at least as plausible as r′. Indifference in the plausibility of two worlds, r; r′, denoted r∼ r′, is defined as r≮ r′ and r′ ≮ r. Herein we take a closer look at plausibility indifference. We contend that the transitivity of indifference assumed in the AGM framework is not always a desirable property for comparative plausibility. Our argument originates from similar concerns in preference modelling, where a structure weaker than a total preorder, called a semiorder, is widely consider to be a more adequate model of preference. In this paper we essentially re-construct revision functions using semiorders instead of total preorders.We formulate postulates to characterise this new, wider, class of revision functions, and prove that the postulates are sound and complete with respect to the semiorder-based construction. The corresponding class of contraction functions (via the Levi and Harper Identities) is also characterised axiomatically.
Please use this identifier to cite or link to this item: