In this paper we define a logic, called Distributed First Order Logic (DFOL), for the formalization of distributed knowledge representation systems (DKRSs). In a DKRS knowledge is distributed in a set of heterogeneous subsystems. Each subsystem represents, in its own language, partial knowledge about a subset of the whole domain, and is able to exchange knowledge with the other subsystems via query answering. DFOL formalizes the partial knowledge of each subsystem by means of a first order theory (or context) on a given domain, and represents the communication between subsystems by means of relations between formulas in the languages of the different subsystems and relations between objects in their domains. In this paper we present the syntax and semantics of DFOL
Distributed First Order Logic - revised semantics
Ghidini, Chiara;Serafini, Luciano
2005-01-01
Abstract
In this paper we define a logic, called Distributed First Order Logic (DFOL), for the formalization of distributed knowledge representation systems (DKRSs). In a DKRS knowledge is distributed in a set of heterogeneous subsystems. Each subsystem represents, in its own language, partial knowledge about a subset of the whole domain, and is able to exchange knowledge with the other subsystems via query answering. DFOL formalizes the partial knowledge of each subsystem by means of a first order theory (or context) on a given domain, and represents the communication between subsystems by means of relations between formulas in the languages of the different subsystems and relations between objects in their domains. In this paper we present the syntax and semantics of DFOLI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
