Abstract FR:

Le savoir-faire des logiciels de CAO (conception assistée par ordinateur) ainsi que les techniques d'IA (intelligence artificielle) sont souvent associés à la résolution de problèmes dans des domaines nombreux et variés. De nos jours, il est demandé à tout logiciel de CAO de fournir à l'utilisateur une réelle assistance et d'être capable de réaliser des raisonnements. Nous présentons les principales fonctionnalités requises par les systèmes de CAO actuels ainsi que les méthodes de mise en œuvre possibles. La présentation de problèmes contraints dans des domaines variés montre que leur résolution peut se faire par des logiciels de CAO. On évoquera en particulier les problèmes de conception de pièces mécaniques, d'ordonnancement de taches ou encore d'aménagement spatial. Tout d'abord, nous nous intéressons à la gestion des contraintes géométriques et topologiques lors de la conception de pièces mécaniques et plus particulièrement à l'étude de la comparaison de modèles de CAO par normalisation de graphes. Cette comparaison permet lors de la conception, la réutilisation en totalité ou en partie de pièces existantes et issues de bibliothèques. Deux méthodes (l'une algorithmique, l'autre utilisant le formalisme csp) sont présentées et permettent la comparaison de modèles de CAO par normalisation de graphes. Nous nous intéressons ensuite à un type plus particulier de contraintes : les contraintes fonctionnelles. Un problème particulier d'aménagement spatial est considéré : la conception de cuisines intégrées. Les méthodes de modélisation mises en œuvre sont ensuite présentées ainsi que deux méthodes de résolution