Abstract
Recent research has shown that constraint weighting local search algorithms can be very effective in solving a variety of Constraint Satisfaction Problems. However, little work has been done in applying such algorithms to over-constrained problems with mandatory or hard constraints. The difficulty has been finding a weighting scheme that can weight unsatisfied constraints and still maintain the distinction between mandatory and non-mandatory constraints. This paper presents a new weighting strategy that simulates the transformation of an over-constrained problem with mandatory constraints into an equivalent problem where all constraints have equal importance, but the hard constraints have been repeated. In addition, two dynamic constraint weighting schemes are introduced that alter the number of simulated hard constraint repetitions according to feedback received during the search. The results show the dynamic strategies outperform two fixed repetition approaches on a test bed of over-constrained timetabling and nurse rostering problems.
Preview
Unable to display preview. Download preview PDF.
References
Cha, B., Iwama, K.: Adding new clauses for faster local search. In: Proc. of AAAI’96, (1996) 332–337
Cha, B., Iwama, K., Kambayashi, Y., Miyazaki S.: Local search algorithms for partial MAXSAT. In: Proc. of AAAI’97, (1997) 332–337
Frank, J.: Learning short-term weights for GSAT. In: Proc. of AAAI’97, (1997) 384–389
Glover, F.: Tabu search-part 1. ORSA Journal on Computing, 1(3) (1989) 190–206
Minton, S., Johnston, M., Philips, A., Laird, P.: Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artif. Intell. 58 (1992) 161–205
Morris, P.: The breakout method for escaping local from minima. In: Proc. of AAAI’93, (1993) 40–45
Selman, B., Kautz, H.: Domain independent extensions to GSAT: Solving large structured satisfiability problems. In: Proc. of IJCAI’93, (1993) 290–295
Thornton, J., Sattar, A.: Applied partial constraint satisfaction using weighted iterative repair. In: Sattar, A. (ed.): Advanced Topics in Artificial Intelligence. LNAI Vol. 1342. Springer-Verlag (1997) 57–66
Thornton, J., Sattar, A.: Using arc weights to improve iterative repair. In: Proc. of AAAI ’98, (1998) 367–372
Wallace, J., Freuder, E.: Heuristic methods for over-constrained constraint satisfaction problems. In: Jampel, M., Freuder, E., Maher, M. (eds.): Over-Constrained Systems. LNCS Vol. 1106. Springer-Verlag (1996) 207–216
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thornton, J., Sattar, A. (1998). Dynamic constraint weighting for over-constrained problems. In: Lee, HY., Motoda, H. (eds) PRICAI’98: Topics in Artificial Intelligence. PRICAI 1998. Lecture Notes in Computer Science, vol 1531. Springer, Berlin, Heidelberg . https://doi.org/10.1007/BFb0095285
Download citation
DOI: https://doi.org/10.1007/BFb0095285
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65271-7
Online ISBN: 978-3-540-49461-4
eBook Packages: Springer Book Archive