Abstract FR:

Dans ce mémoire de thèse, afin de caractériser complètement les extensions de la théorie de défauts propositionnelle semi-normale sans disjonction, nous proposons, d'abord les nouveaux concepts : - l'ordre prérequis-w, - l'ensemble de défauts générateurs de e is w valide dans e:g p w(e is w, e), - la contrainte d'applicabilité d'un ensemble de défauts. Ces concepts nous permettent de démontrer les conditions nécessaires et suffisantes d'existence d'extensions. La première contribution de cette thèse est, donc la caractérisation complète des extensions de la théorie de défauts propositionnelle semi-normale sans disjonction. Nous proposons un corollaire de cette proposition. Ensuite, nous présentons l'approche de calcul d'extensions par la satisfaction de contraintes booléennes, fondée sur ce corollaire. Nous proposons la méthode de satisfaction maximale du nombre de contraintes d'ordre prérequis-w, qui est une instance de max-csp. Dans cette thèse, le problème max-csp est transformé en problème d'optimisation. Cette méthode permet d'implémenter entièrement la proposition des conditions nécessaires et suffisantes d'existence d'extensions de la théorie de défauts propositionnelle semi-normale sans disjonction. L'implémentation de cette méthode de calcul d'extensions fait appel au - problème sat, - problème max-csp. Donc, l'implémentation se réalise naturellement en programmation logique avec contraintes. Cette thèse contribue, donc à amener le domaine du raisonnement non-monotone de l'état d'une discipline théorique pur vers un paradigme calculatoire en plein développement. Le problème sat et le max-csp sont actuellement des domaines de recherche et de développement les plus actifs en intelligence artificielle et recherche opérationnelle, d'où cette méthode peut bénéficier les résultats de ces recherches. Ce qui constitue un attrait intéressant de cette méthode de calcul d'extensions. Enfin, nous appliquons cette réalisation aux quelques problèmes en théorie de graphe.