|
La programmation par contraintes
La programmation par contraintes combine les innovations de
plusieurs domaines : recherche opérationnelle,
intelligence artificielle, mathématiques discrètes,
théorie des graphes.
Un problème type de programmation par contraintes est
défini par un ensemble de variables, chacune d'elles
étant décrite par un ensemble de valeurs possibles,
appelé domaine. Un ensemble de contraintes vient alors
restreindre les valeurs possibles de ces variables. Elles
peuvent être de différents types : arithmétiques,
linéaires, logiques, mais également sémantiques
(i.e. associées à une sémantique précise
utilisée pour déduire un ensemble d'informations
importantes sur les valeurs possibles des variables).
Le système de programmation par contraintes déduit
(propage) automatiquement les valeurs possibles ou impossibles
pour chacune des variables à partir des expressions
des contraintes. Un arbre de recherche complète ce
mécanisme de propagation afin de trouver les solutions
admissibles recherchées ou l'optimum requis.
En savoir plus sur la programmation
par contraintes (anglais)
Pour toute information, vous pouvez nous
contacter :
•
par téléphone : +33 1 44 77 89 00 ;
•
par courrier électronique : info-kalis@artelys.com
|
