Skip to Main content Skip to Navigation
Conference papers

Leveraging the Learning Power of Examples in Automated Constraint Acquisition

Christian Bessière 1 Remi Coletta Eugene C. Freuder O'Sullivan Barry 2
1 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology need significant expertise in order to model their problem appropriately. The lack of availability of such expertise can be a significant bottleneck to the broader uptake of constraint technology in the real world. In this paper we are concerned with automating the formulation of constraint satisfaction problems from examples of solutions and non-solutions. We combine techniques from the fields of machine learning and constraint programming. In particular we present a portfolio of approaches to exploiting the semantics of the constraints that we acquire to improve the efficiency of the acquisition process. We demonstrate how inference and search can be used to extract useful information that would otherwise be hidden in the set of examples from which we learn the target constraint satisfaction problem. We demonstrate the utility of the approaches in a case-study domain.
Keywords : Constraints
Document type :
Conference papers
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00108774
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 23, 2006 - 12:55:49 PM
Last modification on : Friday, October 23, 2020 - 4:49:39 PM
Long-term archiving on: : Tuesday, April 6, 2010 - 8:33:19 PM

File

Identifiers

Collections

Citation

Christian Bessière, Remi Coletta, Eugene C. Freuder, O'Sullivan Barry. Leveraging the Learning Power of Examples in Automated Constraint Acquisition. CP: Principles and Practice of Constraint Programming, Sep 2004, Toronto, Canada. pp.123-137, ⟨10.1007/978-3-540-30201-8_12⟩. ⟨lirmm-00108774⟩

Share

Metrics

Record views

209

Files downloads

476