Expedition in the Update Universe - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Expedition in the Update Universe

Résumé

Dynamic epistemic logic (DEL) is a logic dealing with knowledge and belief change based on the concepts of event model and product update. The product update accounts for the way we update our knowledge and beliefs about situations when events occur. However, DEL does not account for the way we update our knowledge and beliefs about events when other events occur. Indeed, events are assumed to occur instantaneously in DEL and this idealization precludes to study this kind of update. We provide a logical analysis of updates without this assumption. It leads us to identify a graph structure for events based on their relative dependence of occurence and to introduce a generic product update. The DEL product update is a specific instance of this generic product update.
Fichier principal
Vignette du fichier
Aucher-Expedition_in_the_update_universe-2020.pdf (332.27 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03094220 , version 1 (04-01-2021)

Identifiants

Citer

Guillaume Aucher. Expedition in the Update Universe. Dynamic Logic. New Trends and Applications. DaLi 2020., Oct 2020, Prague, Czech Republic. pp.1-16, ⟨10.1007/978-3-030-65840-3_1⟩. ⟨hal-03094220⟩
137 Consultations
124 Téléchargements

Altmetric

Partager

More