Abstract
In ‘belief revision’ a theory \( \mathcal{K} \) is revised with a formula ϕ resulting in a revised theory \( \mathcal{K}*\phi \). Typically, ¬ϕ is in \( \mathcal{K} \), one has to give up belief in ¬ϕ by a process of retraction, and ϕ is in \( \mathcal{K}*\phi \). We propose to model belief revision in a dynamic epistemic logic. In this setting, we typically have an information state (pointed Kripke model) for the theory \( \mathcal{K} \) wherein the agent believes the negation of the revision formula, i.e., wherein B¬ϕ is true. The revision with ϕ is a program *ϕ that transforms this information state into a new information state. The transformation is described by a dynamic modal operator [*ϕ], that is interpreted as a binary relation 〚*ϕ〛 between information states. The next information state is computed from the current information state and the belief revision formula. If the revision is successful, the agent believes ϕ in the resulting state, i.e., B ϕ is then true. To make this work, as information states we propose ‘doxastic epistemic models’ that represent both knowledge and degrees of belief. These are multi-modal and multi-agent Kripke models. They are constructed from preference relations for agents, and they satisfy various characterizable multi-agent frame properties. Iterated, revocable, and higher-order belief revision are all quite natural in this setting. We present, for an example, five different ways of such dynamic belief revision. One can also see that as a non-deterministic epistemic action with two alternatives, where one is preferred over the other, and there is a natural generalization to general epistemic actions with preferences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C., P. Gärdenfors, and D. Makinson: 1985, ‘On the Logic of Theory Change: Partial Meet Contraction and Revision Functions’, Journal of Symbolic Logic 50, 510–530.
Asheim, G. and Y. Søvik: 2005, ‘Preference-Based Belief Operators’, Mathematical Social Sciences 50(1), 61–82.
Aucher, G.: 2003, ‘A Combined System for Update Logic and Belief Revision’, Master’s thesis, ILLC, University of Amsterdam, Amsterdam, the Netherlands.
Aucher, G.: 2005a, ‘A Combined System for Update Logic and Belief Revision’. In M. Barley and N. Kasabov (eds.), Intelligent Agents and Multi-Agent Systems — 7th Pacific Rim International Workshop on Multi-Agents (PRIMA 2004). pp. 1–17, Springer. LNAI 3371.
Aucher, G.: 2005b, ‘How Our Beliefs Contribute To Interpret Actions’, To appear in the Proceedings of CEEMAS, see www.ceemas.org/ceemas05/.
Baltag, A.: 2002, ‘A Logic for Suspicious Players: Epistemic Actions and Belief Updates in Games’, Bulletin of Economic Research 54(1), 1–45.
Baltag, A. and L. Moss: 2004, ‘Logics for Epistemic Programs’, Synthese 139, 165–224. Knowledge, Rationality and Action 1–60.
Baltag, A., L. Moss, and S. Solecki: 1998, ‘The Logic of Common Knowledge, Public Announcements, and Private Suspicions’. In I. Gilbao (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp. 43–56.
Board, O.: 2004, ‘Dynamic Interactive Epistemology’, Games and Economic Behaviour 49, 49–80.
Bonanno, G.: 2005, ‘A Simple Modal Logic for Belief Revision’, Knowledge, Rationality and Action, this volume.
Cantwell, J.: 2005, ‘A Formal Model of Multi-Agent Belief-Interaction’, Journal of Logic, Language, and Information. To appear.
Darwiche, A. and J. Pearl: 1997, ‘On the Logic of Iterated Belief Revision’, Artificial Intelligence 89(1–2), 1–29.
Fagin, R., J. Halpern, Y. Moses, and M. Vardi: 1995, Reasoning about Knowledge, MIT Press, Cambridge MA.
Ferguson, D. and W. Labuschagne: 2002, ‘Information-Theoretic Semantics for Epistemic Logic’, In Proceedings of LOFT 5. Turin, Italy, ICER.
Gärdenfors, P.: 1986, ‘Belief Revisions and the Ramsey test for Conditionals’, The Philosophical Review XCV(1), 81–93.
Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, MA.
Gerbrandy, J.: 1999, ‘Bisimulations on Planet Kripke’, Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.
Gerbrandy, J. and W. Groeneveld: 1997, ‘Reasoning about Information Change’, Journal of Logic, Language, and Information 6, 147–169.
Grove, A.: 1988, ‘Two Modellings for Theory Change’, Journal of Philosophical Logic 17, 157–170.
Halpern, J.: 2001, ‘Lexicographic Probability, Conditional Probability, and Nonstandard probability’, In Proceedings of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 8), pp. 17–30.
Halpern, J.: 2003, Reasoning about Uncertainty. MIT Press, Cambridge MA.
Herzig, A., J. Lang, and P. Marquis: 2005, ‘Revision and Update in Multiagent Belief Structures’, Manuscript, also presented at the LOFT 6 conference, see http://www.econ.ucdavis.edu/faculty/bonanno/LOFT6.htm1.
Ibn Khaldun: 1938, Les prolégomènes d’Ibn Khaldoun, traduits en français et comment és par M. de Slane. Paris: Librairie Orientaliste Paul Geuthner. Three volumes, published in 1934, 1936, and 1938.
Konieczny, S. and R. P. Pérez: 2002, ‘Merging Information under Constraints: A Logical Framework’, Journal of Logic and Computation 12(5), 773–808.
Kooi, B.: 2003, ‘Knowledge, Chance, and Change’, Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2003-01.
Kraus, S. and D. Lehmann: 1988, ‘Knowledge, Belief and Time’, Theoretical Computer Science 58.
Kraus, S., D. Lehmann, and M. Magidor: 1990, ‘Nonmonotonic Reasoning, Preferential Models and Cumulative Logics’, Artificial Intelligence 44, 167–207.
Lenzen, W.: 2003, ‘Knowledge, Belief, and Subjective Probability: Outlines of a Unified System of Epistemic/Doxastic Logic’, In V. Hendricks, K. Jorgensen, and S. Pedersen (eds.), Knowledge Contributors, Dordrecht, pp. 17–31, Kluwer Academic Publishers, Synthese Library Volume 322.
Lewis, D.: 1973, Counterfactuals, Harvard University Press, Cambridge MA.
Lindström, S. and W. Rabinowicz: 1999, ‘DDL Unlimited: Dynamic Doxastic Logic for Introspective Agents’, Erkenntnis 50, 353–385.
Liu, F.: 2004, ‘Dynamic Variations: Update and Revision for Diverse Agents’, Master’s thesis, ILLC, University of Amsterdam, Amsterdam, the Netherlands.
Meyer, J.-J. and W. van der Hoek: 1995, Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science Vol. 41. Cambridge University Press, Cambridge.
Meyer, T.: 2001, ‘Basic Infobase Change’, Studia Logica 67, 215–242.
Meyer, T., W. Labuschagne, and J. Heidema: 2000, ‘Refined Epistemic Entrenchment’, Journal of Logic, Language, and Information 9, 237–259.
Moses, Y. O., D. Dolev, and J. Y. Halpern: 1986, ‘Cheating Husbands and Other Stories: A Case Study in Knowledge, Action, and Communication’, Distributed Computing 1(3), 167–176.
Plaza, J.: 1989, ‘Logics of Public Communications’, In M. Emrich, M. Pfeifer, M. Hadzikadic, and Z. Ras (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems. pp. 201–216.
Segerberg, K.: 1989, ‘A Note on an Impossibility Theorem of Gärdenfors’, Noûs 23, 351–354.
Segerberg, K.: 1999a, ‘Default Logic as Dynamic Doxastic Logic’, Erkenntnis 50, 333–352.
Segerberg, K.: 1999b, ‘Two Traditions in the Logic of Belief: Bringing them Together’, In H. Ohlbach and U. Reyle (eds.), Logic, Language, and Reasoning, Kluwer Academic Publishers, Dordrecht, pp. 135–147.
Spohn, W.: 1988, ‘Ordinal Conditional Functions: A Dynamic Theory of Epistemic States’, In W. Harper and B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, Vol. II, pp. 105–134.
Stalnaker, R.: 1996, ‘Knowledge, Belief and Counterfactual Reasoning in Games’, Economics and Philosophy 12, 133–163.
ten Cate, B.: 2002, ‘Internalizing Epistemic Actions’, In M. Martinez (ed.), Proceedings of the NASSLLI-2002 Student Session, Stanford University.
van Benthem, J.: 1996, Exploring Logical Dynamics. CSLI Publications.
van Benthem, J.: 2002, ‘One is a Lonely Number: On the Logic of Communication’, Technical report, ILLC, University of Amsterdam. Report PP-2002-27 (material presented at the Logic Colloquium 2002).
van Benthem, J.: 2003, ‘Qualitative Belief Revision’. Manuscript.
van Benthem, J., J. van Eijck, and B. Kooi: 2005, ‘Logics of Communication and Change’. Manuscript.
van Ditmarsch, H.: 2000, ‘Knowledge Games’. Ph.D. thesis, University of Groningen. ILLC Dissertation Series DS-2000-06.
van Ditmarsch, H.: 2002, ‘Descriptions of Game Actions’, Journal of Logic, Language and Information 11 349–365.
van Ditmarsch, H. and B. Kooi: 2005, ‘The Secret of My Success’, Synthese. To appear.
van Ditmarsch, H. and W. Labuschagne: 2003, ‘A Multimodal Language for Revising Defeasible Beliefs’, In E. Álvarez, R. Bosch, and L. Villamil (eds.), Proceedings of the 12th International Congress of Logic, Methodology, and Philosophy of Science (LMPS), Oviedo University Press, pp. 140–141.
van Ditmarsch, H., W. van der Hoek, and B. Kooi: 2003, ‘Concurrent Dynamic Epistemic Logic’, In V. Hendricks, K. Jøgensen, and S. Pedersen (eds.), Knowledge Contributors, Kluwer Academic Publishers, Dordrecht, pp. 45–82, Synthese Library Volume 322.
van Ditmarsch, H., W. van der Hoek, and B. Kooi: 2004, ‘Public Announcements and Belief Expansion’, In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, and H. Wansing (eds.), Proceedings of AiML-2004 (Advances in Modal Logic), University of Manchester, pp. 62–73.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
van Ditmarsch, H.P. (2005). Prolegomena to Dynamic Logic for Belief Revision. In: Uncertainty, Rationality, and Agency. Springer, Dordrecht. https://doi.org/10.1007/1-4020-4631-6_7
Download citation
DOI: https://doi.org/10.1007/1-4020-4631-6_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-4630-8
Online ISBN: 978-1-4020-4631-5
eBook Packages: Computer ScienceComputer Science (R0)