Abstract
Many real-life problems can be represented as constraint satisfaction problems (CSPs) and then be solved using constraint solvers, in which labelling heuristics are used to fine-tune the performance of the underlying search algorithm. However, few guidelines have been proposed for the application domains of these heuristics. If a mapping between application domains and heuristics is known to the solver, then modellers can — if they wish so — be relieved from figuring out which heuristic to indicate or implement. Instead of inferring the application domains of (known) heuristics, we advocate inferring (known or new) heuristics for application domains. Our approach is to first formalise a CSP application domain as a family of models, so as to exhibit the generic constraint store for all models in that family. Second, family-specific labelling heuristics are inferred by analysing the interaction of a given search algorithm with this generic constraint store. We illustrate our approach on a domain of subset problems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Reference
D. Achlioptas, L.M. Kirousis, E. Kranakis, D. Krizanc, M.S.O. Molloy, and Y.C. Stamatiou. Random constraint satisfaction: A more accurate picture. In: G. Smolka (ed), Proc. of CP’97, pp. 107–120. LNCS 1330. Springer, 1997.
P. Codognet and D. Diaz. Compiling constraints in clp(fd). J. of Logic Programming 27(3):185–226, 1996.
T. Ellman, J. Keane, A. Banerjee, and G. Armhold. A transformation system for interactive reformulation of design optimization strategies. Research in Engineering Design 10(1):30–61, 1998.
P. Flener. Towards relational modelling of combinatorial optimisation problems. In: Ch. Bessiére (ed), Proc. of the IJCAI’01 Workshopon Modelling and Solving Problems with Constraints, 2001.
P. Flener and B. Hnich. The syntax and semantics of esra. Evolving internal report of the astra Team, at http://www.dis.uu.se/~pierref/astra/.
P. Flener, B. Hnich, and Z. Kiziltan. Compiling high-level type constructors in constraint programming. In: I.V. Ramakrishnan (ed), Proc. of PADL’01, pp. 229–244. LNCS 1990. Springer, 2001.
P. Flener, B. Hnich, and Z. Kiziltan. A meta-heuristic for subset problems. In: I.V. Ramakrishnan (ed), Proc. of PADL’01, pp. 274–287. LNCS 1990. Springer, 2001.
C. Gervet. Interval propagation to reason about sets: Definition and implementation of a practical language. Constraints 1(3):191–244, 1997.
J.M. Gratch and S.A. Chien. Adaptive problem-solving for large scale scheduling problems: A case study. J. of Artificial Intelligence Research 4:365–396, 1996.
J.N. Hooker. Testing heuristics: We have it all wrong. J. of Heuristics 1:33–42, 1996.
Z. Kiziltan and P. Flener. An adaptive meta-heuristic for subset problems. Submitted for review. Available via http://www.dis.uu.se/~pierref/astra/.
S. Minton. Automatically configuring constraint satisfaction programs: A case study. Constraints 1(1-2):7–43, 1996.
T. Müller. Solving set partitioning problems with constraint programming. Proc. of PAPPACT’98, pp. 313–332. The Practical Application Company, 1998.
N.M. Sadeh and M.S. Fox. Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem. Arificial Intelligence 86(1):1–41, 1996.
E.P.K. Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
E.P.K. Tsang, J.E. Borrett, and A.C.M. Kwan. An attempt to map the performance of a range of algorithm and heuristic combinations. Proc. of AISB’95, pp. 203–216, 1995. IOS Press.
P. Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kiziltan, Z., Flener, P., Hnich, B. (2001). Towards Inferring Labelling Heuristics for CSP Application Domains. In: Baader, F., Brewka, G., Eiter, T. (eds) KI 2001: Advances in Artificial Intelligence. KI 2001. Lecture Notes in Computer Science(), vol 2174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45422-5_20
Download citation
DOI: https://doi.org/10.1007/3-540-45422-5_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42612-7
Online ISBN: 978-3-540-45422-9
eBook Packages: Springer Book Archive