Thèse soutenue

Raisonnement par défaut : résolutions de conflits et priorités
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Jérôme Mengin
Direction : Christine Froidevaux
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1994
Etablissement(s) : Paris 11

Résumé

FR

L'un des thèmes actuels de recherche en intelligence artificielle concerne la formalisation de certains types de raisonnement, en vue d'une automatisation. Cette thèse s'intéresse au raisonnement dit par défaut, à partir de connaissances incomplètes. Après une revue de plusieurs travaux sur ce sujet, la thèse présente un formalisme permettant de tenir compte, de manière intuitive, de préférence parmi les connaissances à inférer par défaut. Ce formalisme est basé sur la notion de résolution de conflits. L'intérêt de ce formalisme réside dans sa souplesse, qui permet de l'appliquer dans plusieurs domaines. Il permet en particulier de capturer des concepts utilisés dans de nombreuses autres logiques formalisant le raisonnement par défaut, et de combiner ces concepts entre eux ainsi que de les utiliser en présence de préférence. Dans la dernière partie, la thèse présente un algorithme permettant d'automatiser la forme de raisonnement capturé par ce formalisme. Cet algorithme est une adaptation d'un algorithme de résolution de conflits utilisé dans le domaine du diagnostic. Enfin, la thèse présente un algorithme permettant de calculer les inconsistances en logique des défauts, ce qui permet alors d'implémenter un démonstrateur de théorèmes pour cette logique