contraindre-et-générer
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
En programmation par contraintes, procédé consistant à poser les contraintes sur les variables avant toute recherche de solution; ceci permet de réduire considérablement le temps de recherche en évitant de « générer » à priori les solutions qui ne satisfont pas aux contraintes.
Notes :
S'oppose au paradigme « générer-et-tester ».
Appliquer les règles d'inférence de contraintes pour générer toutes les nouvelles contraintes pertinentes ((une)) approche des problèmes de satisfaction de contraintes, tels que l'arithmétique littérale montre comment des combinaisons des stratégies de pure recherche peuvent être exploitées pour résoudre des problèmes plus difficiles.
Terme privilégié :
- contraindre-et-générer loc.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Terme :
- constrain-and-generate