Jake Chandler
La Trobe University
Richard Booth
Cardiff University
The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators.
Keywords belief revision  formal epistemology  Harper Identity
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
Iterated Revision and Minimal Change of Conditional Beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Iterated Contraction Based on Indistinguishability.Konstantinos Georgatos - 2013 - In Sergei Artemov & Anil Nerode (eds.), LFCS 2013. Springer. pp. 194–205.
Belief Revision.Hans Rott - 1995 - In Jonathan Eric Adler & Lance J. Rips (eds.), Reasoning: Studies of Human Inference and its Foundations. Cambridge University Press. pp. 514--534.
The Irreducibility of Iterated to Single Revision.Jake Chandler & Richard Booth - 2017 - Journal of Philosophical Logic 46 (4):405-418.
Transmission Failure, AGM Style.Jake Chandler - 2013 - Erkenntnis 78 (2):383-398.
A Framework for Iterated Revision.Sébastien Konieczny & Ramón Pino Pérez - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):339-367.
Iterated Belief Change and the Recovery Axiom.Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong - 2008 - Journal of Philosophical Logic 37 (5):501-520.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
Belief Revision: A Critique. [REVIEW]Nir Friedman & Joseph Y. Halpern - 1999 - Journal of Logic, Language and Information 8 (4):401-420.


Added to PP index

Total views
56 ( #182,349 of 2,426,581 )

Recent downloads (6 months)
10 ( #68,372 of 2,426,581 )

How can I increase my downloads?


My notes