Operating Room (Re)Scheduling with Bed Management via ASP

The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms (ORs), taking into account different specialties, lengths, and priority scores of each planned surgery, OR session durations, and the availability of beds for the entire length of stay (LOS) both in the Intensive Care Unit (ICU) and in the wards. A proper solution to the ORS problem is of primary importance for the healthcare service quality and the satisfaction of patients in hospital environments. In this paper we first present a solution to the problem based on Answer Set Programming (ASP). The solution is tested on benchmarks with realistic sizes and parameters, on three scenarios for the target length on 5-day scheduling, common in small–medium-sized hospitals, and results show that ASP is a suitable solving methodology for the ORS problem in such setting. Then, we also performed a scalability analysis on the schedule length up to 15 days, which still shows the suitability of our solution also on longer plan horizons. Moreover, we also present an ASP solution for the rescheduling problem, that is, when the offline schedule cannot be completed for some reason. Finally, we introduce a web framework for managing ORS problems via ASP that allows a user to insert the main parameters of the problem, solve a specific instance, and show results graphically in real time.

[1]  Francesco Buccafurri,et al.  Enhancing Disjunctive Datalog by Constraints , 2000, IEEE Trans. Knowl. Data Eng..

[2]  Paolo Ferraris,et al.  Logic programs with propositional connectives and aggregates , 2008, TOCL.

[3]  Marco Maratea,et al.  An ASP-based Solution for Operating Room Scheduling with Beds Management , 2019, RuleML+RR.

[4]  Armando Tacchella,et al.  (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver , 2003, CP.

[5]  Marco Maratea,et al.  Nurse Scheduling via Answer Set Programming , 2017, LPNMR.

[6]  Roberto Aringhieri,et al.  A hybrid optimization algorithm for surgeries scheduling , 2016 .

[7]  Marcello Balduccini,et al.  Industrial-Size Scheduling with ASP+CP , 2011, LPNMR.

[8]  Mario Alviano,et al.  Evaluation of Disjunctive Programs in WASP , 2019, LPNMR.

[9]  Wei Li,et al.  Operating Room Planning under Surgery Type and Priority Constraints , 2016 .

[10]  Martin Gebser,et al.  Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming , 2018, Theory Pract. Log. Program..

[11]  Gerhard Friedrich,et al.  Industrial Applications of Answer Set Programming , 2018, KI - Künstliche Intelligenz.

[12]  Martin Gebser,et al.  Theory Solving Made Easy with Clingo 5 , 2016, ICLP.

[13]  Maratea Marco,et al.  The Design of the Seventh Answer Set Programming Competition , 2017 .

[14]  Mario Alviano,et al.  Rewriting recursive aggregates in answer set programming: back to monotonicity , 2015, Theory and Practice of Logic Programming.

[15]  Mario Alviano,et al.  Nurse (Re)scheduling via answer set programming , 2019, Intelligenza Artificiale.

[16]  Mario Alviano,et al.  Optimum stable model search: algorithms and implementation , 2020, J. Log. Comput..

[17]  Jian Zhang,et al.  A stochastic shortest-path MDP model with dead ends for operating rooms planning , 2017, 2017 23rd International Conference on Automation and Computing (ICAC).

[18]  F. RICCA,et al.  Team-building with answer set programming in the Gioia-Tauro seaport , 2011, Theory and Practice of Logic Programming.

[19]  Martin Gebser,et al.  Conflict-driven answer set solving: From theory to practice , 2012, Artif. Intell..

[20]  Jose M. Framiñan,et al.  New heuristics for planning operating rooms , 2015, Comput. Ind. Eng..

[21]  Mario Alviano,et al.  An Advanced Answer Set Programming Encoding for Nurse Scheduling , 2017, AI*IA.

[22]  Roberto Aringhieri,et al.  Assigning surgery cases to operating rooms: A VNS approach for leveling ward beds occupancies , 2015, Electron. Notes Discret. Math..

[23]  Wolfgang Faber,et al.  Semantics and complexity of recursive aggregates in answer set programming , 2011, Artif. Intell..

[24]  Enrico Giunchiglia,et al.  A new Approach for Solving Satisfiability Problems with Qualitative Preferences , 2008, ECAI.

[25]  Marco Maratea,et al.  An ASP-based framework for operating room scheduling , 2019, Intelligenza Artificiale.

[26]  Martin Gebser,et al.  Abstract gringo , 2015, Theory Pract. Log. Program..

[27]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[28]  Marco Maratea,et al.  Operating Room Scheduling via Answer Set Programming , 2018, AI*IA.

[29]  Martin Gebser,et al.  The Design of the Sixth Answer Set Programming Competition - - Report - , 2014, LPNMR.

[30]  Roberto Aringhieri,et al.  A two level metaheuristic for the operating room scheduling and assignment problem , 2015, Comput. Oper. Res..

[31]  Armando Tacchella,et al.  Dependent and Independent Variables in Propositional Satisfiability , 2002, JELIA.

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

[33]  Nicola Leone,et al.  On the Application of Answer Set Programming to the Conference Paper Assignment Problem , 2016, AI*IA.

[34]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[35]  Martin Gebser,et al.  Design and results of the Fifth Answer Set Programming Competition , 2016, Artif. Intell..

[36]  Giovanni Amendola,et al.  Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming , 2018, RiCeRcA@AI*IA.

[37]  Ilkka Niemelä,et al.  Logic programs with stable model semantics as a constraint programming paradigm , 1999, Annals of Mathematics and Artificial Intelligence.

[38]  Martin Gebser,et al.  The Sixth Answer Set Programming Competition , 2017, J. Artif. Intell. Res..

[39]  Martin Gebser,et al.  ASP-Core-2 Input Language Format , 2019, Theory and Practice of Logic Programming.