Nurse Scheduling via Answer Set Programming

The Nurse Scheduling problem (NSP) is a combinatorial problem that consists of assigning nurses to shifts according to given practical constraints. In previous years, several approaches have been proposed to solve different variants of the NSP. In this paper, an ASP encoding for one of these variants is presented, whose requirements have been provided by an Italian hospital. We also design a second encoding for the computation of “optimal” schedules. Finally, an experimental analysis has been conducted on real data provided by the Italian hospital using both encodings. Results are very positive: the state-of-the-art ASP system clingo is able to compute one year schedules in few minutes, and it scales well even when more than one hundred nurses are considered.

[1]  Hasan Selim,et al.  Nurse scheduling using fuzzy modeling approach , 2010, Fuzzy Sets Syst..

[2]  Jonathan F. Bard,et al.  Preference scheduling for nurses using column generation , 2005, Eur. J. Oper. Res..

[3]  Walter J. Gutjahr,et al.  An ACO algorithm for a dynamic regional nurse-scheduling problem in Austria , 2007, Comput. Oper. Res..

[4]  Tomi Janhunen,et al.  Optimizing phylogenetic supertrees using answer set programming , 2015, Theory and Practice of Logic Programming.

[5]  Michael Gelfond,et al.  Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.

[6]  Michael Gelfond,et al.  The USA-Advisor: A Case Study in Answer Set Planning , 2001, LPNMR.

[7]  Mario Alviano,et al.  Advances in WASP , 2015, LPNMR.

[8]  Esra Erdem,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Generating Explanations for Biomedical Queries , 2022 .

[9]  S. S. Al Sharif,et al.  A 0-1 goal programming model for nurse scheduling , 2005, Comput. Oper. Res..

[10]  Hendrik Van Landeghem,et al.  The State of the Art of Nurse Rostering , 2004, J. Sched..

[11]  Leopoldo E. Bertossi,et al.  The consistency extractor system: Answer set programs for consistent query answering in databases , 2010, Data Knowl. Eng..

[12]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[13]  Harvey H. Millar,et al.  Cyclic and non-cyclic scheduling of 12 h shift nurses by network programming , 1998 .

[14]  Nicola Leone,et al.  Allotment Problem in Travel Industry: A Solution Based on ASP , 2015, RR.

[15]  Stefan Woltran,et al.  Shift Design with Answer Set Programming , 2015, Fundam. Informaticae.

[16]  Uwe Aickelin,et al.  An Indirect Genetic Algorithm for a Nurse Scheduling Problem , 2004, Comput. Oper. Res..

[17]  Mario Alviano,et al.  Anytime answer set optimization via unsatisfiable core shrinking , 2016, Theory and Practice of Logic Programming.

[18]  Francesco Ricca,et al.  Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) , 2016, Theory and Practice of Logic Programming.

[19]  Andrew Lim,et al.  Nurse rostering problems - a bibliographic survey , 2003, Eur. J. Oper. Res..