Abstract
This paper is concerned with providing a logic, called Distributed First Order Logic (DFOL), for the formalization of distributed knowledge representation and reasoning systems. In such systems knowledge is contained in a set of heterogeneous subsystems. Each subsystem represents, using a possibly different language, partial knowledge about a subset of the whole domain, it is able to reason about such a knowledge, and it is able to exchange knowledge with other subsystems via query answering. Our approach is to represent each subsystem as a context, each context having its own language, a set of basic facts describing what is “explicitly known” by the subsystem, and a set of inference rules representing the reasoning capabilities of the subsystem. Knowledge exchange is represented by two different relations on contexts: the former on the languages (query mapping) and the latter on the domains (answer mapping) of different contexts. DFOL is based on a semantics for contextual reasoning, called Local Models Semantics, which allows to model contexts having different languages, basic knowledge, and reasoning capabilities, as well as relations between contexts. An axiomatization of DFOL is also presented.
Visiting Research Fellow from University of Trento, Italy, supported by the Italian National Research Council (CNR)
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
V. Akman and M. Surav. Steps toward Formalizing Context. AI Magazine, pages 55–72, FALL 1996.
D. Basin, S. Matthews, and L. Viganò. Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information, 7(3):237–263, 1998.
T. Catarci and M. Lenzerini. Representing and using interschema knowledge in cooperative information systems. International Journal of Intelligent and Cooperative Information Systems, 2(4):375–398, 1993.
M. D’Agostino. Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence. Journal of Logic, Language and Information, 1:235–252, 1992.
J. Dinsmore. Partitioned Representations. Kluwer Academic Publisher, 1991.
F. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation and Reasoning, Studies in Logic, Language and Information. CLSI Publications, 1996.
R. Fagin, J.Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about knowledge. MIT Press, 1995.
D. M. Gabbay. Labelled Deductive Systems; principles and applications. Vol 1: Introduction, volume 33 of Oxford Logic Guides. Oxford University Press, 1996.
C. Ghidini. A semantics for contextual reasoning: theory and two relevant applications. PhD thesis, Department of Computer Science, University of Rome “La Sapienza”, March 1998.
F. Giunchiglia. Contextual reasoning. Epistemologia, special issue on I Linguaggi e le Macchine, XVI:345–364, 1993.
F. Giunchiglia and C. Ghidini. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. In Proc. of the 6th Int. Conference on Principles of Knowledge Representation and Reasoning (KR’98), 1998. Morgan Kaufmann.
F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics (or: how we can do without modal logics). Artificial Intelligence, 65:29–70, 1994.
A. Masini. 2-Sequent calculus: a proof theory of modalities. Annals of Pure and Applied Logic, 58:229–246, 1992.
D. Prawitz. Natural Deduction — A proof theoretical study. Almquist and Wiksell, Stockholm, 1965.
L. Serafini and C. Ghidini. Context Based Semantics for Federated Databases. In Proceedings of the 1st International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-97), pages 33–45, Rio de Jeneiro, Brazil, 1997.
V.S. Subrahmanian. Amalgamating Knowledge Bases. ACM Trans. Database Syst., 19(2):291–331, 1994.
G. Wiederhold. Mediators in the architecture of future information systems. IEEE Computer, 25(3):38–49, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghidini, C., Serafini, L. (1999). A Context-Based Logic for Distributed Knowledge Representation and Reasoning. In: Bouquet, P., Benerecetti, M., Serafini, L., Brézillon, P., Castellani, F. (eds) Modeling and Using Context. CONTEXT 1999. Lecture Notes in Computer Science(), vol 1688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48315-2_13
Download citation
DOI: https://doi.org/10.1007/3-540-48315-2_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66432-1
Online ISBN: 978-3-540-48315-1
eBook Packages: Springer Book Archive