A diff-Based Merging Operator

Patricia Everaere (1, 2, 3) , Sébastien Konieczny (1, 3, 4) , Pierre Marquis (3)

1 LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 SMAC - Systèmes Multi-Agents et Comportements
3 CRIL - Centre de Recherche en Informatique de Lens
4 IRIT - Institut de recherche en informatique de Toulouse

Merging operators aim at defining the beliefs (resp. the goal) of a group of agents from a profile of bases, gathering the beliefs (resp. the goals) of each member of the group. In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new kind of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.

Domaines: Système multi-agents [cs.MA]; Informatique et théorie des jeux [cs.GT]; Ingénierie, finance et science [cs.CE]; Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]; Finance [q-fin.GN]

Patricia Everaere, Sébastien Konieczny, Pierre Marquis. A diff-Based Merging Operator. Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Sep 2008, Sidney, Australia. pp.19-25. ⟨hal-00732039⟩