Maintenance de valeurs alternatives dans les CSP dynamiques : principes et exp erimentations en con figuration de produit

Caroline Becker 1 Hélène Fargier 1
1 ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
IRIT - Institut de recherche en informatique de Toulouse
Résumé : En configuration à base de contraintes, le catalogue est représenté par un CSP dont les solutions sont les différents produits configurés réalisables. Lors d'une session de configuration en ligne, le client cherche à définir le produit qui lui convient le mieux par affectation ou relaxation des différentes variables qui composent le produit configurable. À chaque étape d'interaction sont présentées, pour les variables non affectées, les valeurs de leurs domaines respectifs cohérentes avec les choix d'affectation déjà effectués sur les autres variables. La cohérence globale étant difficile à obtenir, ce filtrage est généralement établi par la maintenance d'un niveau de cohérence locale donné. Dans ce travail, nous cherchons à rendre cette interaction plus conviviale en présentant aussi, pour les variables déjà affectées, les possibilités de changement de valeur d'affection, ou {\em valeurs alternatives} qui seraient cohérentes avec les autres choix effectués. Nous présentons donc ici une nouveau concept, celui de domaine alternatif d'une variable, et proposons une méthode pour calculer en une passe les domaines alternatifs de toutes les variables déjà affectées. De complexité au pire cas identique à la méthode naïve qui consisterait à simplement relaxer les choix portant sur la variable dont on veut calculer le domaine alternatif, cette méthode s'avère bien plus efficace expérimentalement.
Type de document :
Communication dans un congrès
Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00817956
Contributeur : Caroline Becker <>
Soumis le : jeudi 25 avril 2013 - 16:57:09
Dernière modification le : jeudi 11 janvier 2018 - 06:26:54
Document(s) archivé(s) le : vendredi 26 juillet 2013 - 04:04:35

Fichier

jfpc2012def2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00817956, version 1

Collections

Citation

Caroline Becker, Hélène Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques : principes et exp erimentations en con figuration de produit. Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. 2012. 〈hal-00817956〉

Partager

Métriques

Consultations de la notice

186

Téléchargements de fichiers

60