Belief Change in Branching Time: AGM-consistency and Iterated Revision
Journal of Philosophical Logic 41 (1):201-236 (2012)
| Abstract | We study belief change in the branching-time structures introduced in Bonanno (Artif Intell 171:144–160, 2007 ). First, we identify a property of branching-time frames that is equivalent (when the set of states is finite) to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision function that satisfies the AGM postulates. Second, we provide a set of modal axioms that characterize the class of AGM-consistent frames within the modal logic introduced in Bonanno (Artif Intell 171:144–160, 2007 ). Third, we introduce a generalization of AGM belief revision functions that allows a clear statement of principles of iterated belief revision and discuss iterated revision both semantically and syntactically | |||||||||
| 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,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGiacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Adnan Darwiche & Judea Pearl (1997). On the Logic of Iterated Belief Revision. Artificial Intelligence 89:1-29.
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.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Jake Chandler (2012). Transmission Failure, AGM-Style. Erkenntnis 78 (2):383-398.
Hans Rott (2011). Reapproaching Ramsey: Conditionals and Iterated Belief Change in the Spirit of AGM. Journal of Philosophical Logic 40 (2):155-191.
Hans Rott (2012). Bounded Revision: Two-Dimensional Belief Change Between Conservative and Moderate Revision. Journal of Philosophical Logic 41 (1):173-200.
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.
Craig Boutilier (1996). Iterated Revision and Minimal Change of Conditional Beliefs. Journal of Philosophical Logic 25 (3):263 - 305.
Giacomo Bonanno (2009). Rational Choice and Agm Belief Revision. Artificial Intelligence 173:1194-1203.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Wolfgang Spohn (1988). Ordinal Conditional Functions. A Dynamic Theory of Epistemic States. In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer.
Stephen Murray Glaister (1998). Symmetry and Belief Revision. Erkenntnis 49 (1):21-56.
Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema (2000). Infobase Change: A First Approximation. Journal of Logic, Language and Information 9 (3):353-377.
Michael J. Shaffer (2002). Coherence, Justification, and the AGM Theory of Belief Revision. In Yves Bouchard (ed.), Perspectives on Coherentism. Editions du Scribe.
Analytics
Monthly downloads |
Added to index2011-06-03Total downloads4 ( #178,473 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
