Advertisement

Epistemic Actions and Ontic Actions: A Unified Logical Framework

  • Andreas Herzig
  • Tiago De Lima
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)

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.

Keywords

Modal Logic Epistemic Logic Logical Framework Dynamic Logic Public Announcement 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 3.
    Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, Amsterdam (1999)Google Scholar
  4. 4.
    Baltag, A., Moss, L.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)MATHCrossRefMathSciNetGoogle Scholar
  5. 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. 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
  7. 7.
    Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. The MIT Press, Cambridge (1995)MATHGoogle Scholar
  8. 8.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)MATHGoogle Scholar
  9. 9.
    De Lima, T.: Espistemic actions and ontic actions: a unified logical framework (extended version). Technical report, IRIT, Toulouse (2006)Google Scholar
  10. 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. 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
  12. 12.
    Demolombe, R., Herzig, A., Varzinczak, I.: Regression in modal logic. Journal of Applied Non-Classical Logics 13(2), 165–185 (2003)MATHCrossRefGoogle Scholar
  13. 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. 14.
    Moore, R.: Reasoning about knowledge and action. Technical Note 191, SRI International (1980)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Andreas Herzig
    • 1
  • Tiago De Lima
    • 1
  1. 1.IRITUniversité Paul SabatierToulouseFrance

Personalised recommendations