Note du 29 juin 2020
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
Sans connaitre encore le temps que dureront les mesures de distances sociales liées à la pandémie de Covid-19, et quels que soient les changements qui ont dû être opérés dans l’évaluation de la session de juin 2020 par rapport à ce que prévoit la présente fiche descriptive, de nouvelles modalités d’évaluation des unités d’enseignement peuvent encore être adoptées par l’enseignant ; des précisions sur ces modalités ont été -ou seront-communiquées par les enseignant·es aux étudiant·es dans les plus brefs délais.
5 crédits
30.0 h + 15.0 h
Q2
Enseignants
Deville Yves; Schaus Pierre; Schaus Pierre (supplée Deville Yves);
Langue
d'enseignement
d'enseignement
Anglais
Thèmes abordés
- Contraintes et domaine
- Aspects pratiques de solvers de contraintes
- 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
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
1 |
Eu égard au référentiel AA du programme « Master ingénieur civil en informatique », ce cours contribue au développement, à l'acquisition et à l'évaluation des acquis d'apprentissage suivants :
|
La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
Contenu
- La programmation par contraintes: un paradigme de programmation déclarative
- Architecture d’un solveur de programmation par contraintes
- Contraintes globales et techniques d’implémentation (incrémentalité, etc)
- Stratégie et technique de recherche
- Modélisation et résolution de problèmes d’optimisation combinatoires à l’aide de la programmation par contraintes
- Applications à la résolution de classes d'applications (par exemple, planification, ordonnancement, allocation de ressources, économie, robotique)
Méthodes d'enseignement
Cours magistraux et séances de travaux pratiques
Modes d'évaluation
des acquis des étudiants
des acquis des étudiants
- Projets (50% de la note finale)
- Examen écrit (50% de la note finale)
Autres infos
Préalables:
- LINGI2261 : Concepts et méthodes de base en intelligence artificielle
Ressources
en ligne
en ligne
Bibliographie
Le site www.minicp.org + lectures suggérées pendant le semestre
Faculté ou entité
en charge
en charge
INFO
Programmes / formations proposant cette unité d'enseignement (UE)
Intitulé du programme
Sigle
Crédits
Prérequis
Acquis
d'apprentissage
d'apprentissage
Master [120] : ingénieur civil en science des données
Master [120] : ingénieur civil en informatique
Master [120] en sciences informatiques
Master [120] en science des données, orientation technologies de l'information