AAAI Publications, Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning

Font Size: 
Belief Change and Semiorders
Pavlos Peppas, Mary-Anne Williams

Last modified: 2014-05-04


A central result in the AGM framework for belief revision is the construction of revisionfunctions 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 the absence of a preference between r and 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 characterisethis 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 theLevi and Harper Identities) is also characterised axiomatically.


Belief Revision, Belief Contraction, Semiorders

Full Text: PDF