Epistemic Actions and Ontic Actions: a Unified Logical Framework - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Epistemic Actions and Ontic Actions: a Unified Logical Framework

Résumé

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.

Dates et versions

hal-03537162 , version 1 (20-01-2022)

Identifiants

Citer

Andreas Herzig, Tiago De Lima. Epistemic Actions and Ontic Actions: a Unified Logical Framework. 2nd International Joint Conference: 10th Ibero-American Conference on AI and 18th Brazilian AI Symposium (IBERAMIA-SBIA 2006), Oct 2006, Ribeirão Preto, Brazil. pp.409-418, ⟨10.1007/11874850_45⟩. ⟨hal-03537162⟩
15 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More