Building epistemic logic from observations and public announcements - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Building epistemic logic from observations and public announcements

Résumé

We study an epistemic logic where knowledge is built from what the agents observe (including higher-order visibility) and what the agents learn from public announcements. This fixes two main drawbacks of previous observability-based approaches where who sees what is common knowledge and where the epistemic operators distribute over disjunction. The latter forbids the modeling of most of the classical epistemic problems, starting with the muddy children puzzle. We integrate a dynamic dimension where both facts of the world and the agents' observability can be modified by assignment programs. We provide a sound and complete axiomatization of the logic and establish that the model checking problem is PSPACE-complete.
Fichier principal
Vignette du fichier
charrier_16903.pdf (206.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04109521 , version 1 (30-05-2023)

Identifiants

  • HAL Id : hal-04109521 , version 1
  • OATAO : 16903

Citer

Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber. Building epistemic logic from observations and public announcements. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277. ⟨hal-04109521⟩
30 Consultations
16 Téléchargements

Partager

Gmail Facebook X LinkedIn More