Titre: Intelligence Artificielle Contraintes
Auteurs: Bruno Bouzy
Ecole: Université Paris Descartes
Résumé: Problèmes de satisfaction de contraintes (CSP)
Problèmes de recherche classiques » :
Un état est une boite noire »
N’importe quelle structure de données qui contient un test pour le but, une fonction d’évaluation, une fonction successeur CSP :
Un état est défini par un ensemble de variables Xi, dont les valeurs appartiennent au domaine Di
Le test pour le but est un ensemble de contraintes qui spécifiant les combinaisons autorisées pour les valeurs sur des sous-ensembles de variables
Exemple simple d’un langage formel de représentation
Permet d’utiliser des algorithmes généraux plus efficaces que les algorithmes de recherche standards
Extrait du sommaire:
Problèmes de satisfaction de contraintes
Exemples de CSP
Recherche en arrière pour les CSPs (backtracking search)
Structure des problèmes
CSP et recherche locale
Télécharger le fichier PDF: Intelligence Artificielle Contraintes