Skip to main content
SpringerLink
Log in

Multi-agent reasoning with belief contexts: the approach and a case study

  • Conference paper
  • First Online:
Intelligent Agents (ATAL 1994)

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

Included in the following conference series:

Abstract

In this paper we discuss the use of belief contexts for the formalization of multi-agent reasoning. In addition to representational power, belief contexts provide implementational advantages. We substantiate this claim by discussing a paradigmatic case study, the Three Wise Men puzzle.

Fausto Giunchiglia has provided basic motivations, useful feedback and suggestions. He has also provided help and encouragement. Lorenzo Galvagni has developed an implementation of multi-context systems in GETFOL. We thank Paolo Bouquet, Enrico Giunchiglia, Kurt Konolige, John McCarthy and Toby Walsh for useful feedback and discussions. The other members of the Mechanized Reasoning Group are also thanked. This work has been done at IRST as part of the MAIA project.

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. L. Carlucci Aiello, D. Nardi, and M. Schaerf. Reasoning about knowledge and ignorance. In International Conference of 5th Generation Computer System, pages 618–627, Tokyo, 1988.

    Google Scholar 

  2. L. G. Creary. Propositional Attitudes: Fregean representation and simulative reasoning. In Proc. of the 6th International Joint Conference on Artificial Intelligence, pages 176–181, 1979.

    Google Scholar 

  3. G. Criscuolo, F. Giunchiglia, and L. Serafini. A Foundation of Metalogical Reasoning: OM pairs (Propositional Case). Technical Report 9403-02, IRST, Trento, Italy, 1994.

    Google Scholar 

  4. F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993. Short version in Proceedings IJCAI'93 Workshop on Using Knowledge in its Context, Chambery, France, 1993, pp. 39–49. Also IRST-Technical Report 9211-20, IRST, Trento, Italy.

    Google Scholar 

  5. F. Giunchiglia. GETFOL: Interactive Multicontext Theorem Proving (abstract). In Proceedings of IJCAI-93 Workshop on Automated Theorem Proving, page 43, Chambery, France, 1993.

    Google Scholar 

  6. F. Giunchiglia and L. Serafini. On the Proof Theory of Hierarchical Meta-Logics. Technical Report 9301-07, IRST, Trento, Italy, 1993.

    Google Scholar 

  7. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.

    Google Scholar 

  8. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 548–554, Chambery, France, 1993. Also IRST-Technical Report 9206-03, IRST, Trento, Italy.

    Google Scholar 

  9. A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245–292, 1986.

    Google Scholar 

  10. J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, NY, 1962.

    Google Scholar 

  11. J.R. Hobbs and R.C. Moore, editors. Formal Theories of Commonsense World. Ablex Publishing Corporation, Norwood, New Jersey, 1985.

    Google Scholar 

  12. K. Konolige. A deduction model of belief and its logics. PhD thesis, Stanford University CA, 1984.

    Google Scholar 

  13. J. McCarthy. Formalization of Two Puzzles Involving Knowledge. In V. Lifschitz, editor, Formalizing Common Sense — Papers by John McCarthy, pages 158–166. Ablex Publishing Corporation, 1990.

    Google Scholar 

  14. R.C. Moore. The role of logic in knowledge representation and commonsense reasoning. In National Conference on Artificial Intelligence. AAAI, 1982.

    Google Scholar 

  15. D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.

    Google Scholar 

  16. R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13(1):133–176, 1980.

    Google Scholar 

  17. R.W. Weyhrauch, M. Cadoli, and C. L. Talcott. Using Abstract Resources to Control Reasoning. August 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mechanized Reasoning Group, IRST-Istituto per la Ricerca Scientifica e Tecnologica, I-38050, Povo, Trento, Italy

    Alessandro Cimatti & Luciano Serafini

Authors
  1. Alessandro Cimatti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luciano Serafini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cimatti, A., Serafini, L. (1995). Multi-agent reasoning with belief contexts: the approach and a case study. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-58855-8_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58855-9

  • Online ISBN: 978-3-540-49129-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation