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.

mots clés

• Commande automatique

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.