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 metadatas

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 : Friday, October 23, 2020 - 4:39:05 PM
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. JFPC'2012 : 8ièmes Journées Francophones de Programmation par Contraintes, May 2012, Toulouse, France. pp.64-73. ⟨lirmm-00752314⟩

Share

Metrics

Record views

495

Files downloads

415