Conflict-Based Merging Operators

Patricia Everaere (), Sébastien Konieczny () and Pierre Marquis ()
Additional contact information
Patricia Everaere: CRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche Scientifique, LIFL - Laboratoire d'Informatique Fondamentale de Lille - Université de Lille, Sciences et Technologies - Inria - Institut National de Recherche en Informatique et en Automatique - Université de Lille, Sciences Humaines et Sociales - CNRS - Centre National de la Recherche Scientifique, SMAC - Systèmes Multi-Agents et Comportements - CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 - Centrale Lille - Université de Lille - CNRS - Centre National de la Recherche Scientifique
Sébastien Konieczny: CRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche Scientifique, LIFL - Laboratoire d'Informatique Fondamentale de Lille - Université de Lille, Sciences et Technologies - Inria - Institut National de Recherche en Informatique et en Automatique - Université de Lille, Sciences Humaines et Sociales - CNRS - Centre National de la Recherche Scientifique, IRIT - Institut de recherche en informatique de Toulouse - UT Capitole - Université Toulouse Capitole - UT - Université de Toulouse - UT2J - Université Toulouse - Jean Jaurès - UT - Université de Toulouse - UT3 - Université Toulouse III - Paul Sabatier - UT - Université de Toulouse - CNRS - Centre National de la Recherche Scientifique - Toulouse INP - Institut National Polytechnique (Toulouse) - UT - Université de Toulouse - TMBI - Toulouse Mind & Brain Institut - UT2J - Université Toulouse - Jean Jaurès - UT - Université de Toulouse - UT3 - Université Toulouse III - Paul Sabatier - UT - Université de Toulouse
Pierre Marquis: CRIL - Centre de Recherche en Informatique de Lens - UA - Université d'Artois - CNRS - Centre National de la Recherche Scientifique

Post-Print from HAL

Abstract: 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.

Date: 2008
References: Add references at CitEc
Citations:

Published in Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:hal:journl:hal-00732027

Access Statistics for this paper

More papers in Post-Print from HAL
Bibliographic data for series maintained by CCSD ().