Perception And Change In Update Logic

Jan Van Eijck 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : Three key ways of updating one's knowledge are (i) perception of states of affairs, e.g., seeing with one's own eyes that something is the case, (ii) reception of messages, e.g., being told that something is the case, and (iii) drawing new conclusions from known facts. If one represents knowledge by means of Kripke models, the implicit assumption is that drawing conclusions is immediate. This assumption of logical omniscience is a useful abstraction. It leaves the distinction between (i) and (ii) to be accounted for. In current versions of Update Logic (Dynamic Epistemic Logic, Logic of Communication and Change) perception and message reception are not distinguished. This chapter proposes an extension of Update Logic that makes this distinction explicit. The logic deals with three kinds of updates: announcements, changes of the world, and observations about the world in the presence of witnesses. The resulting logic is shown to be complete by means of a reduction to epistemic propositional dynamic logic by a well-known method.
Type de document :
Chapitre d'ouvrage
van Eijck, D. J. N. and Verbrugge, R. Perception and Change in Update Logic, 7010, Springer, pp.119 - 140, 2012, 978-3-642-29327-6
Liste complète des métadonnées

https://hal.inria.fr/hal-00756873
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 21:46:06
Dernière modification le : mercredi 29 novembre 2017 - 15:10:30

Identifiants

  • HAL Id : hal-00756873, version 1

Collections

Citation

Jan Van Eijck. Perception And Change In Update Logic. van Eijck, D. J. N. and Verbrugge, R. Perception and Change in Update Logic, 7010, Springer, pp.119 - 140, 2012, 978-3-642-29327-6. 〈hal-00756873〉

Partager

Métriques

Consultations de la notice

99