OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Announcements to Attentive Agents

Bolander, Thomas and van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Pardo, Pere and Schwarzentruber, François Announcements to Attentive Agents. (2015) Journal of Logic, Language and Information, 25 (1). 1-35. ISSN 0925-8531

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
880kB

Official URL: http://dx.doi.org/10.1007/s10849-015-9234-3

Abstract

In public announcement logic it is assumed that all agents pay attention to the announcement. Weaker observational conditions can be modelled in 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. We give an axiomatization of the logic and prove that complexity of satisfiability is the same as that of public announcement logic, and therefore lower than that of action model logic. An attention-based announcement can also be described as an action model. We extend our logic by integrating attention change. Finally, we add the notion of common belief to the language, we exploit this to formalize the concept of joint attention, that has been widely discussed in the philosophical and cognitive science literature, and we provide a corresponding axiomatization. This axiomatization also employs the auxiliary notion of attention-based relativized common belief.

Item Type:Article
Additional Information:Thanks to Springer editor. The original PDF can be found in Journal of Logic, Language and Information(ISSN 0925-8531) website. The definitive version is available at http://link.springer.com The original PDF can be found at: https://link.springer.com/article/10.1007/s10849-015-9234-3
HAL Id:hal-01585237
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Ecole Normale Supérieure de Rennes - ENS Rennes (FRANCE)
Other partners > Technical University of Denmark (DENMARK)
Other partners > Université de Lorraine (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:22 Jun 2017 08:08

Repository Staff Only: item control page