ACM Transactions on Database Systems (TODS)
Multilanguage hierarchical logics, or: how we can do without modal logics
Artificial Intelligence
Reasoning about knowledge
Reasoning in description logics
Principles of knowledge representation
Labelled Modal Logics: Quantifiers
Journal of Logic, Language and Information
First-Order Contextual Reasoning
SBIA '02 Proceedings of the 16th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
AIMSA '00 Proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Proof Theory for Distributed Knowledge
Computational Logic in Multi-Agent Systems
| Hi-index | 0.00 |
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.