CSP dynamiques en configuration

Résumé : Les CSP constituent une bonne approche pour gérer les problèmes de configuration à base de contraintes. Cependant, la configuration fait ressortir des besoins qui peuvent difficilement être traités par des CSP classiques : les composants optionnels et la gestion hiérarchique des composants. Certains travaux apportent des solutions à certains de ces besoins (DCSP pour l'activation de variables, CCSP pour la gestion des groupes), mais utilisent généralement des approches incompatibles entre elles. À travers une étude de la sémantique du dynamisme dans les CSP, nous proposons une tentative d'unification de ces approches, dans le but d'obtenir un modèle basé sur des CSP. Ce modèle permet de traiter les problèmes de configuration autonome mais surtout interactive, en utilisant les avantages de chacune de ces différentes approches. De plus, nous proposons un nouvel opérateur permettant de retarder la prise en compte de parties du problème initial, ceci afin d'allèger les phases de propagation.
Type de document :
Communication dans un congrès
Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. 2006
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00085799
Contributeur : Laurent Henocque <>
Soumis le : vendredi 14 juillet 2006 - 13:27:48
Dernière modification le : vendredi 10 novembre 2017 - 11:10:02
Document(s) archivé(s) le : mardi 6 avril 2010 - 00:09:28

Fichier

Identifiants

  • HAL Id : inria-00085799, version 1

Collections

Citation

Thomas Van Houdenove, Paul Gaborit, Michel Aldanondo, Elise Vareilles. CSP dynamiques en configuration. Deuxièmes Journées Francophones de Programmation par Contraintes (JFPC06), 2006, Nîmes - Ecole des Mines d'Alès / France, France. 2006. 〈inria-00085799〉

Partager

Métriques

Consultations de la notice

152

Téléchargements de fichiers

142