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