Abstract
In some recent works, a general framework for finite domains constraint satisfaction has been defined, where classical CSPs, fuzzy CSPs, weighted CSPs, partial CSPs and others can be easily cast. This framework, based on a semiring structure, allows, under certain conditions, to compute arc-consistency. Restricting to that case and integrating semiring-based constraint solving in the Constraint Logic Programming paradigm, we have implemented a generic language, clp(FD,S), for semiring-based constraint satisfaction. In this paper, we describe the kernel of the language: the SFD system and our implementation of clp(FD,S). We also give some performance results on various examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Bistarelli, U. Montanari and F. Rossi. Constraint Solving over Semirings. In Proceedings of IJCAI’95, Morgan Kaufman, 1995.
S. Bistarelli, U. Montanari and F. Rossi. Semiring-based Constraint Solving and Optimization. Journal of ACM, vol. 44, n. 2, pp. 201–236, March 1997.
P. Codognet and D. Diaz. A Minimal Extension of the WAM for clp(FD). In Proceedings of ICLP’93, 10th Int. Conf. on Logic Programming, Budapest, Hungary, MIT Press 1993.
P. Codognet and D. Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, vol. 27, no. 3, 1996.
Y. Caseau and F. Laburthe. Solving Various Weighted Matching Problems with Constraints. In Proceedings of CP’97, 3rd Int. Conf. on Constraint Programming, Springer Verlag, 1997.
Y. Caseau and F. Laburthe. The Claire documentation. LIENS Report 96-15, Ecole Normale Superieure, Paris, 1995.
CON’FLEX, manuel de l’utilisateur Laboratoire de Biométrie et d’Intelligence Artificielle, INRA, France, 1996
M. Dincbas, H. Simonis, P. Van Hentenryck. Solving the Car-Sequencing Problem In Constraint Logic Programming. In Proceedings of ECAI’88. Munich, West Germany, August 1988.
D. Dubois, H. Fargier, and H. Prade. The calculus of fuzzy restrictions as a basis for exible constraint satisfaction. In Proceedings of IEEE International Conference on Fuzzy Systems. IEEE, 1993.
E.C. Freuder and R.J. Wallace. Partial constraint satisfaction. AI Journal, 58, 1992, pp. 21–70.
L. Gacℷne. Elements de logique floue. Hermes, 1997.
M. Lema⩼re and L. Lobjois. Bibliothèque d’algorithmes de résolution de problémes et d’optimisation sous contraintes. CERT, FRANCE, 1997.
A. K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence 8 (1977), pp 99–118.
A. K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI (second edition), volume 1, pages 285–293. John Wiley & Sons, 1992.
U. Montanari. Networks of constraints: Fundamental properties and application to picture processing. Information Science, 7, 1974.
A. Rosenfeld, R.A. Hummel, and S.W. Zucker. Scene labelling by relaxation operations. IEEE Transactions on Systems, Man, and Cybernetics, 6(6), 1976.
Z. Ruttkay. Fuzzy constraint satisfaction. In Proceedings of 3rd International Conference on Fuzzy Systems, 1994.
T. Schiex, H. Fargier, and G. Verfaillie. Valued Constraint Satisfaction Problems: Hard and Easy Problems. In Proceedings of IJCAI’95. Morgan Kaufmann, 1995.
P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
P. Van Hentenryck, Y. Deville and C-M. Teng. A generic arc-consistency algorithm and its specializations. Artificial Intelligence 57 (1992), pp 291–321.
L. A. Zadeh. Calculus of fuzzy restrictions. in K. Tanaka, L.A. Zadeh, K.S Fu and M. Shimura editors, Fuzzy sets and their applications to cognitive and decision processes. Academic Press, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Georget, Y., Codognet, P. (1998). Compiling Semiring-based Constraints with clp(FD,S). In: Maher, M., Puget, JF. (eds) Principles and Practice of Constraint Programming — CP98. CP 1998. Lecture Notes in Computer Science, vol 1520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49481-2_16
Download citation
DOI: https://doi.org/10.1007/3-540-49481-2_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65224-3
Online ISBN: 978-3-540-49481-2
eBook Packages: Springer Book Archive