<- Archives UCL - Programme d'études ->



Constraint programming [ LINGI2365 ]


5.0 crédits ECTS  30.0 h + 15.0 h   2q 

Enseignant(s) Deville Yves ;
Langue
d'enseignement:
Anglais
Lieu de l'activité Louvain-la-Neuve
Ressources
en ligne

 > http://www.icampus.ucl.ac.be/claroline/course/index.php?cid=INGI2365

Préalables

Concepts et méthodes de base en intelligence artificielle (p.e. INGI2261)

Les étudiants n'aynt pas suivi ce cours doivent demander l'autorisation au titulaire avant d'inclure INGI2365 dans leur programme.

Thèmes abordés
  • 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)
Acquis
d'apprentissage

Les étudiants ayant suivi avec fruit ce cours seront capables de

  • 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;
  • 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.

Les étudiants auront développé des compétences méthodologiques et opérationnelles.  En particulier, ils auront développé leur capacité à :

  • maîtriser rapidement un nouveau langage de programmation;
  • utiliser des documents techniques pour approfondir leur connaissance d'un sujet.
Modes d'évaluation
des acquis des étudiants
  • Projets (15% de la note finale)
  • Problems (25% de la note finale)
  • Examen écrit (60% de la note finale)
Méthodes d'enseignement
  • cours magistraux
  • pratique: 4 problèmes et 1 projet plus important réalisés par groupes de 2
Contenu
  • Introduction à la programmation par contraintes
  • COMET: un langage de programmation par contraintes
  • Propagation
  • Recherche
  • Modélisation
  • Conception de contraintes
  • Contraintes globales
  • Programmation par contraintes et programmation en nombres entiers mixtes
  • Planification
  • Domaine continu
Bibliographie

Transparents en ligne

Livres de référence

  • K. Apt. Principles of Constraint Programming. Cambridge University Press, 2003
  • Rina Dechter. Constraint Processing. Morgan Kaufmann, 2004
  • F. Rossi, P. Van Beek, T. Walsh (eds). Handbook of Constraint Programming.  Elsevier 2006.
  • Kim Marriott, Peter J. Stuckey. Programming with Constraints. An Introduction.MIT Press, 1998.
  • P. Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, 1999.
Cycle et année
d'étude
> Master [120] en sciences informatiques
> Master [120] : ingénieur civil en informatique
Faculté ou entité
en charge
> INFO


<<< Page précédente