Etude de nouvelles stratégies de résolution : application à l'ATMS

Ce memoire, effectue dans le domaine de l'intelligence artificielle, est particulierement axe sur le "Raisonnement automatique". Il fait suite a l'apparition d'un systeme de maintien de la coherence original, baptise ATMS: Assumption-based Truth Maintenance System (de Kleer). Dans le premier chapitre, nous montrons l'utilite d'un systeme de maintien de la coherence et detaillons les caracteristiques de l'ATMS. Nous etudions ensuite les divers travaux qui ont conduit a une restructuration de ce systeme et developpons ses capacites dans le cadre de l'utilisation de la logique non-monotone. Nous etudions dans ce chapitre suivant des nouvelles strategies de resolution fondees sur l'utilisation du principe de resolution (Robinson) et dediees a la production des clauses significatives pour un ATMS. Ces strategies, baptisees: resolution CAT-correcte dirigee (RCD) et resolution CAT-correcte orientee (RCO), ont ete mises au point dans le cadre de la logique propositionnelle. La premiere focalise sa production sur les clauses "interessantes" pour un ATMS, la seconde est dediee a l'inference des clauses significatives pour un ATMS etendu qui manipule les "litteraux hypotheses" (hypotheses ou negations d'hypotheses). Ces strategies ont donne naissance a deux systemes de maintien de la coherence de type ATMS, presentes dans le troisieme chapitre: ARC (pour ATMS fonde sur la resolution CAT-correcte dirigee) et NARC (pour Negated Assumption TMS fonde sur la resolution CAT-correcte orientee). Ils ont la particularite d'une part d'etendre les caracteristiques d'un ATMS (manipulation de tout type de clauses, negations d'hypotheses pour NARC), et d'autre part d'integrer un concept original qui permet d'ameliorer l'efficacite du systeme en diminuant le travail a fournir (seuls les labels utiles sont calcules). Enfin, nous montrons les capacites des systemes ARC et NARC dans l'utilisation de la logique non-monotone. ARC et NARC ont e��te implementes en Le_Lisp 15. 2 sur Macintosh et Sun.