Solveur de Système de Contraintes Par un système éxpert

Abstract

Les problémes de résolution de contraintes géométriques son omniprésents dans les applications de CAO (Conception Assistée par Ordinateur), de robotique ou de biologie moléculaire. IIS consistent å calculer les positions, orientations et dimensions d'objets géométriques soumis å des relations géométriques (contraintes). Notre objectif est la réalisation d'un solveur de systeme de contraintes géométrique basé sur les méthodes déductives, cela nécessite le développement d'un systeme expert et une base de régles géométriques.