Epistemic Actions and Ontic Actions: A Unified Logical Framework

  • Andreas Herzig
  • Tiago De Lima
Conference paper
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.

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