Branch and Learn pour l'acquisition de CSP - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2012

Branch and Learn pour l'acquisition de CSP

Remi Coletta
  • Function : Author
  • PersonId : 932759
Frédéric Koriche
Arnaud Lallouet
  • Function : Author
  • PersonId : 941422

Abstract

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.
Fichier principal
Vignette du fichier
paper_45.pdf (182.04 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-00752314 , version 1 (05-06-2013)

Identifiers

  • HAL Id : lirmm-00752314 , version 1

Cite

Christian Bessiere, Remi Coletta, Frédéric Koriche, Arnaud Lallouet, Matthieu Lopez. Branch and Learn pour l'acquisition de CSP. 8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France. pp.64-73. ⟨lirmm-00752314⟩
363 View
229 Download

Share

More