Méthodologies de représentation des connaissances appliquées à l'automatique

par Anne-Marie Duclos

Thèse de doctorat en Génie des procédés

Sous la direction de Michel Bailly.

Soutenue en 1990

à Vandoeuvre-les-Nancy, INPL , en partenariat avec Laboratoire des sciences du génie chimique (Nancy) (laboratoire) .

Le président du jury était Daniel Tondeur.

Les rapporteurs étaient Daniel Tondeur, Sylviane Gentil.


  • Résumé

    Les travaux présentés dans cette thèse portent sur l'application des techniques d'intelligence artificielle à la représentation des connaissances de l'automatique théorique. Ils décrivent deux méthodologies, la première relativement classique, la seconde entièrement originale, pour représenter les connaissances logiques et méthodologiques nécessaires à la synthèse de lois de commande: 1) la première consiste à réaliser un système à base de règles spécialisé dans la résolution des problèmes de synthèse d'asservissements en couplant un ensemble de bases de règles d'ordre un à une bibliothèque de modules de traitements numériques. La maquette réalisée a permis de mettre en évidence un certain nombre d'inconvénients (déclarativité, évolutivité). 2) la seconde consiste à représenter les connaissances d'automatique de façon entièrement déclarative en base de faits. Elle passe par la définition d'un langage dédié, base sur la notion de schéma de faits, qui contient les termes nécessaires à la description des connaissances du domaine. Les connaissances, structurées dans ce langage, peuvent être utilisées par différentes bases de règles génériques. Deux bases de règles ont ainsi été développées: 1) l'une est chargée de résoudre de façon automatique le problème de la synthèse d'asservissements; 2) l'autre effectue des vérifications de syntaxe et de cohérence sur les faits de la base de faits

  • Titre traduit

    Methodologies of knowledge representation applied to process control theory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 2 vol. (pagination multiple)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 218-221. Résumé

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Disponible pour le PEB
  • Cote : 1990 DUCLOS A.M. 1
  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Disponible pour le PEB
  • Cote : 1990 DUCLOS A.M. 2
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : DUCLOS m
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.