Graduate studies at Western
|Abstract||Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that, in the presence of the AGM postulates, these constraints characterize precisely Parikh’s axiom (P). These additional constraints essentially generalize a criterion of similarity that predates axiom (P) and was originally introduced in the context of Reasoning about Action. A by-product of our study is the identiﬁcation of two possible readings of Parikh’s axiom (P), which we call the strong and the weak versions of the axiom. An interesting feature of the strong version is that, unlike classical AGM belief revision, it makes associations between the revision policies of different theories.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Only published papers are available at libraries|
Similar books and articles
Daniel Lehmann, Menachem Magidor & Karl Schlechta (2001). Distance Semantics for Belief Revision. Journal of Symbolic Logic 66 (1):295-317.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
George Kourousias & David C. Makinson (2007). Parallel Interpolation, Splitting, and Relevance in Belief Change. Journal of Symbolic Logic 72 (3):994-1002.
Samir Chopra, Aditya Ghose, Thomas Meyer & Ka-Shu Wong (2008). Iterated Belief Change and the Recovery Axiom. Journal of Philosophical Logic 37 (5):501 - 520.
Peter Gardenfors (1990). Belief Revision and Relevance. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1990:349 - 365.
Michael J. Shaffer (2002). Coherence, Justification, and the AGM Theory of Belief Revision. In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe.
Robert Stalnaker (2009). Iterated Belief Revision. Erkenntnis 70 (2):189 - 209.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. [REVIEW] Journal of Philosophical Logic 41 (1):201-236.
John Cantwell (2005). A Formal Model of Multi-Agent Belief-Interaction. Journal of Logic, Language and Information 14 (4):397-422.
John Cantwell (2006). A Formal Model of Multi-Agent Belief-Interaction. Journal of Logic, Language and Information 15 (4):397-422.
Edwin D. Mares (2002). A Paraconsistent Theory of Belief Revision. Erkenntnis 56 (2):229 - 246.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Added to index2010-12-22
Total downloads3 ( #214,631 of 753,130 )
Recent downloads (6 months)1 ( #63,000 of 753,130 )
How can I increase my downloads?