Résolution de contraintes géométriques : des systèmes experts aux méthodes numériques
Abstract
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)