Algorithmes pour la compilation de bases de connaissances en logique propositionnelle et du premier ordre : les systemes kheops et clops

par Hervé Philippe

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é

    L'environnement kheops est developpe sur la base de la logique des propositions etendue. La compilation d'une base de regles aboutit a la construction d'un reseau de decision dont l'interpretation est d'un niveau de complexite bien inferieur a celui associe a la procedure d'interpretation de la base de regles. L'algorithme de compilation integre aussi une procedure de verification simultanee de la coherence de la base de regles. L'environnement clops est developpe sur la base d'un formalisme du premier ordre. L'operation que la compilation de la base de regles a pour objet d'optimiser, est la determination de l'ensemble de conflit


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 8 P

Où se trouve cette thèse ?

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