Année universitaire 2019-2020
Objectif
Dans ce cours, nous allons voir comment des outils mathématiques comme les contraintes et les problèmes de Satisfaction de Contraintes (CSP) permettent de représenter, ou de définir, des problèmes nécessitant un raisonnement logique.
L’enseignement est composée de deux grandes parties:
- Partie 1: les CSPs discrets (scéances 1 à 3).
- Partie 2: les CSPs continus (scéances 4 à 6).
- Etat de l'art (scéance 7).
Equipe enseignante
- Julien Alexandre dit Sandretto, Enseignant-chercheur U2IS
Détail des scéances
Séance 1
Les contraintes et les CSPs.
Transparents du cours
Séance 2
Algorithmes de résolution.
Transparents du cours
Matériel TD :
Fichier Python à remplir et
Exemple de grille
Séance 3
Un outil de résolution de CSPs discrets.
Transparents du cours
Séance 4
Les CSPs continus ou numériques.
Transparents du cours
Matériel TD :
Fichier cpp à remplir et
Makefile
(>> export PKG_CONFIG_PATH=/home/uei/chapoutot/Public/share/pkgconfig)
Séance 5
Résolution des CSPs continus.
Transparents du cours
Séance 6
CSPs sous ou sur contraints.
Transparents du cours
Séance 7
Etat de l'art, communauté CP, lecture d'article.
Transparents du cours
Matériel TD :
CP
Outils
-
Pour les TPS de la partie 1, Python et Constraints seront utilisés.
-
Pour la partie 2, les TPs s’appuieront sur la bilbiothèque Ibex.