Epistemic logics for information fusion (2003)
| Venue: | Proc of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, LNAI 2711 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Liau03epistemiclogics,
author = {Churn-jung Liau},
title = {Epistemic logics for information fusion},
booktitle = {Proc of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, LNAI 2711},
year = {2003},
pages = {489--501},
publisher = {SpringerVerlag}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
