Fusion pondérée de bases de croyances
Auteur / Autrice : | Chouaib Fellah |
Direction : | Sébastien Konieczny, Patricia Everaere |
Type : | Projet de thèse |
Discipline(s) : | Informatique et applications |
Date : | Inscription en doctorat le Soutenance le 18/12/2023 |
Etablissement(s) : | Artois |
Ecole(s) doctorale(s) : | École doctorale Sciences, technologie et santé (Amiens) |
Partenaire(s) de recherche : | Laboratoire : CRIL - Centre de recherche en informatique de Lens |
Jury : | Président / Présidente : Salem Benferhat |
Examinateurs / Examinatrices : Sébastien Konieczny, Patricia Everaere, Ramón Pino pérez, Sylvain Lagrue, Odile Papini, Andreas Herzig, Julien Rossit | |
Rapporteur / Rapporteuse : Odile Papini, Andreas Herzig |
Mots clés
Résumé
Ce travail constitue une contribution à létude de la fusion de linformation, en utilisant essentiellement la logique propositionnelle pour la représentation de linformation. Plus particulièrement, nous étudions des processus de fusion qui sont très précisément d'écrits par des fonctions mathématiques appelées opérateurs de fusion de croyances. Les opérateurs de fusion de croyances visent à construire une base de croyances cohérente qui satisfait des contraintes dintégrité et qui est au mieux en adéquation avec un ensemble de bases de croyances (un profil), qui contient la plupart du temps des informations conflictuelles. Cest ce cadre, proposé par Konieczny et Pino Pérez (2002), qui est le point de départ de notre travail. Dans ce cadre, on suppose que toutes les bases dans lensemble de bases de croyances constituant le profil ont la même importance (fiabilité). Cependant, dans de nombreuses situations, les bases ont des degrés dimportance différents. Il est donc nécessaire de disposer dun cadre formel où il existe des opérateurs permettant de prendre en compte de manière rationnelle un ensemble de bases de croyances avec différents degrés dimportance. Cest en réponse à cette nécessité que nous développons le cadre des opérateurs de fusion pondérée avec des contraintes dintégrité. Nous donnons une caractérisation syntaxique en termes de postulats de rationalité ainsi qu'un théorème de représentation sémantique. Ce théorème de représentation est loutil fondamental qui nous permet de définir dimportantes familles dopérateurs en utilisant des distances, des fonctions de pondération et des fonctions dagrégation. Nous définissons également des familles dopérateurs en utilisant des utilités, des fonctions de pondération utilitaires et des fonctions dagrégation utilitaires. Ces familles sont différentes des familles définies avec des distances, et certaines ont un comportement égalitaire remarquable. Une autre contribution de notre travail se situe à nouveau dans le cadre de la fusion classique, cest-à-dire dans le cadre des opérateurs de fusion avec des contraintes dintégrité. En particulier, nous étudions deux familles dopérateurs inspirées par deux visions différentes de la règle de Borda. Nous définissons une nouvelle propriété en fusion, inspirée de la propriété dannulation en choix social, et prouvons qu'une des familles est caractérisée par cette nouvelle propriété.