Sciweavers

Share
RSFDGRC
2005
Springer

Ordered Belief Fusion in Possibilistic Logic

9 years 8 months ago
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.
Churn-Jung Liau
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where RSFDGRC
Authors Churn-Jung Liau
Comments (0)
books