Konieczny Sébastien, Marquis Pierre, Schwind Nicolas,
Rationalisation de bases de croyances pour la fusion en logique propositionnelle,
dans Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'11), pp. 140-154, juin 2011.
résumé : Les opérateurs de fusion de bases de croyances prennent typiquement en compte l'ensemble des modèles de chacune des bases, y compris ceux qui contredisent les contraintes d'intégrité. Dans cet article, nous montrons qu'un tel choix n'est pas adapté à toutes les applications. Nous introduisons la notion de "rationalisation" des bases par rapport aux contraintes d'intégrité. Nous définissons formellement une condition d'indépendance des opérateurs de fusion à différentes formes de rationalisation et nous montrons comment ces conditions interagissent avec les postulats IC standard pour la fusion de croyances. En particulier, nous donnons une caractérisation axiomatique d'un opérateur de fusion satisfaisant un critère d'indépendance à la rationalisation des bases et qui satisfait aussi l'ensemble des postulats IC.