Abstract
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also sketch the effect of more complex epistemic actions, and briefly show how als factual change can be modelled in the same framework. We then apply the logic of public announcements in DEL to the analysis of a knowledge puzzle, called ‘What Sum’.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change. Journal of Symbolic Logic 50, 510–530 (1985)
Aucher, G.: A combined system for update logic and belief revision. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 1–17. Springer, Heidelberg (2005)
Aumann, R.J.: Agreeing to disagree. Annals of Statistics 4(6), 1236–1239 (1976)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) TARK 1998, pp. 43–56 (1998)
Baltag, A., Smets, S.: Dynamic belief revision over multi-agent plausibility models. In: Proceedings of LOFT 2006 (to appear)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge, MA (1995)
Gerbrandy, J.D.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01 (1999)
Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca, NY (1962)
Kooi, B.P.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics, 2007 (to appear)
Lewis, D.K.: Convention, a Philosophical Study. Harvard University Press, Cambridge, MA (1969)
Liu, A.: Problem section: Problem 182. Math Horizons 11(324) (2004)
McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Series in Artificial Intelligence, Ablex Publishing, Greenwich (1990)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. In: Cambridge Tracts in Theoretical Computer Science 41, Cambridge University Press, Cambridge (1995)
Moore, G.E.: A reply to my critics (The Library of Living Philosophers). In: Schilpp, P.A. (ed.) The Philosophy of G.E. Moore, vol. 4, pp. 535–677 (1942)
Moses, Y.O., Dolev, D., Halpern, J.Y.: Cheating husbands and other stories: a case study in knowledge, action, and communication. Distributed Computing 1(3), 167–176 (1986)
Plaza, J.A.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) 4th Int. Symp. on Methodologies for Intelligent Systems, pp. 201–216 (1989)
Qian, L.: Sentences true after being announced, www.stanford.edu/group/nasslli/student/qian.ps
van Benthem, J.F.A.K., van Eijck, J., Kooi, B.P.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Ditmarsch, H.P.: Knowledge games. PhD thesis, University of Groningen, ILLC Dissertation Series DS-2000-06 (2000)
van Ditmarsch, H.P.: Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147, 229–275 (2005)
van Ditmarsch, H.P., Ruan, J.: Model checking logic puzzles. In: Quatrièmes Journées Francophones MODÈLES FORMELS de l’INTERACTION, Paris, Cahiers du Lamsade, 2007 (to appear)
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic epistemic logic with assignment. In: AAMAS 2005, pp. 141–148. ACM Inc., New York (2005)
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic. In: Synthese Library, vol. 337, Springer, Heidelberg (2007)
van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam, (2004) CWI Report SEN-E0424
Wu, W.: 100 prisoners and a lightbulb (2001), http://www.ocf.berkeley.edu/~wwu/papers/100prisonersLightBulb.pdf
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P. (2007). Dynamic Epistemic Logic and Knowledge Puzzles. In: Priss, U., Polovina, S., Hill, R. (eds) Conceptual Structures: Knowledge Architectures for Smart Applications. ICCS 2007. Lecture Notes in Computer Science(), vol 4604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73681-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-73681-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73680-6
Online ISBN: 978-3-540-73681-3
eBook Packages: Computer ScienceComputer Science (R0)