Epistemic Actions and Ontic Actions: A Unified Logical Framework

  • Andreas Herzig
  • Tiago De Lima
Conference paper

DOI: 10.1007/11874850_45

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4140)
Cite this paper as:
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. Lecture Notes in Computer Science, vol 4140. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

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

Personalised recommendations