Backtracking intelligent en programmation logique : un cadre general

par CHRISTIAN CODOGNET

Thèse de doctorat en Sciences appliquées

Sous la direction de Guy Cousineau.

Soutenue en 1989

à Paris 7 .

    mots clés mots clés


  • Résumé

    Ce travail propose un cadre formel general pour l'etude de backtracking intelligent en programmation logique. On expose d'abord un algorithme d'unification etendue permettant de connaitre l'historique des liaisons en associant un graphe a un systeme d'equations. L'unifiabilite de celui-ci se caracterise par des proprietes simples de ce graphe. En particulier, on peut determiner les causes de non-unifiabilite. L'exploitation de cette information est a la base du schema de backtracking intelligent presente ensuite. Celui-ci procede de trois alternatives: ordre partiel ou total sur les nuds de l'arbre de preuve, analyse plus ou moins fine des causes de non-unifiabilite, generation parallele ou sequentielle des points de backtracking. On etablit la completude des calculs intelligents que ce schema definit par rapport aux calculs exhaustifs comparables. On retrouve comme instances particulieres du schema les differentes methodes existantes. On s'interesse alors a l'instance la plus proche de prolog, c'est-a-dire celle qui utilise un ordre total (lexicographique), une analyse sommaire de non-unifiabilite et une generation sequentielle des points de backtracking, la conjonction de ces choix engendrant des simplifications importantes. Finalement, cette methode est encore simplifiee en vue d'une implementation, aux depens de l'intelligence du backtracking cette fois-ci


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 45 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-COD
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.