Abstract 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