Listen to me! Public announcements to agents that pay attention - or not

Abstract : In public announcement logic it is assumed that all agents pay attention (listen to/observe) to the announcement. Weaker observational conditions can be modelled in event (action) model logic. In this work, we propose a version of public announcement logic wherein it is encoded in the states of the epistemic model which agents pay attention to the announcement. This logic is called attention-based announcement logic, abbreviated ABAL. We give an axiomatization and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic [2]. We exploit our logic to formalize the concept of joint attention that has been widely discussed in the philosophical and cognitive science literature. Finally, we extend our logic by integrating attention change.
Type de document :
Communication dans un congrès
4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp. 96-109, 2013
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01187760
Contributeur : Open Archive Toulouse Archive Ouverte (oatao) <>
Soumis le : jeudi 27 août 2015 - 15:55:55
Dernière modification le : mercredi 6 septembre 2017 - 11:25:52
Document(s) archivé(s) le : samedi 28 novembre 2015 - 10:35:39

Fichier

Ditmarsch_12651.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01187760, version 1
  • OATAO : 12651

Citation

Hans Van Ditmarsch, Andreas Herzig, Emiliano Lorini, François Schwarzentruber. Listen to me! Public announcements to agents that pay attention - or not. 4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp. 96-109, 2013. 〈hal-01187760〉

Partager

Métriques

Consultations de
la notice

264

Téléchargements du document

86