OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Van Ditmarsch, Hans and Herzig, Andreas and Lorini, Emiliano and Schwarzentruber, François Listen to me! Public announcements to agents that pay attention - or not. (2013) In: 4th International Workshop on Logic, Rationality and Interaction (LORI IV), 9 October 2013 - 12 October 2013 (Hangzhou, China).

[img]
Preview
(Document in English)

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

Official URL: http://dx.doi.org/10.1007/978-3-642-40948-6_8

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.

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-01187760
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Institut National de la Recherche en Informatique et en Automatique - INRIA (FRANCE)
Other partners > Institut National des Sciences Appliquées de Rennes - INSA (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 > Telecom Bretagne (FRANCE)
Other partners > Université de Bretagne Sud - UBS (FRANCE)
Other partners > Université de Lorraine (FRANCE)
Other partners > Université de Rennes 1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:27 Aug 2015 13:55

Repository Staff Only: item control page