Ordered Belief Fusion in Possibilistic Logic

Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic logic. We use graded epistemic operators to represent agents’ uncertain beliefs, and the operators are interpreted in accordance with possibilistic semantics. Ordered fusion can resolve the inconsistency caused by direct fusion. We consider two strategies to merge uncertain beliefs. In the first strategy, called level cutting fusion, if inconsistency occurs at some level, then all beliefs at the lower levels are discarded simultaneously. In the second, called level skipping fusion, only the level at which the inconsistency occurs is skipped. We present the formal semantics and axiomatic systems for these two strategies. Key Words: Belief fusion, database merging, epistemic logic, multiagent systems, possibilistic logic.

• Type: Conference
• Year: 2005
• Where: RSFDGRC
• Authors: Churn-Jung Liau
• Keywords: Belief Fusion, Possibilistic Logic, RSFDGRC 2005, Uncertain Beliefs