Generation automatique de programmes par regles et compilation de base de regles : application a un systeme expert de diagnostic de signaux courants de foucault

par JEAN YVES LUCAS

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Louis Laurière.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Le developpement et l'utilisation d'un systeme expert en traitement du signal requierent des outils d'une grande efficacite. Un moyen d'augmenter celle-ci est la compilation de la base de regles, c'est-a-dire sa traduction en langage binaire. La compilation se fait regle a regle, chacune etant traduite sous la forme d'une procedure. L'evaluation de la partie premisse d'une regle avec variables est un probleme combinatoire. Il est donc necessaire de disposer d'un systeme qui genere des programmes qui resolvent des problemes combinatoires. Des methodes de propagation de contraintes (consistance de nuds et consistance d'arcs) sont mises en uvre afin d'ameliorer l'efficacite de l'algorithme de semi-unification


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 44 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.