Modélisation Semi-Automatique par Acquisition de Contraintes
Résumé
La programmation par contraintes est une technologie désormais largement
utilisée pour résoudre des problèmes combinatoires dans les applications
industrielles. Pourtant, l’utiliser requiert une certaine connaissance du paradigme
des contraintes. Cet article introduit un cadre pour apprendre automatiquement
des réseaux de contraintes à partir d’ensembles d’instances qui sont des solutions
acceptables ou des assignations non désirables du problème que nous souhaiterions
exprimer. Ce qui peut aider un novice à manipuler ses contraintes. En
restreignant le langage des contraintes utilisées pour construire le réseau, cela
peut aussi assister un expert dans la recherche d’une modélisation efficace d’un
problème donné.
Domaines
Autre [cs.OH]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...