Thèse soutenue

Connaissances expertes, propagation de contraintes et maintien de coherence pour l'aide a la conception. Application a la conception d'equipements electroniques de satellites : le systeme smack
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Nathalie Pfeffer
Direction : Marie-Odile Cordier
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1992
Etablissement(s) : Paris 11

Mots clés

FR

Mots clés contrôlés

Résumé

FR

L'activite de conception donne naissance a tous les objets qui nous entourent: les voitures, les batiments, les ordinateurs. . . Cette these vise l'automatisation du processus de conception preliminaire d'objets industriels (artefacts). Le modele computationnel de conception par assemblage que nous avons elabore s'execute en trois phases. La premiere analyse l'ensemble des specifications pour y detecter les points delicats et completer les valeurs manquantes. La seconde phase applique un modele de decomposition/combinaison pour construire un artefact de performances proches des specifications. La troisieme phase applique un modele de reconception transformationnelle pour l'ameliorer en vue d'obtenir un artefact repondant aux specifications. Nous proposons dans cette these de combiner trois types de techniques d'intelligence artificielle: (1) un systeme expert pour conseiller des pistes de solution, (2) un systeme de propagation de contraintes pour expliciter leurs consequences afin d'anticiper les conflits et de tirer parti d'interactions entre parties de la solution, et (3) un systeme de maintien de coherence pour resoudre les conflits au sein de la solution dus a l'incoherence et/ou incompletude des connaissances expertes. Ces principes sont mis en uvre dans le systeme smack d'aide a la conception preliminaire d'equipements electroniques de satellites