Abstract
Many real-world constraint satisfaction problems (CSPs) can be over-constrained or too large to solve using a standard constructive/ backtracking approach. Instead, faster heuristic techniques have been proposed that perform a partial search of all possible solutions using an iterative repair or hill-climbing approach. The main problem with such approaches is that they can become stuck in local minima. Consequently, various strategies or metaheuristics have been developed to escape from local minima. This paper investigates the application of one such meta-heuristic, weighted iterative repair, to solving a real-world problem of scheduling nurses at an Australian hospital. Weighted iterative repair has already proved successful in solving various binary CSPs. The current research extends this work by looking at a non-binary problem formulation, and partial constraint satisfaction involving hard and soft constraints. This has lead to the development of a soft constraint heuristic to improve the level of soft constraint optimisation and an extension of the original weighted iterative repair that avoids certain forms of cyclic behaviour. It is also demonstrated that weighted iterative repair can learn from repeatedly solving the same problem. and that restarting the algorithm on the same problem can result in faster execution times. The overall results show that weighted iterative repair finds better quality solutions than a standard iterative repair, whilst approaching near optimal solutions in less time than an alternative integer programming approach.
Keywords
- Constraint Satisfaction
- Constraint Satisfaction Problem
- Soft Constraint
- Hard Constraint
- Constraint Weight
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
D. Abramson. A very high speed architecture for simulated annealing. IEEE Comp., May:27–36, 1992.
A. Borning, B. Freeman-Benson and M. Wilson. Constraint hierarchies. In M. Jampel, E. Freuder and M. Maher, editors, Over-Constrained Systems, pages 23–62. Springer-Verlag, 1996.
B. Cheng, J. Lee and J. Wu. A constraint-based nurse rostering system using a redundant modeling approach. In Proc. of the 8th IEEE International Conference on Tools with AI, 1996.
M. S. Fox. ISIS: A Retrospective. In M. Zweben and M. S. Fox, editors, Intelligent Scheduling, pages 3–28. Morgan Kaufman, 1994.
E. C. Freuder and R. J. Wallace. Partial constraint satisfaction. Artif. Intell., 58(1-3):21–70, 1992.
F. Glover. Tabu search — part 1. ORSA Journal on Computing, 1(3):190–206, 1989.
H. E. Miller, W. P. Pierskalla and G. J. Rath. Nurse scheduling using mathematical programming. Ops. Res., 24(5):857–870, 1976.
S. Minton, M. D. Johnston, A. B. Philips and P. Laird. Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems. Artif Intell., 58:161–205, 1992.
P. Morris. The breakout method for escaping local from minima. In Proc. of AAAI'93, pages 40–45, 1993.
B. Selman and H. Kautz. Domain independent extensions to GSAT: Solving large structured satisfiability problems. In Proc. of IJCAI 93, pages 290–295, 1993.
J. R. Thornton and A. Sattar. An integer programming-based nurse rostering system. In Proc. ofASIAN `96, pages 357–358, Singapore, 1996.
R. J. Wallace and E. C. Freuder. Heuristic methods for over-constrained constraint satisfaction problems. In M. Jampel, E. Freuder and M. Maher, editors, Over-Constrained Systems, pages 207–216. Springer-Verlag, 1996.
D. M. Warner. Scheduling nursing personnel according to nursing preference: A mathematical programming approach. Ops. Res. 24(5):842–856, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thomton, J., Sattar, A. (1997). Applied partial constraint satisfaction using weighted iterative repair. In: Sattar, A. (eds) Advanced Topics in Artificial Intelligence. AI 1997. Lecture Notes in Computer Science, vol 1342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63797-4_58
Download citation
DOI: https://doi.org/10.1007/3-540-63797-4_58
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63797-4
Online ISBN: 978-3-540-69649-0
eBook Packages: Springer Book Archive