CSP dynamiques en configuration - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

CSP dynamiques en configuration

Paul Gaborit
Michel Aldanondo
Élise Vareilles

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.
Fichier principal
Vignette du fichier
31.pdf (177.03 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00085799 , version 1 (14-07-2006)

Identifiants

  • HAL Id : inria-00085799 , version 1

Citer

Thomas van Houdenove, Paul Gaborit, Michel Aldanondo, Élise 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. ⟨inria-00085799⟩
152 Consultations
174 Téléchargements

Partager

More