Sciweavers

Share
ECSQARU
2003
Springer

Epistemic Logics for Information Fusion

11 years 6 months ago
Epistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitration, and general merging. Some modalities corresponding to these fusion operators are added to epistemic logics and the Kripke semantics of these extended logics are presented. While most existing approaches treat information fusion operators as meta-level constructs, these operators are directly incorporated into our object logic language. Thus it is possible to reason about not only the merged results but also the fusion process in our logics. Key Words: Epistemic logic, database merging, belief fusion, majority merging, arbitration, general merging, belief revision, multi-agent systems.
Churn-Jung Liau
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ECSQARU
Authors Churn-Jung Liau
Comments (0)
books