DEL-sequents for Regression and Epistemic Planning

Guillaume Aucher 1
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Dynamic Epistemic Logic (DEL) deals with the representation and the study in a multi-agent setting of knowledge and belief change. It can express in a uniform way epistemic statements about: (i) what is true about an initial situation (ii) what is true about an event occurring in this situation (iii) what is true about the resulting situation after the event has occurred. We axiomatize within the DEL framework what we can infer about (ii) given (i) and (iii) and what we can infer about (i) given (ii) and (iii). Given three formulas ϕ, ϕ′ and ϕ′′ describing respectively (i), (ii) and (iii), we also show how to build two formulas which capture all the information which can be inferred about (ii) from ϕ and ϕ′′, and all the information which can be inferred about (i) from ϕ′ and ϕ′′. We show how our results extend to other modal logics than K. Finally, we generalize the classical language of dynamic epistemic logic, where one can reason only with complete specifications of events, in order to account also for incomplete description of events. In the companion paper (Aucher, 2011), we axiomatize what we can infer about (iii) given (i) and (ii), and show how to build a formula which captures all the information which can be inferred about (iii) from ϕ and ϕ′.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00856471
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 6, 2015 - 11:15:31 PM
Last modification on : Friday, November 16, 2018 - 1:22:29 AM
Long-term archiving on : Monday, December 7, 2015 - 11:17:00 AM

File

JANCL2012-Camera-Ready.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00856471, version 1

Citation

Guillaume Aucher. DEL-sequents for Regression and Epistemic Planning. Journal of Applied Non-Classical Logics, Editions Hermes, 2012, pp.29. ⟨hal-00856471⟩

Share

Metrics

Record views

426

Files downloads

194