Conflict-Based Merging Operators

Patricia Everaere, Sébastien Konieczny, Pierre Marquis

This paper deals with propositional belief merging. The key problem in this setting is to define the beliefs/goals of a group of agents from a profile of bases, gathering the beliefs/goals of each member of the group. To this aim, a well-studied family of merging operators consists of distance-based ones: the models of the merged base are the closest interpretations to the given profile. Many operators from this family are based on the Hamming distance between interpretations, which can be viewed as a degree of conflict between them. In this paper, we introduce a more general family of merging operators, based on a more primitive concept, namely the conflict between interpretations itself. We show that this family of conflict-based merging operators includes many operators from the literature, both model-based ones and syntax-based ones. We present a number of comparison relations on conflict vectors characterizing operators from this family, and study the logical properties of conflict-based merging operators.

Subjects: 15.1 Belief Revision; Please choose a second document classification

Submitted: Jun 16, 2008

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.