Abstract
Soft constraints are flexible schemes for modeling a wide spectrum of problems. A model based on a hierarchy of abstractions of soft constraint problems has been proposed before. We describe an efficient implementation of this scheme aimed at solving real life problems. Our system is integrated into the Mozart language in such a way that user control of the abstraction mechanism is straightforward.We explain how we adapted the theoretical results for our purposes and describe the experiences in this adaptation. We give comparative analysis of our system with respect to an implementation using soft constraints without the abstraction mechanism. Our tests show good performance results for over-constrained problems in real settings.
This is a preview of subscription content, log in via an institution to check access.
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
Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962, pp. 111–137. Springer, Heidelberg (2004)
Bistarelli, S., Codognet, P., Rossi, F.: Abstracting Soft Constraints: Framework, Properties, Examples. Artificial Intelligence 139(2) (2002)
Bistarelli, S., Rossi, F., Pilan, I.: Abstracting soft constraints: Some experimental results on fuzzy csps. In: Apt, K.R., Fages, F., Rossi, F., Szeredi, P., Váncza, J. (eds.) CSCLP 2003. LNCS (LNAI), vol. 3010, pp. 107–123. Springer, Heidelberg (2004)
Cabon, B., de Givry, S., Lobjois, L., Schiex, T., Warners, J.P.: Radio link frequency assignment. Constraints: An International Journal 4(1) (1999)
de Givry, S., Verfaillie, G., Schiex, T.: Bounding the optimum of constraint optimization problems. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330. Springer, Heidelberg (1997)
Delgado, A., Olarte, C., Pérez, J.A., Rueda, C.: Implementing Semiring-Based Constraints Using Mozart. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol. 3389, pp. 224–236. Springer, Heidelberg (2005)
Delgado, A., Pérez, J.A., Pabón, G., Jordan, R., Díaz, J.F., Rueda, C.: An Interactive Tool for the Controlled Execution of an Automated Timetabling Constraint Engine. In: Van Roy, P. (ed.) MOZ 2004. LNCS, vol. 3389, pp. 322–332. Springer, Heidelberg (2005)
Díaz, J.F., Gutiérrez, G., Olarte, C., Rueda, C.: CRE2: a CP application for reconfiguring a power distribution network for power losses reduction. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 813–814. Springer, Heidelberg (2004)
Merchez, S., Lecoutre, C., Boussemart, F.: Abscon: A prototype to solve csps with abstraction. In: Walsh, T. (ed.) CP 2001. LNCS, vol. 2239, p. 730. Springer, Heidelberg (2001)
Müller, T.: Constraint Propagation in Mozart. PhD thesis, Universitat des Saarlandes (2001)
Muller, T.: The Mozart Constraint Extensions Reference (April 2004), Available at www.mozart-oz.org
Popov, K.: The Oz Browser (2004), Available at http://www.mozart-oz.org
Schulte, C.: Programming Constraint Services. PhD thesis, Universitat des Saarlandes (2001)
Schulte, C.: Oz Explorer - Visual Constraint Programming Support (2004), Available at http://www.mozart-oz.org
Schulte, C., Smolka, G.: Finite Domain Constraint Programming in Oz - A Tutorial (April 2004), Available at http://www.mozart-oz.org
The Mozart Programming Language, http://www.mozart-oz.org
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Delgado, A., Pérez, J.A., Rueda, C. (2005). Implementing an Abstraction Framework for Soft Constraints. In: Zucker, JD., Saitta, L. (eds) Abstraction, Reformulation and Approximation. SARA 2005. Lecture Notes in Computer Science(), vol 3607. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11527862_5
Download citation
DOI: https://doi.org/10.1007/11527862_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27872-6
Online ISBN: 978-3-540-31882-8
eBook Packages: Computer ScienceComputer Science (R0)