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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aucher, G.: BMS revisited. In: Proc. of 12th TARK, pp. 24–33 (2009)
Aucher, G., Schwarzentruber, F.: On the complexity of dynamic epistemic logic. In: Proc. of 13th TARK (2013)
Balbiani, P., Gasquet, O., Schwarzentruber, F.: Agents that look at one another. Logic Journal of IGPL (2012)
Balbiani, P., van Ditmarsch, H., Herzig, A., De Lima, T.: Tableaux for public announcement logic. Journal of Logic and Computation 20(1), 55–76 (2010)
Balbiani, P., van Ditmarsch, H., Herzig, A., de Lima, T.: Some truths are best left unsaid. In: Advances in Modal Logic (AiML). College Publications (2012)
Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proc. of 7th TARK, pp. 43–56 (1998)
Clark, H.H., Marshall, C.R.: Definite reference and mutual knowledge. In: Elements of Discourse Understanding. Cambridge University Press (1981)
Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1987)
Gerbrandy, J.D.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, ILLC Dissertation Series DS-1999-01 (1999)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319–379 (1992)
Herzig, A., Lorini, E.: A modal logic of perceptual belief. In: Lihoreau, F., Rebuschi, M. (eds.) Epistemology, Context and Formalism. Synthese Library. Springer (2013)
Kooi, B., Renne, B.: Arrow update logic. The Review of Symbolic Logic 4(04), 536–559 (2011)
Lorini, E., Tummolini, L., Herzig, A.: Establishing mutual beliefs by joint attention: towards a formal model of public events. In: Proc. of CogSci, pp. 1325–1330. Lawrence Erlbaum Associates (2005)
Plaza, J.A.: Logics of public communications. In: Proc. of the 4th ISMIS, pp. 201–216. Oak Ridge National Laboratory (1989)
Tommasello, M.: Joint attention as social cognition. In: Moore, C., Dunham, P. (eds.) Joint Attention: its Origins and Role in Development, pp. 103–130. Lawrence Erlbaum Associates (1995)
van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation 204(11), 1620–1662 (2006)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: Proc. of 4th AAMAS, pp. 141–148. ACM (2005)
van Eijck, J.: Perception and change in update logic. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software 2010. LNCS, vol. 7010, pp. 119–140. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Ditmarsch, H., Herzig, A., Lorini, E., Schwarzentruber, F. (2013). Listen to Me! Public Announcements to Agents That Pay Attention — or Not. In: Grossi, D., Roy, O., Huang, H. (eds) Logic, Rationality, and Interaction. LORI 2013. Lecture Notes in Computer Science, vol 8196. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40948-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-40948-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40947-9
Online ISBN: 978-3-642-40948-6
eBook Packages: Computer ScienceComputer Science (R0)