Axiomatic characterization of the AGM theory of belief revision in a temporal logic
Artificial Intelligence 171 (2-3):144-160 (2007)
| Abstract | Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatic characterization of the full set of AGM postulates. © 2006 Elsevier B.V. All rights reserved | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesEduardo L. Fermé & Sven Ove Hansson (1999). Selective Revision. Studia Logica 63 (3):331-342.
Mark Jago (2006). Resource-Bounded Belief Revision and Contraction. In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies III. Springer.
Michael J. Shaffer (2002). Coherence, Justification, and the AGM Theory of Belief Revision. In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
Oliver Schulte (1999). Minimal Belief Change and the Pareto Principle. Synthese 118 (3):329-361.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Giacomo Bonanno (2012). Belief Change in Branching Time: AGM-Consistency and Iterated Revision. Journal of Philosophical Logic 41 (1):201-236.
Giacomo Bonanno (2007). Temporal Interaction of Information and Belief. Studia Logica 86 (3):375 - 401.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads23 ( #54,659 of 556,772 )Recent downloads (6 months)3 ( #27,178 of 556,772 )How can I increase my downloads? |
My notes
Discussion
