Constraint acquisition as semi-automatic modeling
dc.contributor.author | Coletta, Remi | en |
dc.contributor.author | Bessiere, Christian | en |
dc.contributor.author | O’Sullivan, Barry | en |
dc.contributor.author | Freuder, Eugene C. | en |
dc.contributor.author | O’Connell, Sarah | en |
dc.contributor.author | Quinqueton, Joel | en |
dc.contributor.editor | Coenen, Frans | |
dc.contributor.editor | Preece, Alun | |
dc.contributor.editor | Macintosh, Ann | |
dc.contributor.funder | Science Foundation Ireland | en |
dc.contributor.funder | Royal Irish Academy | en |
dc.contributor.funder | Enterprise Ireland | en |
dc.contributor.funder | Conseil National de la Recherche Scientifique | en |
dc.date.accessioned | 2023-07-04T15:29:13Z | |
dc.date.available | 2023-07-04T15:29:13Z | |
dc.date.issued | 2004 | en |
dc.description.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. | en |
dc.description.sponsorship | Enterprise Ireland, the Royal Irish Academy and Conseil National de la Recherche Scientifique (Grant Number FR/2003/022) | en |
dc.description.status | Peer reviewed | en |
dc.description.version | Accepted Version | en |
dc.format.mimetype | application/pdf | en |
dc.identifier.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 | en |
dc.identifier.doi | 10.1007/978-0-85729-412-8_9 | en |
dc.identifier.endpage | 124 | en |
dc.identifier.isbn | 9781852337803 | en |
dc.identifier.isbn | 9780857294128 | en |
dc.identifier.startpage | 111 | en |
dc.identifier.uri | https://hdl.handle.net/10468/14697 | |
dc.language.iso | en | en |
dc.publisher | Springer Nature Ltd. | en |
dc.relation.ispartof | Research and Development in Intelligent Systems XX | en |
dc.relation.ispartof | AI-2003, the Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence | en |
dc.relation.project | info:eu-repo/grantAgreement/SFI/SFI Principal Investigator Programme (PI)/00/PI.1/C075/IE/Constraint Computation: Automation and Application/ | en |
dc.rights | © 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 | en |
dc.subject | Version space | en |
dc.subject | Constraint programming | en |
dc.subject | Projection property | en |
dc.subject | Specific boundary | en |
dc.subject | Target concept | en |
dc.title | Constraint acquisition as semi-automatic modeling | en |
dc.type | Conference item | en |