Branch and Learn pour l'acquisition de CSP

Christian Bessière 1 Remi Coletta 1 Frédéric Koriche 1 Arnaud Lallouet 2 Matthieu Lopez 3
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Résumé : L'utilisation de la programmation par contraintes, notamment la mod élisation des probl èmes, est devenue limitée à des utilisateurs possédant une bonne expérience dans le domaine. Ce papier s'inscrit dans un cadre visant a automatiser la mod élisation. Les techniques existantes ont montr é des r ésultats encourageants mais certaines exigences rendent leur utilisation encore problématique. Nous nous int éressons a la possibilit é pour l'utilisateur de ne pas donner de solutions et de non-solution de son probl ème. En partant d'un CSP sans aucune contrainte, notre méthode consiste a r ésoudre le probl ème de l'utilisateur de mani ère classique en développant un arbre de recherche. Quand notre outil ne peut d décider si l'affectation partielle courante est correcte ou non, nous demandons a l'utilisateur de guider la recherche sous forme de requêtes. Ces requêtes permettent de guider la recherche en r épondant a des requête et de trouver des contraintes a ajouter aux mod èles du CSP et ainsi am éliorer la recherche.
Type de document :
Communication dans un congrès
Simon de Givry. JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. pp.64-73, 2012
Liste complète des métadonnées

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

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00752314
Contributeur : Joël Quinqueton <>
Soumis le : mercredi 5 juin 2013 - 12:04:43
Dernière modification le : mardi 5 juin 2018 - 10:14:41
Document(s) archivé(s) le : vendredi 6 septembre 2013 - 04:08:06

Fichier

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

Identifiants

  • HAL Id : lirmm-00752314, version 1

Citation

Christian Bessière, Remi Coletta, Frédéric Koriche, Arnaud Lallouet, Matthieu Lopez. Branch and Learn pour l'acquisition de CSP. Simon de Givry. JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. pp.64-73, 2012. 〈lirmm-00752314〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

273