Abstract
Adaptive constraint processing with Constraint Handling Rules (CHR) allows the application of intelligent search strategies to solve Constraint Satisfaction Problems (CSP), but these search algorithms have to be implemented in the host language of adaptive CHR which is currently Java. On the other hand, CHR ∨ enables to explicitly formulate search in CHR, using disjunctive bodies to model choices. However, a naive implementation for handling disjunctions, in particular chronological backtracking (as implemented in Prolog), might cause “thrashing” due to an inappropriate order of decisions. In order to avoid this, a first combination of adaptive CHR and CHR ∨ is presented to offer a more efficient embedded search mechanism to handle disjunctions. Therefore, the refined operational semantics of CHR is extended for disjunctions and adaptation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abdennadher, S., Schütz, H.: CHR\(^{\lor}\): A flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol. 1495, pp. 1–14. Springer, Heidelberg (1998)
Duck, G.J., García de la Banda, M., Stuckey, P.J., Holzbaur, C.: The refined operational semantics of constraint handling rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 90–104. Springer, Heidelberg (2004)
Frühwirth, T., Di Pierro, A., Wiklicky, H.: Probabilistic constraint handling rules. Electronic Notes in Theoretical Computer Science 76, 1–16 (2002)
Frühwirth, T.: Constraint Handling Rules. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol. 910, pp. 90–107. Springer, Heidelberg (1995)
Frühwirth, T.: Theory and practice of Constraint Handling Rules. The Journal of Logic Programming 37, 95–138 (1998)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Series of Books in the Mathematical Sciences. W. H. Freeman & Co., New York (1979)
Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research 1, 25–46 (1993)
Holzbaur, C., Frühwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. Applied Artificial Intelligence 14(4), 369–388 (2000)
De Koninck, L., Schrijvers, T., Demoen, B.: Flexible search strategies in Prolog CHR. Report CW 447, Department of Computer Science, K. U. Leuven (May 2006); Also presented at the Workshop on CHR (2006)
De Koninck, L., Schrijvers, T., Demoen, B.: A Flexible Search Framework for CHR. In: Schrijvers, T., Frühwirth, T. (eds.) Constraint Handling Rules. LNCS (LNAI), vol. 5388, pp. 16–47. Springer, Heidelberg (2008)
Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence 9(3), 268–299 (1991); also available as technical report AISL-46-91, Stratchclyde (1991)
The ROARS project (last visited February 25, 2008), http://www.cin.ufpe.br/~jr/mysite/RoarsProject.html
Schrijvers, T., Frühwirth, T.: Optimal union-find in constraint handling rules. Theory and Practice of Logic Programming 6(1–2), 213–224 (2006)
Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of constraint handling rules. In: Schrijvers, T., Frühwirth, T. (eds.) Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, number CW 421 in CW Reports, pp. 3–17. Katholieke Universiteit Leuven, Department of Computer Science (2005) (last visited August 26, 2008), http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html
Wolf, A.: Projection in adaptive constraint solving based on chrs. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Proceedings of the ERCIM/COMPULOG Workshop on Constraints, Department of Computer Science, University of Cyprus, Nicosia, Cyprus (October 1999)
Wolf, A.: Adaptive constraint handling with CHR in Java. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, pp. 256–270. Springer, Heidelberg (2001)
Wolf, A.: Intelligent search strategies based on adaptive constraint handling rules. Theory and Practice of Logic Programming 5(4–5), 567–594 (2005)
Wolf, A., Gruenhagen, T., Geske, U.: On incremental adaptation of CHR derivations. Applied Artificial Intelligence 14(4), 389–416 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wolf, A., Robin, J., Vitorino, J. (2008). Adaptive CHR Meets CHR ∨ . In: Schrijvers, T., Frühwirth, T. (eds) Constraint Handling Rules. Lecture Notes in Computer Science(), vol 5388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-92243-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-92243-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-92242-1
Online ISBN: 978-3-540-92243-8
eBook Packages: Computer ScienceComputer Science (R0)