Abstract
The work described in this paper aims at the definition of a general framework for the formal specification of agents' beliefs in a multiagent environment. The basic idea is to model both agents' beliefs and the view that each agent has of other agents' beliefs as logical theories. The logical theories and the relations among them characterize a belief system. Belief systems are naturally presented using Multi context systems. We show how some of the modal approaches to the formalization of (non) omniscient belief can be captured within our framework.
Alessandro Cimatti and Kurt Konolige have provided very useful feedback and suggestions. The work at IRST has been done as part of the MAIA project.
Preview
Unable to display preview. Download preview PDF.
References
A. Avron. Simple consequence relations. LFCS Report Series, Laboratory for the Foundations of Computer Science, Computer Science Department, University of Edinburgh, 1987.
R. Bull and K. Segerberg. Basic Modal Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume III, pages 1–88. D. Reidel Publishing Company, 1984.
B. F. Chellas. Modal Logic — an Introduction. Cambridge University Press, 1980.
L. G. Creary. Prepositional Attitudes: Fregean representation and simulative reasoning. In Proc. of the 6th International Joint Conference on Artificial Intelligence, pages 176–181, 1979.
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. Stanford Bookstore, 1992.
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.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
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.
A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28:245–292, 1986.
A. Lansky. Localized Event-Based Reasoning for Multiagent Domains. Computational Intelligence, 4:319–339, 1988.
H. Levesque. A logic of implicit and explicit belief. In AAAI-84, pages 198–202, 1984.
J. McCarthy. Notes on Formalizing Context. In Proc. of the 13th International Joint Conference on Artificial Intelligence, pages 555–560, Chambery, France, 1993.
D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
Y. Wilks and J. Biem. Speech acts and multiple environments. In Proc. of the 6th International Joint Conference on Artificial Intelligence, 1979.
Author information
Authors and Affiliations
Consortia
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giunchiglia, E., Giunchiglia, F., Serafini, L., Mechanized Reasoning Group. (1995). Agents as reasoners, observers or believers. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_41
Download citation
DOI: https://doi.org/10.1007/3-540-60437-5_41
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60437-2
Online ISBN: 978-3-540-47468-5
eBook Packages: Springer Book Archive