Expressions Itérées en Programmation par Contraintes
Résumé
Pour exprimer certains problèmes avancés d'optimisation et de décision, il est u tile d'imposer des contraintes sur des expressions complexes mettant en oeuvre des opérations imbriquées comme $\sum_i$, $\min_i$, etc. Par exemple, nous avons typiquement besoin de ce type d'expressions pour écrire l'espérance d'une fonction dont les paramètres incluent des variables aléatoires. Nous montrons que les expressions itérées représentent une construction claire et naturelle permettant d'exprimer une large palette de problèmes qui sont hors de portée des résolveurs CP classiques, notamment des problèmes de programmation par contraintes stochastique. Nous présentons des résultats préliminaires qui montrent comment ces constructions peuvent s'intégrer dans un résolveur CP.
Domaines
Langage de programmation [cs.PL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...