doiSerbia

A layered rule-based architecture for approximate knowledge fusion?

Dunin-Kęplicz Barbara (Institute of Informatics, University of Warsaw, Warsaw, Poland + Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland)
Nguyen Anh Linh (Institute of Informatics, University of Warsaw, Warsaw, Poland)
Szałas Andrzej (Institute of Informatics, University of Warsaw, Warsaw, Poland + Dept. of Computer and Information Science, Linköping University Linköping, Sweden)

In this paper we present a framework for fusing approximate knowledge obtained from various distributed, heterogenous knowledge sources. This issue is substantial in modeling multi-agent systems, where a group of loosely coupled heterogeneous agents cooperate in achieving a common goal. In paper [5] we have focused on defining general mechanism for knowledge fusion. Next, the techniques ensuring tractability of fusing knowledge expressed as a Horn subset of propositional dynamic logic were developed in [13,16]. Propositional logics may seem too weak to be useful in real-world applications. On the other hand, propositional languages may be viewed as sublanguages of first-order logics which serve as a natural tool to define concepts in the spirit of description logics [2]. These notions may be further used to define various ontologies, like e.g. those applicable in the Semantic Web. Taking this step, we propose a framework, in which our Horn subset of dynamic logic is combined with deductive database technology. This synthesis is formally implemented in the framework of HSPDL architecture. The resulting knowledge fusion rules are naturally applicable to real-world data.