Semantique operationnelle et langage de specification de moteurs d'inferences de systemes experts

par Jean Sylvestre

Thèse de doctorat en Sciences appliquées

Sous la direction de Patrice Enjalbert.

Soutenue en 1987

à Paris 7 .

    mots clés mots clés


  • Résumé

    Le travail a ete realise selon une demarche visant a considerer un moteur d'inference sous la forme d'une machine abstraite de haut reseau. La definition precise du langage de specification de moteurs d'inference a permis l'implementation d'une premiere version. Elle est deja utilisee pour l'etude comparative de diverses strategies sur des cas d'ecole


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 91 P.
  • Annexes : 64 REF

Où se trouve cette thèse ?

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