Scheduling Pre-Operative Assessment Clinic via Answer Set Programming

The problem of scheduling Pre-Operative Assessment Clinic (PAC) consists of assigning patients to a day for the exams needed before a surgical procedure, taking into account patients with different priority levels, due dates, and operators availability. Realizing a satisfying schedule is of upmost importance for a clinic, since delay in PAC can cause delay in the subsequent phases, causing a decrease in patients’ satisfaction. In this paper, we divide the problem in two sub-problems, and present the results of a first preliminary analysis of the two problems based on Answer Set Programming (ASP). In the first sub-problem patients are assigned to a day taking into account a default list of exams; then, the second sub-problem, having the actual list of exams needed by each patient, use the result of the first sub-problem to assign a starting time to each exam.

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

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

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

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

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

[6]  Michael Gelfond,et al.  Applications of Answer Set Programming , 2016, AI Mag..

[7]  Peter Schüller,et al.  Answer Set Programming in Linguistics , 2018, KI - Künstliche Intelligenz.

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

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

[10]  H. Tariq,et al.  Development, Functioning, and Effectiveness of a Preoperative Risk Assessment Clinic , 2016, Health Services Insights.

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

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

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

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

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

[16]  A. Mccarthy.  Development , 1996, Current Opinion in Neurobiology.

[17]  A. Bader,et al.  Improving Efficiency and Patient Satisfaction in a Tertiary Teaching Hospital Preoperative Clinic , 2010, Anesthesiology.

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

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

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

[21]  S G Elkhuizen,et al.  UvA-DARE ( Digital Academic Repository ) Simulation to analyse planning difficulties at the preoperative assessment clinic , 2008 .

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

[23]  Muhammad Kamran Khan,et al.  Answer Set Programming in Healthcare: Extended Overview , 2020, IPS-RCRA@AI*IA.

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

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

[26]  D. Huo,et al.  Preoperative Clinic Visits Reduce Operating Room Cancellations and Delays , 2005, Anesthesiology.

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

[28]  Torsten Schaub,et al.  Train Scheduling with Hybrid ASP , 2019, LPNMR.

[29]  D. Triulzi,et al.  The effects of a data driven maximum surgical blood ordering schedule on preoperative blood ordering practices , 2017, Hematology.

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

[31]  C. Stark,et al.  Improving patient flow in pre-operative assessment , 2015, BMJ quality improvement reports.

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

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