A Context-Based Logic for Distributed Knowledge Representation and Reasoning Export

@incollection{citeulike:4296932, 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.}, author = {Ghidini, Chiara and Serafini, Luciano}, citeulike-article-id = {4296932}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/3-540-48315-2_13}, citeulike-linkout-1 = {http://www.springerlink.com/content/tdn058acxf0v6wvl}, doi = {10.1007/3-540-48315-2_13}, journal = {Modeling and Using Context}, keywords = {context}, pages = {832}, posted-at = {2009-04-10 10:34:01}, priority = {2}, title = {A Context-Based Logic for Distributed Knowledge Representation and Reasoning}, url = {http://dx.doi.org/10.1007/3-540-48315-2_13}, year = {1999} }

TY - CHAP ID - citeulike:4296932 L3 - citeulike-article-id:4296932 N2 - 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. JF - Modeling and Using Context EP - 832 TI - A Context-Based Logic for Distributed Knowledge Representation and Reasoning SP - 832 KW - context AU - Ghidini, Chiara AU - Serafini, Luciano PY - 1999/// UR - http://dx.doi.org/10.1007/3-540-48315-2_13 ER -