Abstract
Belief contexts [Giunchiglia, 1993; Giunchiglia and Serafini, 1994; Giunchiglia et al., 1993] are a formalism for the representation of propositional attitudes. Their basic feature is modularity: knowledge can be distributed in different, separated modules, called contexts; the interactions between them, i.e. the transfer of knowledge between contexts, can be formally defined according to the application. For instance, the beliefs of an agent can be represented with one or more contexts, distinct from the contexts representing beliefs of other agents; different contexts can be used to represent the beliefs of an agent in different situations. Interaction between contexts can express the effect of communication between agents, and the evolution of their beliefs (e.g. learning, belief revision).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cimatti and Serafini, 1995] A. Cimatti and L. Serafini Multi-Agent Reasoning with Belief Contexts: the Approach and a Case Study. In M. Wooldridge and N. R. Jennings, editors, Intelligent Agents: Proceedings of 1994 Workshop on Agent Theories, Architectures,and Languages,number 890 in Lecture Notes in Computer Science, pages 71-85. Springer Verlag, 1995. Also IRST-Technical Report 9312-01, IRST, Trento, Italy.
A. Cimatti and L. Serafini Multi-Agent Reasoning with Belief Contexts II: Elaboration Tolerance. In Proc. 1st Int. Conference on Multi-Agent Systems (ICMAS-95), pages 57-64, 1996. Also IRST-Technical Report 941209, IRST, Trento, Italy. Presented at Commonsense-96, Third Symposium on Logical Formalizations of Commonsense Reasoning, Stanford University, 1996.
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.
Technical Report 9403-02, IRST, Trento, Italy, 1994.
F. Giunchiglia and A. Cimatti. HGKM User Manual - HGKM version 2. Technical Report 91-0009, DIST - University of Genova, Genova, Italy, 1991.
Giunchiglia and Serafini, 1991] F. Giunchiglia and L. Serafini Multilanguage first order theories of propositional attitudes. In Proceedings 3rd Scandinavian Conference on Artificial Intelligence,pages 228-240, Roskilde University, Denmark, 1991. IOS Press. Also IRST-Technical Report 9001-02, IRST, Trento, Italy.
F. Giunchiglia and L. Serafini. On the Proof Theory of Hierarchical Meta-Logics. Technical Report 9301-07, IRST, Trento, Italy, 1993.
Giunchiglia and Serafini, 1994] 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.
Giunchiglia and Traverso, 1996] F. Giunchiglia and P. Traverso. A Metatheory of a Mechanized Object Theory. Artificial Intelligence, 80(2):197-241, 1996. Also IRSTTechnical Report 9211-24, IRST, Trento, Italy, 1992.
Giunchiglia and Weyhrauch, 1991] F. Giunchiglia and R.W. Weyhrauch. FOL User Manual - FOL version 2. Manual 9109-08, IRST, Trento, Italy, 1991. Also DIST Technical Report 91-0006, University of Genova.
Giunchiglia et al., 1993] 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.
Giunchiglia, 1993] 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. GETFOL Manual - GETFOL version 2.0. Technical Report 92-0010, DIST - University of Genoa, Genoa, Italy, March 1994.
A. R. Haas. A Syntactic Theory of Belief and Action. Artificial Intelligence, 28: 245 - 292, 1986.
J.R. Hobbs and R.C. Moore, editors. Formal Theories of Commonsense World. Ablex Publishing Corporation, Norwood, New Jersey, 1985.
K. Konolige. A deduction model of belief. Pitman, London, 1986.
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.
R.C. Moore. The role of logic in knowledge representation and commonsense reasoning. In National Conference on Artificial Intelligence. AAAI, 1982.
D. Prawitz. Natural Deduction A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
A. Tarski. Logic, Semantics, Metamathematics. Oxford University Press, 1956.
R.W. Weyhrauch. Prolegomena to a Theory of Mechanized Formal Reasoning. Artificial Intelligence, 13 (1): 133 - 176, 1980.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Cimatti, A., Serafini, L. (2000). A Context-Based Mechanization of Multi-Agent Reasoning. In: Bonzon, P., Cavalcanti, M., Nossum, R. (eds) Formal Aspects of Context. Applied Logic Series, vol 20. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9397-7_5
Download citation
DOI: https://doi.org/10.1007/978-94-015-9397-7_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5472-2
Online ISBN: 978-94-015-9397-7
eBook Packages: Springer Book Archive