UNIT

Sommaire

cours / présentation, exercice

Programmation par contraintes

La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.
Lors de l...

Date de création :

01.09.2003

Auteur(s) :

Christine Solnon

Accéder à la ressource :

Présentation

Informations pratiques

Langue du document : Français
Type : cours / présentation, exercice
Temps d'apprentissage : 7 heures
Niveau : licence
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18 et +
Droits d'auteur : pas libre de droits, gratuit
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)

Description de la ressource

Résumé

La première session de ce cours introduira les notions de contraintes, de problèmes de satisfaction de contraintes (CSPs) et de solution d'un CSP.
Lors de la deuxième session, vous vous entraînerez, à travers plusieurs exercices, à modéliser un problème sous la forme d'un CSP.
Lors de la troisième session de ce cours, on présentera l'algorithme de base utilisé pour résoudre les CSPs sur les domaines finis, algorithme basé sur l'énumération des combinaisons. On étudiera un certain nombre d'heuristiques et techniques de filtrage permettant d'améliorer cet algorithme.
Lors de la quatrième session, on programmera ces différents algorithmes en Prolog, et on les utilisera pour résoudre différents CSPs modélisés lors des deux premières sessions de cours.
La cinquième session de ce cours sera dédiée à la présentation d'un langage de programmation par contraintes, à savoir Gnu-Prolog.
Enfin, les deux dernières sessions seront des sessions de travaux pratiques, où vous utiliserez les solveurs de contraintes intégrés à Gnu-Prolog pour résoudre les différents exercices vus lors des sessions précédentes.

  • Granularité : cours
  • Structure : collection

"Domaine(s)" et indice(s) Dewey

  • (005.11)

Domaine(s)

  • Informatique
  • Programmation : Algorithmique, langages, conception objet, programmes
  • Informatique

Informations pédagogiques

  • Proposition d'utilisation : Ce cours est destiné aux étudiants de la e-miage, une formation informatique "à distance".

Informations techniques

  • Configuration conseillée : Gnu-Prolog est utilisé pour les exercices des deux dernières leçons.

Intervenants, édition et diffusion

Intervenants

Créateur(s) de la métadonnée : Isabelle Gilles-Gallet
Validateur(s) de la métadonnée : Isabelle Gilles-Gallet

Édition

  • UCL 1 - Université Claude Bernard

Diffusion

Cette ressource vous est proposée par :UNIT - accédez au site internetUNIT - accédez au site internet

Fiche technique

Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-1709
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-1709
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNIT

Publication : 09.01.2003

programmation déclarative
Prolog
solveur de contrainte
relation logique
algorithme
filtrage
fuscia

Voir aussi

UNIT
UNIT
20.02.2004
La programmation par contraintes
Description : Grâce à elle, le programme informatique résolvant un problème peut s’écrire de manière très simple. Il s’agit simplement d’écrire les différentes contraintes que l’on souhaite voir respectées…
  • programmation logique
  • algorithme
  • solveur
  • langage haut niveau
  • recherche opérationnelle
  • propagation de contrainte
  • optimisation
  • fuscia
UNIT
UNIT
12.08.2014
L’algorithme Edge Rank ou le filtrage selon Facebook
Description : Si vous êtes adepte de Facebook, vous aurez remarqué que toutes les activités concernant vos amis n’apparaissent pas dans votre fil d’actualité.
  • algorithme
  • EdgeRank
  • filtrage
  • réseau social
  • fuscia