Abstract
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution space and the computational effort required. In alternative to local consistency, which is usually maintained in handling continuous constraints, we discuss maintaining global hull-consistency. Experimental results show that this may be an appropriate choice, achieving acceptable precision with relatively low computational cost. The approach relies on efficient algorithms and the best results are obtained with the integration of a local search procedure within interval constraint propagation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(Intervals) revisited. Logic Programming Symposium, MIT Press (1994) 124–131.
Benhamou, F., Older, W.J.: Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming (1997) 32(1): 1–24.
Cleary, J.G.: Logical Arithmetic. Future Computing Systems (1987) 2(2): 125–149.
Cruz, J., Barahona, P.: An Interval Constraint Approach to Handle Parametric ODEs for Decision Support. Principles Practice Constraint Programming, Springer (1999) 478–479.
Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical DSSs: an Interval Constraint Approach. AI in Medicine, Springer (1999) 185–194.
Cruz, J., Barahona, P.: Handling Differential Equations with Constraints for Decision Support. Frontiers of Combining Systems, Springer (2000) 105–120.
Hansen, E.: Global Optimization Using Interval Analysis. Marcel Dekker (1992).
Sam-Haroud, D., Fallings, B.V.: Consistency Techniques for Continuous Constraints. Constraints (1996) 1(1,2):85–118.
Lhomme, O.: Consistency Techniques for Numeric CSPs. 1JCA1, TEEE Pr. (1993) 232–238.
Monlanari U.: Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science (1974) 7(2):95–132.
Moore, R.E.: Interval Analysis. Prentice-Hall (1966).
Ortega, J., Rheinboldt, W.: Iterative Solution of Nonlinear Equations in Several Variables. Academic Press (1970).
Puget, J-F., Van Hentenryck, P.: A Constraint Satisfaction Approach to a Circuit Design Problem. Journal of Global Optimization, MTT Press (1997).
Stoer, J., Burlisch R.: Introduction to Numerical Analysis. Springer Verlag (1980).
Van Henlenryck, P., McAllester, D., Kapur, D.: Solving Polynomial Systems Using a Branch and Prune Approach. SIAM Journal of Numerical Analysis (1997) 34(2).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cruz, J., Barahona, P. (2001). Global Hull Consistency with Local Search for Continuous Constraint Solving. In: Brazdil, P., Jorge, A. (eds) Progress in Artificial Intelligence. EPIA 2001. Lecture Notes in Computer Science(), vol 2258. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45329-6_34
Download citation
DOI: https://doi.org/10.1007/3-540-45329-6_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43030-8
Online ISBN: 978-3-540-45329-1
eBook Packages: Springer Book Archive