Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00752314
Contributor : Joël Quinqueton <>
Submitted on : Wednesday, June 5, 2013 - 12:04:43 PM
Last modification on : Monday, February 15, 2021 - 10:31:40 AM
Long-term archiving on: : Friday, September 6, 2013 - 4:08:06 AM

File

paper_45.pdf
Files produced by the author(s)

Identifiers

  • 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. 8èmes Journées Francophones de Programmation par Contraintes (JFPC 2012), May 2012, Toulouse, France. pp.64-73. ⟨lirmm-00752314⟩

Share

Metrics

Record views

501

Files downloads

419