Résolution de contraintes géométriques : des systèmes experts aux méthodes numériques

Résumé : La résolution de contraintes géométriques s'inscrit dans le contexte plus général de la satisfaction de contraintes (CSP), dans un domaine connu depuis l'antiquité et dont la spécificité a conduit à la mise en oeuvre de méthodes particulières. Le but de l'exposé dont je donne ici le résumé consiste à mettre en évidence les particularités des approches classiques et, dans un deuxième temps, à montrer qu'on peut marier des approches reposant sur des systèmes à base de connaissances avec des méthodes numériques traditionnelles.