Abstract
The pioneering works of Apt and Monfroy, and Abdennadher and Rigotti have shown that the construction of rule-based solvers can be automated using machine learning techniques. Both works implement the solver as a set of CHRs. But many solvers use the more specialized chaotic iteration of operators as operational semantics and not CHR’s rewriting semantics. In this paper, we first define a language-independent framework for operator learning and then we apply it to the learning of partial arc-consistency operators for a subset of the indexical language of Gnu-Prolog and show the effectiveness of our approach by two implementations. On tested examples, Gnu-Prolog solvers are learned from their original constraints and powerful propagators are found for user-defined constraints.
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
S. Abdennadher and C. Rigotti. Automatic generation of propagation rules for finite domains. In Rina Dechter, editor, Constraint Programming, volume 1894 of LNCS, pages 18–34, Singapore, 2000. Springer.
S. Abdennadher and C. Rigotti. Towards inductive constraint solving. In Toby Walsh, editor, Constraint Programming, volume 2239 of LNCS, pages 31–45. Springer, Nov 26–Dec 1 2001.
K. R. Apt. The essence of constraint propagation. Theoretical Computer Science, 221(1-2):179–210, 1999.
K. R. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In Constraint Programming CP’99, 1999.
K. R. Apt and E. Monfroy. Constraint programming viewed as rule-based programming. Theory and Practice of Logic Programming, 1(6):713–750, 2001.
Michel Bergère, Thi Bich Hanh Dao, AbdelAli Ed-Dbali, Gérard Ferrand, Arnaud Lallouet, Andrei Legtchenko, Lionel Martin, and Christel Vrain. Learning interval bounds of indexical-based solvers. Research Report RR-LIFO-2002-07, LIFO, Université d’Orléans, BP 6759, F-45067 Orléans Cedex 2, 2002.
Stephano Bistarelli, Ugo Montanari, and Francesca Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201–236, March 1997.
Mats Carlsson, Greger Ottosson, and Björ Carlson. An open-ended finite domain constraint solver. In Hugh Glaser, Pieter H. Hartel, and Herbert Kuchen, editors, Programming Languages: Implementations, Logics, and Programs, volume 1292 of LNCS, pages 191–206, Southampton, UK, September 3-5 1997. Springer.
Philippe Codognet and Daniel Diaz. A minimal extension of the wam for clp(fd). In David Scott Warren, editor, International Conference on Logic Programming, pages 774–790, Budapest, Hungary, June 21-25 1993. MIT Press.
Philippe Codognet and Daniel Diaz. Compiling constraints in clp(fd). Journal of Logic Programming, 27(3):185–226, 1996.
Daniel Diaz and Philippe Codognet. Design and implementation of the gnu prolog system. Journal of Functional and Logic Programming, 2001(6), 2001.
Mehmet Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, and A. Herold. The CHIP System: Constraint Handling in Prolog. In Ewing Lusk and Ross Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, May 1988. Springer.
François Fages, Julian Fowler, and Thierry Sola. Experiments in reactive constraint logic programming. Journal of Logic Programming, 37(1-3):185–212, 1998.
Thom Früwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, 37(1-3):95–138, 1998.
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, and Roland H. C. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339–395, 1992.
François Laburthe and the OCRE project. Choco: implementing a CP kernel. In TRICS, Techniques foR Implementing Constraint programming Systems, CP 2000 post-conference workshop, Technical report TRA9/00, Singapore, sep 2000.
Thierry Le Provost and Mark Wallace. Generalized constraint propagation over the CLP Scheme. Journal of Logic Programming, 16:319–359, 1993.
Jean-Francois Puget and Michel Leconte. Beyond the glass box: Constraints as objects. In John W. Lloyd, editor, International Logic Programming Symposium, pages 513–527, Portland, Oregon, 1995. MIT Press.
Jean-Charles Régin. A filtering algorithm for constraints of difference in csps. In AAAI, National Conference on Artificial Intelligence, pages 362–367, Seattle, WA, USA,, 1994. AAAI Press.
Edward Tsang. Foundations of Constraint Satisfaction. Academic Press, 1993.
P. van Hentenryck, V. Saraswat, and Y. Deville. Constraint processing in cc(fd). draft, 1991.
V. N. Vapnik. The Nature of Statistical Learning Theory. Springer, New York, 1995.
Neng-Fa Zhou. A high-level intermediate language and the algorithms for compiling finite-domain constraints. In Joxan Jaffar, editor, Joint International Conference and Symposium on Logic Programming, pages 70–84, Manchester, UK, 15-19 June 1998. MIT Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dao, T.B.H., Lallouet, A., Legtchenko, A., Martin, L. (2002). Indexical-Based Solver Learning. In: Van Hentenryck, P. (eds) Principles and Practice of Constraint Programming - CP 2002. CP 2002. Lecture Notes in Computer Science, vol 2470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46135-3_36
Download citation
DOI: https://doi.org/10.1007/3-540-46135-3_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44120-5
Online ISBN: 978-3-540-46135-7
eBook Packages: Springer Book Archive