UCL - Etudes

Formations
Premier cycle
Deuxième cycle
Troisième cycle
Certificats (programmes non académiques)
Passerelles
Formation continue
Facultés et entités
Cadre académique
Réforme de Bologne
Accès aux études
Organisation des études
Lexique
Calendrier académique
Règlement des études et examens
Charte pédagogique
Renseignements généraux

Programmation par contraintes [INGI2365]
[30h+15h exercices] 4 crédits

English version

Version imprimable

Cette activité se déroule pendant le 2ème semestre

Enseignant(s):

Yves Deville (coord.), Peter Van Roy

Langue d'enseignement :

français

Niveau :

cours de 2ème cycle

>> Objectifs (en terme de compétences)
>> Objet de l'activité (principaux thèmes à aborder)
>> Autres informations (Pré-requis, Evaluation, Support, ...)
>> Autres crédits de l'activité dans les programmes

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

FSA3DS/IN

Diplôme d'études spécialisées en sciences appliquées (informatique)

(4 crédits)

INFO22

Deuxième année du programme conduisant au grade d'ingénieur civil informaticien

(4 crédits)

INFO23

Troisième année du programme conduisant au grade d'ingénieur civil informaticien

(4 crédits)



Ce site a été conçu en collaboration avec ADCP, ADEF, CIO et SGSI
Responsable : Jean-Louis Marchand - Contact : secretaire@fsa.ucl.ac.be
Dernière mise à jour : 25/05/2005