Fusion de réseaux de contraintes qualitatives

Merging qualitative constraint networks

• Auteur / Autrice : Nicolas Schwind
• Direction : Pierre Marquis, Souhila Kaci
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 10/12/2010
• Etablissement(s) : Artois
• Ecole(s) doctorale(s) : ED Sciences pour l'ingénieur (n°72)
• Jury : Examinateurs / Examinatrices : Pierre Marquis, Souhila Kaci, Isabelle Bloch, Odile Papini, Jean-François Condotta, Florence Le Ber
• Jury : Rapporteurs / Rapporteuses : Isabelle Bloch, Odile Papini

Mots clés

Mots clés contrôlés

Calcul des propositions

Intelligence artificielle répartie

Contraintes (intelligence artificielle)

Mots clés libres

Fusion de croyances

Raisonnement spatial et temporel qualitatif

Résumé

La représentation du temps et de l’espace est une tâche importante dans de nombreux domaines de l’Intelligence Artificielle tels que le traitement du langage naturel, les systèmes d’informations géographiques (GIS), la conception assistée par ordinateur (CAO), la navigation de robots. De nombreux formalismes qualitatifs ont été proposés pour représenter un ensemble d’entités spatiales ou temporelles et leurs relations. La plupart de ces formalismes utilisent des réseaux de contraintes qualitatives (RCQ en abrégé) pour représenter l’ensemble des informations d’un système.Dans certaines applications, en particulier de type multi-agents, plusieurs sources d’informations peuvent chacune fournir un réseau de contraintes qualitatives pour représenter leur connaissance sur l’ensemble des positions relatives d’un ensemble d’objets. La multiplicité des sources d’informations fournissant les RCQ fait que souvent ces RCQ sont conflictuels, et il est alors utile de mettre en oeuvre une méthode de fusion de ces réseaux pour résoudre les conflits. Il s’agit de définir des familles d'opérateurs de fusion prenant en argument un ensemble de RCQ modélisant les informations fournies par les différentes sources et retournant un ensemble cohérent d'informations ou temporelles correspondant aux informations globales déduites à partir de celles des différentes sources.De nombreux opérateurs de fusion ont été définis dans le cadre de la logique propositionnelle. En s’inspirant en partie de ces travaux, nous élaborons des processus de fusion spécifiques aux RCQ et nous en étudions les propriétés logiques.

Time and space representation is an important task in many domains such as natural language processing, geographic information systems (GIS), computer vision, robot navigation. Many qualitative approaches have been proposed to represent the spatial or temporal entities and their relations. The majority of these formalisms use qualitative constraints networks (QCNs) to represent information about a system.In some application, e. g. multi-agent systems, spatial or temporal information come from different sources, i. e. each source provides a spatial or temporal QCN representing relative positions between objects. The multiplicity of sources providing spatial or temporal information makes that the underlying QCNs are generally conflicting. Indeed it becomes necessary to solve the conflicts and define a set of consistent spatial or temporal information representing the result of merging.Merging multiple sources information has attracted much attention in the framework of propositional logic. We take an inspiration from these works in order to define some merging process specified to QCNs, and study their logic and computational properties.