Skip to main content
SpringerLink
Log in

Group Announcements: Logic and Games (Abstract of Invited Talk)

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6245))

Included in the following conference series:

  • 311 Accesses

Abstract

The logic of truthful public announcements has been studied as an extension of traditional epistemic logic. The topic of this talk is group announcements, truthful public announcements made simultaneously by the members of a group of agents. I will discuss group announcements from two sides. First, the logic of group announcements can be studied by adding quantification over group announcements to the logical language. Second, the game theory of group announcements can be studied by assuming that each agent has preferences over epistemic states (here, represented as an epistemic goal formula).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, T., Balbiani, P., van Ditmarsch, H.P., Seban, P.: Group announcement logic. Journal of Applied Logic 8(1), 62–81 (2010)

    Article  MATH  MathSciNet  Google Scholar 

  2. Ågotnes, T., van Ditmarsch, H.P.: Coalitions and announcements. In: Padgham, L., Parkes, D., Muller, J., Parsons, S. (eds.) Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, pp. 673–680 (May 2008)

    Google Scholar 

  3. Ågotnes, T., van Ditmarsch, H.: What will they say? – Public announcement Games. Synthese (Knowledge Rationality and Action) (to appear 2010)

    Google Scholar 

  4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)

    Article  MathSciNet  Google Scholar 

  5. Balbiani, P., Baltag, A., van Ditmarsch, H.P., Herzig, A., Hoshi, T., De Lima, T.: What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability. In: Samet, D. (ed.) Proceedings of TARK XI, Louvain-la-Neuve, Belgium, pp. 42–51. Presses Universitaires de Louvain (2007)

    Google Scholar 

  6. Balbiani, P., Baltag, A., van Ditmarsch, H.P., Herzig, A., Hoshi, T., De Lima, T.: ‘Knowable’ as ‘known after an announcement’. Review of Symbolic Logic 1(3), 305–334 (2008)

    Article  Google Scholar 

  7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  8. Gerbrandy, J.D., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information 6, 147–169 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  9. Harrenstein, P.: Logic in Conflict. PhD thesis, Utrecht University (2004)

    Google Scholar 

  10. Harrenstein, P., van der Hoek, W., Meyer, J.-J.C., Witteveen, C.: Boolean games. In: van Benthem, J. (ed.) Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), Siena, Italy, pp. 287–298 (2001)

    Google Scholar 

  11. Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)

    Google Scholar 

  12. Jamroga, W., Ågotnes, T.: Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4), 423–475 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  13. Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63, 185–219 (2004)

    MATH  MathSciNet  Google Scholar 

  14. Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)

    MATH  Google Scholar 

  15. Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  16. Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems: Poster Session Program, ORNL/DSRD-24, pp. 201–216. Oak Ridge National Laboratory (1989)

    Google Scholar 

  17. van Benthem, J.F.A.K.: One is a lonely number: on the logic of communication. Technical report, University of Amsterdam. ILLC Research Report PP-2002-27 (material presented at the Logic Colloquium 2002 (2002)

    Google Scholar 

  18. van Benthem, J.F.A.K.: What one may come to know. Analysis 64(2), 95–105 (2004)

    Article  MATH  Google Scholar 

  19. van Ditmarsch, H.P., Kooi, B.P.: The secret of my success. Synthese 151, 201–232 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  20. van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Heidelberg (2007)

    Google Scholar 

  21. von Wright, G.H.: An Essay in Modal Logic. North Holland, Amsterdam (1951)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020, Bergen, Norway

    Thomas Ågotnes

Authors
  1. Thomas Ågotnes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clausthal University of Technology, Julius-Albert-Str. 4, 38678, Clausthal-Zellerfeld, Germany

    Jürgen Dix

  2. Departamento de Informática, Universidade Nova de Lisboa, Faculdade de Ciências de Tecnologia, 2829-516, Caparica, Portugal

    João Leite

  3. NICTA,, P.O. Box 6030, 4067, St Lucia, QLD, Australia

    Guido Governatori

  4. University of Luxembourg, Campus Kirchberg, 6, rue, Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Wojtek Jamroga

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ågotnes, T. (2010). Group Announcements: Logic and Games (Abstract of Invited Talk). In: Dix, J., Leite, J., Governatori, G., Jamroga, W. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2010. Lecture Notes in Computer Science(), vol 6245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14977-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14977-1_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14976-4

  • Online ISBN: 978-3-642-14977-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation