Abstract FR:

Une étude des systèmes informatiques d'aide à la conception met en lumière la nécessité d'une mise en oeuvre variée de connaissances hétérogènes. Dans ce contexte, l'utilisation de techniques de programmation déclarative se révèle particulièrement bien adaptée. Dans le cadre de la conception d'ensembles mécaniques, il est primordial de modéliser les contacts et les connaissances géométriques afin de pouvoir automatiser les raisonnements géométriques. De tels raisonnements permettent de calculer et de modifier les dimensions et les positions relatives des pièces constituant un mécanisme et peuvent être exploitées pour assister la cotation de ce mécanisme.