Abstract
Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs) and solved using constraint programming techniques. In many situations, it is desirable to be ab le to state both hard constraints and soft constraints. Hard constraints must hold while soft constraints may be violated but as many as possible should be satisfied. Although the problem constraints can be divided into two groups, the order in which these constraints are studied can improve efficiency, particularly in problems with non-binary constraints. In this paper, we present a heuristic technique called Hard and Soft Constraint Ordering Heuristic (HASCOH) that carries out a classification of hard and soft constraints in order to study the tightest hard constraints first and to obtain ever better solutions. In this way, inconsistencies can be found earlier and the number of constraint checks can be significantly reduced.
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
R. Barták, ‘Const raint programming: In pursuit of the holy grail’, in Proceedings of WDS99 (invited lecture), Prague, June, (1999).
C. Bessière, P. Meseguer, E.C. Freuder, and J. Larrosa, ‘On forward checking for non-binary constraint satisfaction’, Artifical In telligence, 205–224, (2002).
J.R. Bitner and Reingold E.M., ‘Backt racking programming techniques’, Communications of the ACM18, 651–655, (1975).
R. Dechter and I. Meiri, ‘Experimental evaluation of preprocessing algorithms for constraints satisfaction problems’, Artificial Intelligence, 68, 211–241, (1994).
E. Freuder, ‘A sufficient condition for backtrack-free search’, Journal of the ACM, 29, 24–32, (1982).
D. Frost and R. Dechter, ‘Look-ahead value orderings for constraint satisfaction problems’, In Proc. of IJCAI-95, 572–578, (1995).
P.A. Geelen, ‘Dual viewpoint heuristic for binary constraint satisfaction problems’, In proceeding of European Conference of Artificial Intelligence (ECAI’92), 31–35, (1992).
I.P. Gent, E. MacIntyre, P. Prosser, and T Walsh, ‘The constrainedness of arc consistency’, Principles and Practice of Constraint Programming, 327–340, (1997).
R.M. Haralick and Elliot G.L., ‘Increasing tree search efficiency for constraint satisfaction problems’, Artificial Intelligence, 14, 263–313, (1980).
V. Kumar, ‘Depthfirst search’, In Encyclopedia of Artificial Intelligence, 2, 1004–1005, (1987).
V. Kumar, ‘Algorithms for constraint satisfaction problems: a survey’, Artificial Intelligence Magazine, 1, 32–44, (1992).
N. Sadeh and M.S. Fox, ‘Variable and value ordering heuristics for activitybased jobshop scheduling’, In proc. of Fourth International Conference on Expert Systems in Production and Operations Management, 134–144, (1990).
M.A. Salido and F. Barber, ‘A polynomial algorithm for continuous nonbinary disjunctive CSPs: extended DLRs’, Knowledge-Based Systems, 16, 277–285, (2003).
E. Tsang, Foundation of Constraint Satisfaction, Academic Press, 1993.
R. Wallace and E. Freuder, ‘Ordering heuristics for arc consistency algorithms’, In Proc. of Ninth Canad. Conf. on A.I., 163–169, (1992).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag London
About this paper
Cite this paper
Salido, M.A., Barber, F. (2004). How to Classify Hard and Soft Constraints in Non-binary Constraint Satisfaction Problems. In: Coenen, F., Preece, A., Macintosh, A. (eds) Research and Development in Intelligent Systems XX. SGAI 2003. Springer, London. https://doi.org/10.1007/978-0-85729-412-8_16
Download citation
DOI: https://doi.org/10.1007/978-0-85729-412-8_16
Publisher Name: Springer, London
Print ISBN: 978-1-85233-780-3
Online ISBN: 978-0-85729-412-8
eBook Packages: Springer Book Archive