Abstract
We present a reasoning about actions framework based on a sum of epistemic logic S5 and propositional dynamic logic PDL together with a ‘no forgetting’ principle, also called perfect recall. We show that in our framework an action may be decomposed into a purely ontic action followed by a purely epistemic action. We also show that the latter is completely definable in terms of simple observations, i.e., ‘test that’ actions and that they are equivalent to public announcements of public announcement logic PAL as studied by Plaza, van Benthem and others. Finally, since these actions respect ‘no learning’ principle we show that a unified reduction method based on regression, as studied by Reiter, applies.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Herzig, A., Lang, J., Longin, D., Polacsek, T.: A logic for planning under partial observability. In: Proc. of the Seventeenth AAAI and the Twelfth IAAI, Austin. The AAAI Press, Menlo Park (2000)
Plaza, J.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proc. of the Fourth ISMIS, Charlotte, pp. 201–216 (1989)
Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, Amsterdam (1999)
Baltag, A., Moss, L.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
van Benthem, J.: One is a lonely number. In: Koepke, P., et al. (eds.) Proc. of the Logic Colloquium & Colloquium Logicum, Muenster (2002)
van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese (to appear), also available at http://www.cs.otago.ac.nz/research/publications/oucs-2004-10.pdf
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
De Lima, T.: Espistemic actions and ontic actions: a unified logical framework (extended version). Technical report, IRIT, Toulouse (2006)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M., Wooldridge, M. (eds.) Proc. of the Fourth AAMAS, Utrecht, pp. 141–148. ACM, New York (2005)
Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completness result for goal regression. In: Lifschitz, V. (ed.) Papers in Honor of John McCarthy, pp. 359–380. Academic Press Professional Inc., San Diego (1991)
Demolombe, R., Herzig, A., Varzinczak, I.: Regression in modal logic. Journal of Applied Non-Classical Logics 13(2), 165–185 (2003)
Scherl, R., Levesque, H.: The frame problem and knowledge-producing actions. In: Proc. of the Eleventh AAAI, Washington DC, pp. 689–695. The AAAI Press, Menlo Park (1993)
Moore, R.: Reasoning about knowledge and action. Technical Note 191, SRI International (1980)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzig, A., De Lima, T. (2006). Epistemic Actions and Ontic Actions: A Unified Logical Framework. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. IBERAMIA SBIA 2006 2006. Lecture Notes in Computer Science(), vol 4140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11874850_45
Download citation
DOI: https://doi.org/10.1007/11874850_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45462-5
Online ISBN: 978-3-540-45464-9
eBook Packages: Computer ScienceComputer Science (R0)