Skip to main content

Dynamic constraint weighting for over-constrained problems

  • Search (Constraint Satisfaction, Heuristic Search)
  • Conference paper
  • First Online:
PRICAI’98: Topics in Artificial Intelligence (PRICAI 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1531))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cha, B., Iwama, K.: Adding new clauses for faster local search. In: Proc. of AAAI’96, (1996) 332–337

    Google Scholar 

  2. Cha, B., Iwama, K., Kambayashi, Y., Miyazaki S.: Local search algorithms for partial MAXSAT. In: Proc. of AAAI’97, (1997) 332–337

    Google Scholar 

  3. Frank, J.: Learning short-term weights for GSAT. In: Proc. of AAAI’97, (1997) 384–389

    Google Scholar 

  4. Glover, F.: Tabu search-part 1. ORSA Journal on Computing, 1(3) (1989) 190–206

    MATH  Google Scholar 

  5. 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

    Article  MATH  MathSciNet  Google Scholar 

  6. Morris, P.: The breakout method for escaping local from minima. In: Proc. of AAAI’93, (1993) 40–45

    Google Scholar 

  7. Selman, B., Kautz, H.: Domain independent extensions to GSAT: Solving large structured satisfiability problems. In: Proc. of IJCAI’93, (1993) 290–295

    Google Scholar 

  8. 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

    Google Scholar 

  9. Thornton, J., Sattar, A.: Using arc weights to improve iterative repair. In: Proc. of AAAI ’98, (1998) 367–372

    Google Scholar 

  10. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Hing-Yan Lee Hiroshi Motoda

Rights and permissions

Reprints 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

Publish with us

Policies and ethics