9811 - Programmation par contraintes

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

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 08/07/2008

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