An ASP-based solution to the Operating Room Scheduling with care units

The optimization of daily operating room surgery schedule can be problematic because of many constraints, like to determine the start time of different surgeries and allocating the required resources, including the availability of beds in different units. Recently, Answer Set Programming (ASP) has been successfully employed for addressing and solving real-life scheduling and planning problems in the health-care domain. In this paper we present an enhanced solution using ASP for scheduling and rescheduling operating rooms taking explicitly into considerations the availability of beds for intensive and post-anesthesia care units. We tested our solution on different benchmarks with realistic parameters. The results of our experiments show that ASP is a suitable methodology for solving also such enhanced problem.

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

[2]  Enrico Giunchiglia,et al.  On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) , 2005, ICLP.

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

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

[5]  Armando Tacchella,et al.  Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability , 2001, IJCAR.

[6]  Enrico Giunchiglia,et al.  TSAT++: an Open Platform for Satisfiability Modulo Theories , 2005, Electron. Notes Theor. Comput. Sci..

[7]  Martin Gebser,et al.  The Design of the Fifth Answer Set Programming Competition , 2014, ArXiv.

[8]  Nicola Leone,et al.  On the relation among answer set solvers , 2008, Annals of Mathematics and Artificial Intelligence.

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

[10]  Mohammad Mahdi Nasiri,et al.  Operating room scheduling by considering the decision-making styles of surgical team members: A comprehensive approach , 2019, Comput. Oper. Res..

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

[12]  Nadine Meskens,et al.  Multi-objective operating room scheduling considering desiderata of the surgical team , 2013, Decis. Support Syst..

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

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

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

[16]  Alan Leach,et al.  Scheduling Surgical Operations and the Post-Anesthesia Care Unit Using Work Tours and Binary Programming , 2017 .

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

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

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

[20]  Martin Gebser,et al.  The Seventh Answer Set Programming Competition: Design and Results , 2019, Theory and Practice of Logic Programming.

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

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

[23]  Martin Gebser,et al.  The Design of the Seventh Answer Set Programming Competition , 2017, LPNMR.

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

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

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