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 DFOL
2005
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/2607
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact