Abstract
The Semiring CSP (SCSP) framework is a popular and robust approach to solving partial constraint satisfaction problems which generalizes several other schemes such as fuzzy CSP, weighted CSP etc. We argue in this paper that it is useful to augment the SCSP framework such that each constraint specifies, in addition, a metric on the semiring values. The additional knowledge of distances between ‘preference values’ (the elements of the semiring) permits us to define a notion of parameterized solving of SCSPs where we can seek solutions with a preference value no worse than a given value.
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
S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex, and G. Verfaillie. Semiring-based CSPs and Valued CSPs: Basic Properties and Comparison. In M. Jampel, E. Freuder, and M. Maher, editors, Over-Constrained Systems (Selected papers from the Workshop on Over-Constrained Systems at CP’95, reprints and background papers), volume 1106, pages 111–150. 1996.
Stefano Bistarelli, Ugo Montanari, and Francesca Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201–236, 1997.
E. T. Copson. Metric Spaces. Cambridge University Press, 1968.
John R. Giles. Introduction to the Analysis of Metric Spaces. Number 3 in Australian Mathematical Society Lecture Series. Cambridge University Press, 1987.
Thomas Schiex. Arc consistency for soft constraints. In Principles and Practice of Constraint Programming, pages 411–424, 2000.
Molly Wilson and Alan Borning. Hierarchical constraint logic programming. Technical Report TR-93-01-02, 1993.
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
Ghose, A., Harvey, P. (2002). Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics. In: McKay, B., Slaney, J. (eds) AI 2002: Advances in Artificial Intelligence. AI 2002. Lecture Notes in Computer Science(), vol 2557. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36187-1_39
Download citation
DOI: https://doi.org/10.1007/3-540-36187-1_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00197-3
Online ISBN: 978-3-540-36187-9
eBook Packages: Springer Book Archive