Skip to main content
Springer Nature Link
Log in

A Logic for Ignorance

  • Conference paper
Declarative Agent Languages and Technologies (DALT 2003)

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

Included in the following conference series:

  • 242 Accesses

Abstract

We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reason about what agents ignore is just as important as being able to reason about what agents know. We show a sound and complete axiomatisation for the logic. We investigate its applicability by restating the feasibility condition for the FIPA communication primitive of inform.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Dennet, D.: The Intentional Stance. MIT Press, Cambridge (1987)

    Google Scholar 

  2. Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  3. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: The Intentional Stance. Reasoning About Knowledge (1995)

    Google Scholar 

  4. Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture, pp. 473–484. Morgan Kaufmann Publishers, San Francisco (1991)

    Google Scholar 

  5. Rao, A.S., Georgeff, M.P.: Decision procedures for BDI logics. Journal of Logic and Computation 8, 293–343 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  6. Bratman, M.E.: What is intention? In: Cohen, P.R., Morgan, J.L., Pollack, M.E. (eds.) Intentions in Communication, pp. 15–32. The MIT Press, Cambridge (1990)

    Google Scholar 

  7. Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42, 213–261 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  8. van der Hoek, W., Wooldridge, M.: Model checking knowledge and time. In: Bošnački, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, p. 95. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via model checking. Fundamenta Informaticae 55 (2002)

    Google Scholar 

  10. FIPA: Foundation for Intelligent Physical Agents, http://www.fipa.org

  11. van der Hoek, W.: On the semantics of graded modalities. Journal of Applied Non Classical Logics 2, 81–123 (1992)

    MATH  MathSciNet  Google Scholar 

  12. Halpern, J.: Theory of knowledge and ignorance for many agents. Journal of Logic and Computation 7, 79–108 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  13. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8, 18–36 (1990)

    Article  Google Scholar 

  14. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Journal of Autonomous Agents and Multi-Agent Systems 3, 9–31 (2000)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK

    Wiebe van der Hoek

  2. Department of Computer Science, King’s College London, London, WC2R 2LS, UK

    Alessio Lomuscio

Authors
  1. Wiebe van der Hoek
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alessio Lomuscio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia

    Leon Sterling

  4. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Hoek, W., Lomuscio, A. (2004). A Logic for Ignorance. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25932-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22124-1

  • Online ISBN: 978-3-540-25932-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics