Abstract
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. We add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that DEL can be translated into EDL thanks to this use of the converse operator: this device enables us to translate the structure of the action (or event) model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic action (event) model in the language (as done in DEL). It follows that EDL is more expressive and general than DEL.
An extended version of this paper with proofs can be found at the following address: ftp://ftp.irit.fr/IRIT/LILAC/ecsqaruEDL.pdf
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., GÄardenfors, P., Makinson, D.: On the logic of theory change:Partial meet contraction and revision functions. J. of Symbolic Logic 50, 510–530 (1985)
Baltag, A.: A logic of epistemic actions. Technical report, CWI (2000), http://www.cwi.nl/~abaltag/papers.html
Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proc. TARK 1998, pp. 43–56. Morgan Kaufmann, San Francisco (1998)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)
Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam (1999)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. of Logic, Language and Information 6(2) (1997)
Herzig, A., Lang, J., Longin, D., Polacsek, T.: A logic for planning under partial observability. In: Proc. Nat (US) Conf. on Artificial Intelligence (AAAI 2000), Austin, Texas (August 2000)
Katsuno, H., Mendelzon, A.O.: On the di Rerence between updating a knowledge base and revising it. In: GÄardenfors, P. (ed.) Belief revision, pp. 387–394. CambridgeUniversity Press, Cambridge (prelimnary version In: Allen, J.A.,Fikes, R., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proc. 2nd Int. Conf., pp. 387–394. Morgan Kaufmann Publishers (1992)
Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.Z., Hadzikadic, M., Ras, Z.W. (eds.) Proc. 4th Int. Symposium on Methodologies or Intelligent Systems, pp. 201–216 (1989)
Sahlqvist, H.: Completeness and correspondence in the first and second order semanticsfor modal logics. In: Kanger, S. (ed.) Proc. 3rd Scandinavian Logic Symposium 1973. Studies in Logic, vol. 82. North-Holland, Amsterdam (1975)
Segerberg, K.: Belief revision from the point of view of doxastic logic. Bulletin of the IGPL 3, 534–553 (1995)
Segerberg, K.: Two traditions in the logic of belief: bringing them together. In: Ohlbach, H.J., Reyle, U. (eds.) Logic, Language and Reasoning: essays in honour of Dov Gabbay, Trends in Logic, vol. 5, pp. 135–147. Kluwer Academic Publishers, Dordrecht (1999)
van Benthem, J.: One is a lonely number: on the logic of communication. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002, pp. 96–129 (2006) ASL &A.K. Peters,Wellesley MA. Tech Report PP-2002-27, ILLCAmsterdam(2002)
van Benthem, J., Pacuit, E.: The tree of knowledge in action: Towards a common perspective. In: Advances in Modal Logic, pp. 87–106 (2006)
van Ditmarsch, H.P.: Descriptions of game actions. J. of Logic, Language and Information (JoLLI) 11, 349–365 (2002)
van Ditmarsch, H.P., van der Hoek, W., Kooi, B.: Dynamic Epis- temic Logic. Kluwer Academic Publishers, Dordrecht (2007)
van Eijck, J.: Reducing dynamic epistemic logic to pdl by program transformation.Technical Report SEN-E0423, CWI (2004)
Yap, A.: Product update and looking backward. prepublications PP-2006-39, ILLC (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aucher, G., Herzig, A. (2007). From DEL to EDL: Exploring the Power of Converse Events. In: Mellouli, K. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2007. Lecture Notes in Computer Science(), vol 4724. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75256-1_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-75256-1_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75255-4
Online ISBN: 978-3-540-75256-1
eBook Packages: Computer ScienceComputer Science (R0)