Epistemic Actions and Ontic Actions: A Unified Logical Framework
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.
KeywordsModal Logic Epistemic Logic Logical Framework Dynamic Logic Public Announcement
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 2.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)Google Scholar
- 3.Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, Amsterdam (1999)Google Scholar
- 5.van Benthem, J.: One is a lonely number. In: Koepke, P., et al. (eds.) Proc. of the Logic Colloquium & Colloquium Logicum, Muenster (2002)Google Scholar
- 6.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
- 9.De Lima, T.: Espistemic actions and ontic actions: a unified logical framework (extended version). Technical report, IRIT, Toulouse (2006)Google Scholar
- 10.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)Google Scholar
- 11.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)Google Scholar
- 13.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)Google Scholar
- 14.Moore, R.: Reasoning about knowledge and action. Technical Note 191, SRI International (1980)Google Scholar