Programmation par contraintes
[INGI2365]
[30h + 15h] 5 crédits
Cette activité se déroule pendant le 2e quadrimestre.
Enseignants : Yves Deville(coord.), Peter Van Roy
Langue d'enseignement : Français
Niveau : Second cycle
Objectifs (en termes de compétences)
- résoudre une application simple mettant en oeuvre les techniques étudiés;
- comprendre et expliquer les fondements des modèles et des langages de programmation par contraintes;
- identifier des classes d'applications où la programmation par contraintes peut être utilisée à bon escient;
- modéliser un problème simple sous forme de contraintes et exprimer ce modèle dans un langage de programmation par contraintes y compris l'expression de stratégies de recherche.
Objet de l'activité (principaux thèmes à aborder)
- Problèmes de satisfaction de contraintes (CSP)
- Modèles et langages de programmation par contraintes
- Méthodes et techniques de résolution de contraintes (consistance, relaxation, optimisation, recherche, intervalles, programmation linéaire, contraintes globales, ...)
- Stratégie et technique de recherche
- Modélisation et résolution de problèmes (domaines finis et domaines continus)
- Applications à la résolution de classes d'applications (par exemple, planification, ordonnancement, allocation de ressources, économie, robotique)
Résumé : Contenu et Méthodes
Autres informations (Pré-requis, Evaluation, Support, ...)
INGI2261: Intelligence artificielle: Représentation et raisonnemnts
- Références:
(1) K. Marriot, P. Stuckey, "Programming with Constraint: An introduction", MIT Press, 1998
(2) P. Van Hentenryck, "The OPL Optimization Programming Language", MIT Press, 1999
(3) P. Van Hentenryck, L. Michel, Y. Deville, "Numerica: A modeling Language for Global Optimization", MIT Press, 1999
(4) F. Fages, "Programmation par contraintes", Ellipse, 1996
(5) E. Tsang, "Foundation of Constraint Satisfaction", Academic Press, 1993