Centre de Recherche en Informatique de Lens

Dans le domaine des opérateurs de changement de croyances beaucoup d’opérateurs ont été définis pour capturer les différents types de changement : révision, mise à jour, fusion, et beaucoup d’autres...

Il y a des liens importants entre révision, mise à jour et fusion. Les opérateurs de fusion peuvent être considérés comme une extension des opérateurs de révision à plusieurs bases de croyances. Et les opérateurs de mise à jour peuvent être considérées comme une révision ponctuelle, s’appliquant à chaque modèle de la base, plutôt que de considérer la base dans son ensemble.

Une question naturelle est alors de se demander si il est possible de définir des opérateurs de fusion ponctuelle, qui seraient à la fusion ce que la mise à jour est à la révision.

Nous répondons positivement à cette question, en introduisant une nouvelle famille d’opérateurs de changements : les opérateurs de confluence. Ces opérateurs peuvent être utile pour modéliser des processus de négociation.