Fusing Approximate Knowledge from Distributed Sources

Abstract

In this paper we investigate a technique for fusing approximate knowledge obtained from distributed, heterogeneous information sources. We use a generalization of rough sets and relations [14], which depends on allowing arbitrary similarity relations. The starting point of this research is [2], where a framework for knowledge fusion in multi-agent systems is introduced. Agent's individual perceptual capabilities are represented by similarity relations, further aggregated to express joint capabilities of teams. This aggregation, allowing a shift from individual to social level, has been formalized by means of dynamic logic. The approach of [2] uses the full propositional dynamic logic, not guaranteeing the tractability of reasoning. Therefore the results of [11,12,13] are adapted to provide a technical engine for tractable approximate database querying restricted to a Horn fragment of serial PDL. We also show that the obtained formalism is quite powerful in applications.

TEAMLOG in action: A case study in teamwork

“…Future work will be to embed TEAMLOG into a form of approximate reasoning suitable for modeling perception. Similarity-based approximate reasoning, with its intuitive semantics compatible with that of TEAMLOG, is a promising candidate [9,12,10,11]. linguistics from the Jagiellonian University, and in 2004 she was awarded her habilitation on formal methods in multi-agent systems from the Polish Academy of Sciences.…”

A layered rule-based architecture for approximate knowledge fusion?

“…In this paper we substantially extend our work presented in [13], where we have concentrated on techniques allowing one to query HSPDL databases in a tractable manner. Propositional logics have a very limited expressivity and may seem too weak to be useful in real-world applications.…”

“…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].…”

“…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].…”