Abstract
Traditional constraint logic programming (CLP) specifies an optimization problem by using a set of constraints and an objective function. In many applications, optimal solutions may be difficult or impossible to obtain, and hence we are interested in finding suboptimal solutions, by either relaxing the constraints or the objective function. Hierarchical constraint logic programming (HCLP) [1] is such a strategy by extending CLP to support required as well as relaxable constraints. HCLP proposed preferences on constraints indicating the relative importance of constraints and organizing them into a hierarchy. Essentially, the solutions of interest must satisfy the required constraints but need not satisfy the relaxable constraints. HCLP has proven to be useful tool in solving the over-constrained applications.
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
References
Wilson, M., Borning, A.: Hierarchical Constraint Logic Programming. Journal of Logic Programming 16, 277–318 (1993)
Govindarajan, K., Jayaraman, B., Mantha, S.: Preference Logic Programming. In: International Conference on Logic Programming (ICLP), pp. 731–745 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guo, HF., Liu, M., Jayaraman, B. (2006). Relaxation on Optimization Predicates. In: Etalle, S., Truszczyński, M. (eds) Logic Programming. ICLP 2006. Lecture Notes in Computer Science, vol 4079. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11799573_33
Download citation
DOI: https://doi.org/10.1007/11799573_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36635-5
Online ISBN: 978-3-540-36636-2
eBook Packages: Computer ScienceComputer Science (R0)