Objectifs (en terme de compétences)

- appréhender un ensemble de techniques informatiques permettant de résoudre un problème de satisfaction de contraintes;

- 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)

- Contraintes et domaine
- 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)

Autres informations (Pré-requis, Evaluation, Support, ...)

- Prérequis:
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

Autres crédits de l'activité dans les programmes