Expressions Itérées en Programmation par Contraintes
Abstract
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)
Loading...