Semi-Automatic Modeling by Constraint Acquisition

Remi Coletta (1) , Christian Bessiere (1) , Barry O'Sullivan (2) , Eugene C. Freuder (2) , Sarah O'Connell (2) , Joël Quinqueton (1)

1 COCONUT - Agents, Apprentissage, Contraintes
2 4C UCC - Cork Constraint Computation Centre

Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and expertise in the field of constraint reasoning. This paper introduces a framework for automatically learning constraint networks from sets of instances that are either acceptable solutions or non-desirable assignments of the problem we would like to express. Such an approach has the potential to be of assistance to a novice who is trying to articulate her constraints. By restricting the language of constraints used to build the network, this could also assist an expert to develop an efficient model of a given problem.

Domaines: Informatique [cs]

Remi Coletta, Christian Bessiere, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, et al.. Semi-Automatic Modeling by Constraint Acquisition. CP: Principles and Practice of Constraint Programming, Sep 2003, Kinsale, Ireland. pp.812-816, ⟨10.1007/978-3-540-45193-8_58⟩. ⟨lirmm-00269537⟩