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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319–339, 1988.
K. Konolige. A deduction model of belief and its logics. PhD thesis, Stanford University CA, 1984.
R. Fagin and J.Y. Halpern. Belief, awareness, and limited reasoning. Artificial Intelligence, 34:39–76, 1988.
R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT press, 1995.
H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198–202, 1984.
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.
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.
Y. Wilks and J. Biem. Speech acts and multiple environments. In IJCAI'79.
A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245–292, 1986.
D. Gabbay. Labeled Deductive Systems. Technical Report CIS-Bericht-90-22, Universität München — Centrum für Informations und Sprachverarbeitung, 1990.
D. Gabbay. Labeled Deductive Systems Volume 1 — Foundations. Technical Report MPI-I-94-223, Max-Planck-institut für Informatik, May 1994.
D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
B. F. Chellas. Modal Logic — an Introduction. Cambridge University Press, 1980.
J. Dinsmore. Partitioned Representations. Kluwer Academic Publisher, 1991.
Author information
Authors and Affiliations
Editor information
Rights 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