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

par Pierre Tayrac

Thèse de doctorat en Intelligence artificielle

Sous la direction de Michel Cayrol.

Soutenue en 1990

à Toulouse 3 .


  • Pas de résumé disponible.


  • Résumé

    Ce mémoire, effectué dans le domaine de l'intelligence artificielle, est particulièrement axé sur le "Raisonnement automatique". Il fait suite à l'apparition d'un système de maintien de la cohérence original, baptisé ATMS: Assumption-based Truth Maintenance System (de Kleer). Dans le premier chapitre, nous montrons l'utilité d'un système de maintien de la cohérence et détaillons les caractéristiques de l'ATMS. Nous étudions ensuite les divers travaux qui ont conduit à une restructuration de ce système et développons ses capacités dans le cadre de l'utilisation de la logique non-monotone. Nous étudions dans ce chapitre suivant des nouvelles stratégies de résolution fondées sur l'utilisation du principe de résolution (Robinson) et dédiées à la production des clauses significatives pour un ATMS. Ces stratégies, baptisées: résolution CAT-correcte dirigée (RCD) et résolution CAT-correcte orientée (RCO), ont été mises au point dans le cadre de la logique propositionnelle. La première focalise sa production sur les clauses "intéressantes" pour un ATMS, la seconde est dédiée à l'inférence des clauses significatives pour un ATMS étendu qui manipule les "littéraux hypothèses" (hypothèses ou négations d'hypothèses). Ces stratégies ont donné naissance à deux systèmes de maintien de la cohérence de type ATMS, présentés dans le troisième chapitre: ARC (pour ATMS fondé sur la résolution CAT-correcte dirigée) et NARC (pour Negated Assumption TMS fondé sur la résolution CAT-correcte orientée). Ils ont la particularité d'une part d'étendre les caractéristiques d'un ATMS (manipulation de tout type de clauses, négations d'hypothèses pour NARC), et d'autre part d'intégrer un concept original qui permet d'améliorer l'efficacité du système en diminuant le travail à fournir (seuls les labels utiles sont calculés). Enfin, nous montrons les capacités des systèmes ARC et NARC dans l'utilisation de la logique non-monotone. ARC et NARC ont été implémentés en Le_Lisp 15. 2 sur Macintosh et Sun.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (293 p.)
  • Annexes : Bibliogr. p. 280-285

Où se trouve cette thèse ?

  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 90 TAY
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1990TOU30104
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.