Intelligence Artificielle : Logique et Contraintes
Bilan de la session 1 :
L'objectif de cette session a été de présenter le cadre général des problèmes de
satisfaction de contraintes. Nous avons vu comment formaliser de tels problèmes, et
étudié les principes de base des méthodes et algorithmes que l'on retrouve au coeur de la
plupart des systèmes de résolution de contraintes.
Ces méthodes utilisent à la fois :
- des méthodes dites de filtrage, permettant d'établir des propriétés des cohérence locales
plus ou moins fortes (ou, pour des raisons d'efficacité, des approximations de ces notions).
Ces méthodes ont pour objectif de réduire un CSP initial en un nouveau CSP plus simple,
ayant les mêmes solutions que le CSP initial.
- des algorithmes de recherche systématique, qui garantissent l'exploration de tout
l'espace de recherche, et donc la production des solutions.
Il vous appartient de bien apprendre le cours et de vous assurer que vous avez bien compris
toutes les notions qui ont été présentées. Vous pouvez utiliser les 2 quizz qui vous ont
été transmis pour vous auto-évaluer. Vous devez être capable de traiter des exercices similaires
à ceux qui ont été abordés en TD de façon efficace. Pour cela, n'hésitez pas à réappliquer
les différentes exercices sur les différents problèmes ou des variantes que vous pouvez
créer à votre guise.
Session 2 :
Nous avons vu comment ces deux notions peuvent être intégrées dans le cadre d'algorithmes
hybrides paramétrables et dont nous avons présenté différentes variantes.
Dans la suite du cours, nous allons également aborder des aspects plus pratiques
de la résolution de problèmes à l'aide de solveurs de contraintes.
Afin de pouvoir les effectuer dans de bonnes conditions il vous est demandé :
-
de choisir une personne de votre promotion afin de former un binôme
-
de bien vous assurer que votre compte informatique est bien ouvert sur les machines
du département et que vous pouvez vous connecter sous environnement linux
sur les machines du département. (sinon, contactez gilles.soufflet@u-psud.fr)
TD 6 (sur machine)
Archive à télécharger
Rappel : vous pouvez décompresser une archive au format .tgz
l'aide la ligne de commande :
tar xzf nom_de_l'archive
TD 10 (sur machine)
Contraintes Globales (1)
Archive à télécharger et contenant le dossier
correspondant au problème de la feuille de TD 10.
TD 11 (sur machine)
TP Noté
Archive à télécharger et contenant le dossier
correspondant au problème de la feuille de TD 11.
TD 12 (sur machine)
Contraintes Globales (2)
Archive à télécharger et contenant le dossier
correspondant au problème de la feuille de TD 12.
Rédacteur de cette page (pour toute remarque) :
Philippe Chatalic.