Corriger la Logique des Défauts par la Logique des Défauts

Philippe Besnard (1, 2) , Éric Grégoire (3, 4) , Sébastien Ramon (3, 4)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 PRES Université Lille Nord de France
4 CRIL - Centre de Recherche en Informatique de Lens

Ce papier se situe dans le contexte de la fusion de sources d'information représentées à l'aide de la logique des défauts. Plus précisément, celui-ci se focalise sur la résolution du problème apparaissant quand les connaissances classiques des sources sont contradictoires, ayant pour effet de rendre triviale la théorie avec défauts résultante. Pour outre-passer ce problème, il est montré que, remplacer chaque formule appartenant aux sous-ensembles minimaux inconsistants (MUSes) de la réunion des connaissances classiques des sources par une règle de défaut super-normale correspondante, présente un comportement intéressant. De plus, il est examiné comment ces règles de défaut supplémentaires interagissent avec les règles de défaut initiales de la théorie. Chose intéressante, cette approche nous permet de manier le problème de théories avec défauts contenant des connaissances classiques contradictoires, en utilisant le cadre de la logique des défauts lui-même.

Domaines: Intelligence artificielle [cs.AI]

Philippe Besnard, Éric Grégoire, Sébastien Ramon. Corriger la Logique des Défauts par la Logique des Défauts. Journées Nationales de l'Intelligence Artificielle Fondamentale (IAF'09), 2009, Marseille, France. ⟨hal-00871856⟩