Constraint acquisition as semi-automatic modeling
Loading...
Files
Accepted Version
Date
2004
Authors
Coletta, Remi
Bessiere, Christian
O’Sullivan, Barry
Freuder, Eugene C.
O’Connell, Sarah
Quinqueton, Joel
Journal Title
Journal ISSN
Volume Title
Publisher
Springer Nature Ltd.
Published Version
Abstract
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. This paper provides a theoretical framework for a research agenda in the area of interactive constraint acquisition, automated modelling and automated constraint programming.
Description
Keywords
Version space , Constraint programming , Projection property , Specific boundary , Target concept
Citation
Coletta, R., Bessiere, C., O’Sullivan, B., Freuder, E. C., O’Connell, S. and Quinqueton, J. (2004) 'Constraint acquisition as semi-automatic modeling', in Coenen, F., Preece, A. and Macintosh, A. (eds) Research and Development in Intelligent Systems XX, Proceedings of AI-2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 111–124. Springer: London. doi: 10.1007/978-0-85729-412-8_9
Link to publisher’s version
Collections
Copyright
© 2004, Springer-Verlag London. This is a post-peer-review, pre-copyedit version of a paper published as: Coletta, R., Bessiere, C., O’Sullivan, B., Freuder, E. C., O’Connell, S. and Quinqueton, J. (2004) 'Constraint acquisition as semi-automatic modeling', in Coenen, F., Preece, A. and Macintosh, A. (eds) Research and Development in Intelligent Systems XX, Proceedings of AI-2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, pp. 111–124. Springer: London. doi: 10.1007/978-0-85729-412-8_9. The final authenticated version is available online at: https://doi.org/10.1007/978-0-85729-412-8_9