Agence universitaire de la Francophonie

Infothèque francophone
RESSOURCES EN LIGNE ET ACTUALITÉS
SCIENTIFIQUES FRANCOPHONES


9811 - Programmation par contraintes

Ressource pédagogique

Description bibliographique

Auteur :
Solnon, Christine (UCBL. Université Claude Bernard de Lyon, Lyon 1. France)
Page source :
Page personnelle de Christine Solnon, http://bat710.univ-lyon1.fr/~csolnon/
Langue :
français
Date de publication :
2003

Description du contenu

Spécialité :
Electronique, informatique et télécommunications - Théories, méthodes - Informatique théorique
Electronique, informatique et télécommunications - Logiciels - Langages et programmation
Mots clés :
programmation par contraintes ; Prolog
Table des matières :
1. Contraintes et problèmes de satisfaction de contrainte
2. Modélisation de CSPs
3. Résolution de CSPs
4. Réalisation de solveurs de contraintes en Prolog
5. Programmation par contraintes avec Gnu-Prolog
6. Travaux pratiques
Résumé :
Ce cours, conçu à l'origine pour les étudiants de la "e-miage" (Méthodes informatiques appliquées à la gestion des entreprises) de l'Université de Picardie, présente les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs), et de solution d'un CSP qui sont particulièrement utiles dans le domaine de l'intelligence artificielle. Il présente les algorithmes de base qui servent à résoudre les CSPs sur les domaines finis, basés sur l'énumération des combinaisons. Un certain nombre d'heuristiques et techniques de filtrage permettant d'améliorer cet algorithme sont étudiés. Le langage Prolog est étudié afin de programmer les différents algorithmes présentés et résoudre les différents CSPs modélisés du cours. Enfin, le langage de programmation par contraintes Gnu-Prolog est présenté. Des exercices utilisant le langage Gnu-Prolog, avec corrigés, complètent l'ensemble du cours.

Informations pédagogiques

Niveau d'études :
2e cycle
Objectifs pédagogiques :
Comprendre la programmation par contraintes et savoir utiliser le langage Prolog pour modéliser.

Accès à la ressource

gratuit
Format :
HTML
URL de référence :
http://bat710.univ-lyon1.fr/~csolnon/Site-PPC/e-miage-ppc-som.htm

Ressource copiée dans le cache de l'Infothèque le 02/02/2011

URL de référence :
/cache/9811/bat710.univ-lyon1.fr/~csolnon/Site-PPC/e-miage-ppc-som.htm

Notice mise en ligne le 06/07/2008