Loading...
Please wait, while we are loading the content...
Similar Documents
Automated modelling and solving in constraint programming (2010).
| Content Provider | CiteSeerX |
|---|---|
| Author | O.'Sullivan, Barry |
| Description | This content is published in Twenty-Fourth AAAI Conference On Artificial Intelligence (AAAI-10) |
| Abstract | Constraint programming can be divided very crudely into modeling and solving. Modeling defines the problem, in terms of variables that can take on different values, subject to restrictions (constraints) on which combinations of variables are allowed. Solving finds values for all the variables that simultaneously satisfy all the constraints. However, the impact of constraint programming has been constrained by a lack of “user-friendliness”. Constraint programming has a major “declarative ” aspect, in that a problem model can be handed off for solution to a variety of standard solving methods. These methods are embedded in algorithms, libraries, or specialized constraint programming languages. To fully exploit this declarative opportunity however, we must provide more assistance and automation in the modeling process, as well as in the design of application-specific problem solvers. Automated modelling and solving in constraint programming presents a major challenge for the artificial intelligence community. Artificial intelligence, and in particular machine learning, is a natural field in which to explore opportunities for moving more of the burden of constraint programming from the user to the machine. This paper presents technical challenges in the areas of constraint model acquisition, formulation and reformulation, synthesis of filtering algorithms for global constraints, and automated solving. We also present the metrics by which success and progress can be measured. |
| File Format | |
| Publisher Date | 2010-01-01 |
| Access Restriction | Open |
| Subject Keyword | Constraint Programming Major Challenge Particular Machine Learning Application-specific Problem Solver Artificial Intelligence Community Declarative Opportunity Different Value Constraint Model Acquisition Find Value Major Declarative Aspect Modeling Process Problem Model Constraint Programming Language Natural Field Global Constraint Technical Challenge Artificial Intelligence |
| Content Type | Text |
| Resource Type | Article |
