Iterated Belief Change and the Recovery Axiom

Journal of Philosophical Logic 37 (5):501-520 (2008)

Authors
Samir Chopra
Brooklyn College (CUNY)
Abstract
The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom—while agreeing that some of their insight deserves to be preserved—and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and renders explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem that connects the semantic conditions we impose on iterated revision and our additional syntactical properties. We show interesting similarities between our framework and that of Darwiche–Pearl (Artificial Intelligence 89:1–29 1997). In particular, we show that intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2)). We present postulates for contraction, in the same spirit as the Darwiche–Pearl postulates for revision, and provide a theorem that connects our syntactic postulates with a set of semantic conditions. Lastly, we show a connection between the contraction postulates and a generalisation of the recovery axiom.
Keywords epistemic states  iterated belief change  recovery axiom
Categories (categorize this paper)
DOI 10.1007/s10992-008-9086-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,629
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.
On the Logic of Iterated Belief Revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89:1-29.
On the Status of the Postulate of Recovery in the Logic of Theory Change.David Makinson - 1987 - Journal of Philosophical Logic 16 (4):383 - 394.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Some Logics of Iterated Belief Change.John Cantwell - 1999 - Studia Logica 63 (1):49-84.
Non-Prioritized Ranked Belief Change.Samir Chopra, Aditya Ghose & Thomas Meyer - 2003 - Journal of Philosophical Logic 32 (4):417-443.
Basic Infobase Change.Thomas Meyer - 2001 - Studia Logica 67 (2):215-242.
Iterated Contraction Based on Indistinguishability.Konstantinos Georgatos - 2013 - In Sergei Artemov & Anil Nerode (eds.), LFCS 2013. Springer. pp. 194–205.
Transmission Failure, AGM-Style.Jake Chandler - 2013 - Erkenntnis 78 (2):383-398.
Recovery and Epistemic Residue.Sven Ove Hansson - 1999 - Journal of Logic, Language and Information 8 (4):421-428.
On the Logic of Theory Change: Contraction Without Recovery. [REVIEW]Eduardo L. Fermé - 1998 - Journal of Logic, Language and Information 7 (2):127-137.
Distributive Proper Forcing Axiom and Cardinal Invariants.Huiling Zhu - 2013 - Archive for Mathematical Logic 52 (5-6):497-506.

Analytics

Added to PP index
2009-01-28

Total views
48 ( #182,106 of 2,280,568 )

Recent downloads (6 months)
4 ( #314,348 of 2,280,568 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature