Abstract
In this paper we address the issue of modeling some aspects of distributed reasoning systems in a multicontext framework that can be used to understand their interaction. A number of relevant concepts which have a precise intuition in terms of cooperative reasoning systems are proposed thus providing a ground for defining a particular class of contexts — importing context. Viewed as reasoning components of distributed reasoning systems importing contexts can import assertions proven to be true in the outside world, but are unable to export any assertions modifying the original KBs of the other units. A number of properties of the importing contexts are presented and discussed in a framework of cooperative reasoning systems.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Dichev Ch. A framework for knowledge structuring. Proc. of the 6-th Conference: Artificial Intelligence: Methodology, Systems, Applications, World Scientific Publishing, 1994, pp. 55–65.
Dichev Ch. Context formation in logic programming setting. Proceedings of TAINN'95, Turkey, June 1995, pp. 207–218.
Dichev Ch. Generating contexts in multicontext setting. Proc. of the 7-th Conference: Artificial Intelligence: Methodology, Systems, Applications — AIMSA '96, IOS Press, 1996, pp. 51–60.
Dichev Ch. Contexts as communicating theories. AI Communications — The European Journal on Artificial Intelligence, No 10(3), 1997.
Giunchiglia, E., Traverso, P., Giunchiglia, F. Multi-context systems as a specification framework for complex reasoning systems. IRST Technical Report 9206-22, IRST, Trento, Italy, 1992.
Giunchiglia, F. Contextual reasoning. Proc. of the IJCAI'93 Workshop on ”Using knowledge in context”, pp. 39–50.
Giunchiglia, F., L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial Intelligence, 65:29–70, 1994.
Giunchiglia, F., L. Serafini, Giunchiglia, E, Frixione M. Non-omnicent belief as context-based reasoning. Proc. of the IJCAI'93, Morgan Caufmann, 1993, pp. 548–554.
Guha,R.V. Contexts: a formalizations and some applications, PhD Thesis, Stanford, 1991.
McCarthy J. Notes on formalizing context. In Proc. of Thirteen International Joint Conference on Artificial Intelligence (IJCAI'93), France, 1993, pp. 555–560.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dichev, C. (1998). Multicontext systems with importing contexts. In: Giunchiglia, F. (eds) Artificial Intelligence: Methodology, Systems, and Applications. AIMSA 1998. Lecture Notes in Computer Science, vol 1480. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0057446
Download citation
DOI: https://doi.org/10.1007/BFb0057446
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64993-9
Online ISBN: 978-3-540-49793-6
eBook Packages: Springer Book Archive