Evolution + Adaptation = Résolution
Résumé
Nous présentons dans cet article les bases d'un nouveau modèle de calcul permettant de combiner des méthodes complètes et incomplètes pour la résolution de problèmes de satisfaction de contraintes. Ce schéma algorithmique utilise des techniques de propagation de contraintes dans un contexte évolutionniste intégrant également des heuristiques de recherche locale. L'uniformité des structures utilisées autorise une interaction plus homogène entre les différentes méthodes mises en oeuvre et permet également de bénéficier au mieux de leurs atouts respectifs. La grande flexibilité de ce modèle offre également la possibilité d'en envisager diverses extensions. Nous mettons en avant l'intérêt de notre approche sur quelques exemples par le biais d'une implémentation.
Origine : Fichiers produits par l'(les) auteur(s)