Skip to main content

Ideal and real belief about belief

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

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

Included in the following conference series:

Abstract

The goal of this paper is to provide a taxonomic characterization of the possible forms of belief about belief. Our analysis is performed in two steps. First, we give a set-theoretic specification of beliefs about beliefs, i.e. we characterize them as particular sets satisfying certain closure conditions. Second, we define a set of constructors which generate all and only the objects belonging to these sets. The constructors defined turn out to be inference rules inside a multicontext system. We provide some intuitions about the expressive power and conceptual importance of the multicontext systems defined by proving and discussing some equivalence results with some important modal systems.

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

Access this chapter

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. A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319–339, 1988.

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  4. R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT press, 1995.

    Google Scholar 

  5. H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198–202, 1984.

    Google Scholar 

  6. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.

    Article  Google Scholar 

  7. F. Giunchiglia, L. Serafini, E. Giunchiglia, and M. Frixione. Non-Omniscient Belief as Context-Based Reasoning. In IJCAI'93. Also IRST-Technical Report 9206-03, IRST, Trento, Italy.

    Google Scholar 

  8. Y. Wilks and J. Biem. Speech acts and multiple environments. In IJCAI'79.

    Google Scholar 

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

    Article  Google Scholar 

  10. D. Gabbay. Labeled Deductive Systems. Technical Report CIS-Bericht-90-22, Universität München — Centrum für Informations und Sprachverarbeitung, 1990.

    Google Scholar 

  11. D. Gabbay. Labeled Deductive Systems Volume 1 — Foundations. Technical Report MPI-I-94-223, Max-Planck-institut für Informatik, May 1994.

    Google Scholar 

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

    Google Scholar 

  13. B. F. Chellas. Modal Logic — an Introduction. Cambridge University Press, 1980.

    Google Scholar 

  14. J. Dinsmore. Partitioned Representations. Kluwer Academic Publisher, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giunchiglia, E., Giunchiglia, F. (1996). Ideal and real belief about belief. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_78

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_78

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

  • Online ISBN: 978-3-540-68454-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics