Sökning: onr:"swepub:oai:DiVA.org:liu-54706" >
Tractable approxima...
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
-
- Dunin-Keplicz, Barbara (författare)
- University of Warsaw
-
- Anh Nguyen, Linh (författare)
- University of Warsaw
-
- Szalas, Andrzej (författare)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
(creator_code:org_t)
- Elsevier, 2010
- 2010
- Engelska.
-
Ingår i: International Journal of Approximate Reasoning. - : Elsevier. - 0888-613X .- 1873-4731. ; 51:3, s. 346-362
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this paper we investigate a technique for fusing approximate knowledge obtained from distributed, heterogeneous information sources. This issue is substantial, e.g., in modeling multiagent systems, where a group of loosely coupled heterogeneous agents cooperate in achieving a common goal. Information exchange, leading ultimately to knowledge fusion, is a natural and vital ingredient of this process. We use a generalization of rough sets and relations [30], which depends on allowing arbitrary similarity relations. The starting point of this research is [6], where a framework for knowledge fusion in multiagent systems is introduced. Agents individual perceptual capabilities are represented by similarity relations, further aggregated to express joint capabilities of teams, This aggregation, expressing a shift from individual to social level of agents activity, has been formalized by means of dynamic logic. The approach of Doherty et al. (2007) [6] uses the full propositional dynamic logic, which does not guarantee tractability of reasoning. Our idea is to adapt the techniques of Nguyen [26-28] to provide an engine for tractable approximate database querying restricted to a Horn fragment of serial dynamic logic. We also show that the obtained formalism is quite powerful in applications.
Nyckelord
- Rough sets
- Similarity relation
- Dynamic logic
- Knowledge fusion
- Approximate database
- TECHNOLOGY
- TEKNIKVETENSKAP
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas