Dunin-Keplicz, Barbara Nguyen, Linh Anh Szalas, Andrzej 2010 (English)In: COMPUTER SCIENCE AND INFORMATION SYSTEMS, ISSN 1820-0214, Vol. 7, no 3, 617-642Article in journal (Refereed) Published
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  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 . 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.
Place, publisher, year, pages
COMSIS CONSORTIUM, 2010. Vol. 7, no 3, 617-642
knowledge fusion; multi-agent systems; approximate reasoning; rule-based systems
National CategoryEngineering and Technology
Identifiersurn:nbn:se:liu:diva-58271 (URN)10.2298/CSIS100209015D (DOI)000279345800011 (ISI)oai:DiVA.org:liu-58271 (OAI)diva2:337938 (DiVA)