Skip to main content
SpringerLink
Log in

Public Announcements for Non-omniscient Agents

  • Conference paper
Logic and Its Applications (ICLA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7750))

Included in the following conference series:

Abstract

A public announcement is the most basic form of communication between agents. The effects of such action have been studied within the field of dynamic epistemic logic, in particular, in the so called public announcement logic. Nevertheless, being a direct extension of epistemic logic, what public announcement logic has studied is actually the effect of a public announcement on the knowledge of an omniscient agent. The present work studies different forms of public announcement and how they affect the knowledge of non-omniscient agents. More precisely, we recall the definitions of the so called implicit and explicit public announcements and present some of their properties in our setting. Then, after arguing that these definitions still assume some form of logical omniscience, we introduce two forms of non-omniscient public announcements that fit better the intuition behind the involved agents.

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 49.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. Plaza, J.: Logics of public communications. In: Proc. of the 4th Int. Symposium on Methodologies for Intelligent Systems, ORNL/DSRD-24, pp. 201–216 (1989)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  3. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. Tech. Rep. SEN-R9922, CWI (1999)

    Google Scholar 

  4. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)

    Google Scholar 

  5. van Benthem, J.: Logical Dynamics of Information and Interaction. CUP (2011)

    Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  7. Holliday, W.H., Icard, T.F.: Moorean phenomena in epistemic logic. In: Advances in Modal Logic, pp. 178–199. College Publications (2010)

    Google Scholar 

  8. Holliday, W.H., Hoshi, T., Icard III, T.F.: Schematic Validity in Dynamic Epistemic Logic: Decidability. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 87–96. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  9. van Benthem, J.: Open problems in logical dynamics. In: Mathematical Problems from Applied Logic I, pp. 137–192. Springer, New York (2006)

    Chapter  Google Scholar 

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

    Google Scholar 

  11. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. The MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  12. Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artificial Intelligence 34(1), 39–76 (1988)

    Article  MathSciNet  Google Scholar 

  13. Jago, M.: Epistemic logic for rule-based agents. Journal of Logic, Language and Information 18(1), 131–158 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  14. Alechina, N., Logan, B., Whitsey, M.: A complete and decidable logic for resource-bounded agents. In: AAMAS, pp. 606–613. IEEE Computer Society (2004)

    Google Scholar 

  15. Ågotnes, T., Alechina, N.: Special issue on Logics for Resource Bounded Agents. Journal of Logic, Language and Information 18(1) (2009)

    Google Scholar 

  16. Grossi, D., Velázquez-Quesada, F.R.: Twelve Angry Men: A Study on the Fine-Grain of Announcements. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 147–160. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  17. van Benthem, J., Velázquez-Quesada, F.R.: The dynamics of awareness. Synthese 177 (Suppl.1), 5–27 (2010)

    Article  MATH  Google Scholar 

  18. Velázquez-Quesada, F.R.: Inference and update. Synthese 169(2), 283–300 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  19. Hamami, Y.: The interrogative model of inquiry meets dynamic epistemic logics. Master’s thesis, ILLC, UvA, Amsterdam, The Netherlands (2010).

    Google Scholar 

  20. Liu, F.: Diversity of agents and their interaction. Journal of Logic, Language and Information 18(1), 23–53 (2009)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Grupo de Lógica, Lenguaje e Información, Universidad de Sevilla, Spain

    Fernando R. Velázquez-Quesada

Authors
  1. Fernando R. Velázquez-Quesada
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. The Institute of Mathematical Sciences, CIT Campus, 600113, Chennai, India

    Kamal Lodaya

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Velázquez-Quesada, F.R. (2013). Public Announcements for Non-omniscient Agents. In: Lodaya, K. (eds) Logic and Its Applications. ICLA 2013. Lecture Notes in Computer Science, vol 7750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36039-8_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36039-8_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36038-1

  • Online ISBN: 978-3-642-36039-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation