Optimisation d'algorithmes d'inference monotone en logique des propositions et du premier ordre

par GONZALO ESCALADA-IMAZ

Thèse de doctorat en Sciences appliquées

Sous la direction de Malik Ghallab.

Soutenue en 1989

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    Le formalisme de representation de la connaissance considere est decompose en plusieurs sous-formalismes allant du cas horn propositionnel au cas plus general de la forme clausale du premier ordre. Sont presentes: 1) des moteurs d'inference pour une classe des systemes de regles exprimes en logique propositionnelle; 2) une methode de demonstration de theoremes en logique propositionnelle; 3) un algorithme d'unification des termes de premier ordre; 4) un schema de controle de l'inference en logique des predicats du premier ordre


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 181 P.
  • Annexes : 5 P

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-ESC
  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1989TOU30136
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.