Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives

Résumé : Dans cet article, nous nous intéressons au problème de la fusion de réseaux de contraintes qualitatives (RCQ) représentant des croyances ou des préférences locales sur les positions relatives d'entités spatiales ou temporelles. Nous définissons deux classes d'opérateurs de fusion d1 et d2 qui, à un ensemble de RCQ définis sur le même formalisme qualitatif et le même ensemble d'entités, associent un ensemble cohérent de configurations qualitatives représentant une vision globale de ces RCQ. Ces opérateurs sont paramétrés par une distance entre relations du formalisme qualitatif considéré et par des fonctions d'agrégation. Contrairement aux précédents opérateurs proposées pour la fusion de RCQ, nous optons pour une approche syntaxique, où chacune des contraintes des RCQ fournis a une influence sur le résultat de la fusion. Nous étudions les propriétés logiques des opérateurs de fusion définis et montrons leur équivalence sous certaines restrictions. Nous montrons que le résultat fourni par l'opérateur d2 correspond à l'ensemble des solutions optimales d'un RCQ pondéré particulier. Afin de calculer ces solutions, un algorithme basé sur la méthode de fermeture par faible composition étendu au cas des RCQ pondérés est proposé.