Operating Room (Re)Scheduling with Bed Management via ASP. Issue 2 (14th March 2022)

• Record Type: Journal Article
• Authors: DODARO, CARMINE; GALATÀ, GIUSEPPE; KAMRAN KHAN, MUHAMMAD; MARATEA, MARCO; PORRO, IVAN
• Is Part Of: Theory and practice of logic programming. Volume 22:Issue 2(2022)
• Page Start: 229
• Page End: 253
• Publication Date: 2022-03-14
• Subjects: logic programming methodology and applications -- knowledge representation and nonmonotonic reasoning; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068421000090
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: 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.