From Public Announcements to Asynchronous Announcements - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

From Public Announcements to Asynchronous Announcements

Résumé

We present a multi-agent logic of belief and announcements wherein the sending of announcements and the reception of announcements by agents are separated, thus straying from the paradigm of Public Announcement Logic (PAL). Both PAL and Asynchronous Announcement Logic (recently proposed in the literature) are special cases in our framework. We provide a history-based semantics for our 'Partially Synchronous Announcement Logic', proposing three different interpretations of the notion of asynchronic-ity. We then show that the logic of our three proposals is the same ('PSAL') and prove soundness and completeness for a Hilbert-style axiomatisation. Finally, we propose a notion of common belief for this framework, of which we give some validities.
Fichier principal
Vignette du fichier
PSAL-ECAI-CameraReady.pdf (276.3 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02936439 , version 1 (11-09-2020)

Identifiants

Citer

Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González. From Public Announcements to Asynchronous Announcements. 24th European Conference on Artificial Intelligence (ECAI 2020), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA); Intelligent Systems Group (GSI) and the Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.75 - 82, ⟨10.3233/FAIA200078⟩. ⟨hal-02936439⟩
76 Consultations
47 Téléchargements

Altmetric

Partager

More