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.
Domaines
Langage de programmation [cs.PL]
Origine : Fichiers produits par l'(les) auteur(s)