Epistemic logics for information fusion

Abstract

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.