Conflict-Based Merging Operators - Université Toulouse 3 Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Conflict-Based Merging Operators

Résumé

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.
Fichier non déposé

Dates et versions

hal-00732027 , version 1 (13-09-2012)

Identifiants

  • HAL Id : hal-00732027 , version 1

Citer

Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Conflict-Based Merging Operators. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357. ⟨hal-00732027⟩
212 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More