Hostname: page-component-586b7cd67f-t7fkt Total loading time: 0 Render date: 2024-12-02T11:43:43.189Z Has data issue: false hasContentIssue false

Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach

Published online by Cambridge University Press:  17 April 2023

MATTEO CARDELLINI
Affiliation:
Polytecnic of Torino, Torino, Italy University of Genova, Genova, Italy (e-mail: matteo.cardellini@polito.it)
PAOLO DE NARDI
Affiliation:
ICS Maugeri, Italy (e-mail: paolo.denardi@icsmaugeri.it)
CARMINE DODARO
Affiliation:
DeMaCS, University of Calabria, Rende, Italy (e-mail: dodaro@mat.unical.it)
GIUSEPPE GALATÀ
Affiliation:
SurgiQ srl, Italy (e-mail: giuseppe.galata@surgiq.com)
ANNA GIARDINI
Affiliation:
ICS Maugeri, Italy (e-mail: anna.giardini@icsmaugeri.it)
MARCO MARATEA
Affiliation:
DIBRIS, University of Genova, Genova, Italy DeMaCS, University of Calabria, Rende, Italy (e-mail: marco@dibris.unige.it)
IVAN PORRO
Affiliation:
SurgiQ srl, Italy (e-mail: ivan.porro@surgiq.com)
Rights & Permissions [Opens in a new window]

Abstract

A core part of the rehabilitation scheduling process consists of planning rehabilitation physiotherapy sessions for patients, by assigning proper operators to them in a certain time slot of a given day, taking into account several legal, medical, and ethical requirements and optimizations, for example, patient’s preferences and operator’s work balancing. Being able to efficiently solve such problem is of upmost importance, in particular after the COVID-19 pandemic that significantly increased rehabilitation’s needs. In this paper, we present a two-phase solution to rehabilitation scheduling based on Answer Set Programming, which proved to be an effective tool for solving practical scheduling problems. We first present a general encoding and then add domain-specific optimizations. Results of experiments performed on both synthetic and real benchmarks, the latter provided by ICS Maugeri, show the effectiveness of our solution as well as the impact of our domain-specific optimizations.

Type
Original Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.
Copyright
© The Author(s), 2023. Published by Cambridge University Press

1 Introduction

The rehabilitation scheduling process consists mainly of planning daily patients’ physiotherapy sessions inside a rehabilitation institute, that hereafter we refer to as Rehabilitation Scheduling Problem (RSP) (Huang et al. Reference Huang, Zheng and Chien2012; Huynh et al. Reference Huynh, Huang and Chien2018; Li and Chen Reference Li and Chen2021; Schimmelpfeng et al. Reference Schimmelpfeng, Helber and Kasper2012). Hospitals that may profitably make a practical use of such scheduling, including those managed by ICS Maugeri Footnote 1 , which will provide benchmarks in this paper, deal with up to hundreds of patients with a team of just few tens of physiotherapists; so, it is of paramount importance to be able to assign patients to operators, that is, physiotherapists, efficiently. A recent article by Cieza et al. (Reference Cieza, Causey, Kamenov, Hanson, Chatterji and Vos2020) found that 2.41 billion people could benefit from rehabilitation services. This finding means that almost one-third of the current population in the world needs rehabilitation at some point during the course of their lives due to disease or injury; further, this number is predicted to trend upward given the current demographic and health shifts. In addition, there is emerging evidence that many of the people affected by the COVID-19 pandemic have long-term consequences regardless of the disease severity or length of hospitalization, thus further increasing the demand for rehabilitation services globally.

The RSP is subject to several constraints, that is, legal, medical, and ethical, that need to be taken into consideration in order to find a viable schedule. For example, the main constraints that have to be dealt with are the maximum capacity of rehabilitation gyms, the legal working time and rest periods for operators, and the minimum durations of physiotherapy sessions. Moreover, several preferences shall be considered, for example, due to clinical and organizational reasons it is often best for a patient to be treated as often as possible by the same operator and at the same time slot; also, rehabilitation professionals’ work balancing needs to be taken into proper account.

In this paper, we present a solution to the RSP based on Answer Set Programming (ASP) (Gelfond and Lifschitz Reference Gelfond and Lifschitz1991; Niemelä Reference Niemelä1999; Baral Reference Baral2003; Brewka et al. Reference Brewka, Eiter and Truszczynski2011), which proved to be an effective tool for solving practical scheduling problems (Gebser et al. Reference Gebser, Obermeier, Schaub, Ratsch-Heitmann and Runge2018; Ricca et al. Reference Ricca, Grasso, Alviano, Manna, Lio, Iiritano and Leone2012; Dodaro and Maratea 2017; Dodaro et al. Reference Dodaro, Galatà, Grioni, Maratea, Mochi and Porro2021), thanks also to the availability of efficient ASP solvers. The solution is designed as a two-phase encoding (Section 3): the first phase, called board, deals with the problem of assigning a physiotherapist to every patient considering the total working time of the physiotherapist and the minimum mandatory time of rehabilitation sessions. In the second phase, called agenda, a start and end time of every rehabilitation session is defined given the assignment among patients and physiotherapists found in the first phase. Our two-phase solution is not guaranteed to find the best possible overall solution, but has been designed in this way because: (i) it simplifies the overall encoding and its practical use, and (ii) it mimics how schedules have been computed so far (in a non-automatic way) by ICS Maugeri and gives freedom to physiotherapists’ coordinators to perform any desired manual change. In fact, coordinators have specifically requested to have the possibility to manually change some patient-operator assignments (the output of the board) before sending it to the agenda phase. Even if this manual change is seldom made, it gives the coordinators a sense of control and the possibility to introduce human knowledge and expertise in the scheduling. It is important to acknowledge that this tool is not advertised and sold as a medical device, but it is a tool for supporting the decision of the coordinators. For this reason, it is legally mandatory for the coordinators to have a more granular control (and responsibility) over the decisions. We first tested (Section 4) our encoding on real scenarios from ICS Maugeri related to the daily scheduling of neurological patients in two of their rehabilitation institutes in the North of Italy, namely Genova Nervi and Castel Goffredo. In the analysis, we decided to limit the run-time of the ASP solver clingo (Gebser et al. Reference Gebser, Kaufmann and Schaub2012) to only 30s (while in production the cut-off is set to 5 min): This narrow time limit allows for running much more experiments and having a more significant comparison with the different optimization algorithms in clingo. Then, given that ICS Maugeri is planning to instrument with automated techniques other, possibly larger, institutes in addition to Genova Nervi and Castel Goffredo, we generated a wide set of synthetic benchmarks, whose parameters are inspired by real data. We made a wide experimental evaluation and statistically confronted synthetic and real data results using classification decision tree methods (Quinlan Reference Quinlan1986), with the aim of predicting the behavior of our solution on such larger institutes. Results show that the accuracy is high, so our synthetic benchmarks appear significant to indicate a possible behavior on real data coming from other institutes with other parameters and similar characteristics. As a side effect, this analysis also outlines the features of the problems that affect the results mostly. Finally, with the aim of further improving the results, and lower the still remaining percentage of instances that could not be solved, we added domain-specific optimizations to our encoding (Section 5): results of the improved encoding show that we are now able to find a solution, even if not always optimal, to every instance within the time limit. The paper is completed by an informal description of the RSP in Section 2 and by discussing related work and presenting conclusions in Section 6 and 7, respectively.

2 Problem description

In this section, we describe the problem we face in four paragraphs. First, we present the general description of the problem, then the data that characterize the main elements of the problem, followed by the requirements of the phases. The last paragraph shows a solution schedule.

General description

The delivery of rehabilitation services is a complex task that involves many healthcare professions such as physicians, physiotherapists, speech therapists, psychologists, and so on. In particular, physiotherapists are the ones who spend most of their time with patients and their sessions constitute the core of the daily agenda of the patient, around which all other commitments revolve. For this reason, this article is focused on scheduling the physiotherapy sessions in the most efficient way, optimizing the overall time spent with the patient.

The agenda for the physiotherapy sessions is computed by the coordinator of the physiotherapists. This process is repeated on a daily basis in order to take into account any change in the number and type of patients to be treated, and the number of operators available. Up until recently, this computation has been performed manually by coordinators, without any decision support. The usual scheduling practice entails two subsequent phases resulting in the computation of a board and an agenda, that we herewith describe. In short, the first phase, called board, deals with the problem of assigning a physiotherapist to every patient, keeping track of the total working time of the operator and the minimum mandatory time of rehabilitation sessions. In the second phase, called agenda, a start and end time of every rehabilitation session is computed, given the assignment among patients and operators found in the first phase.

In more details, in the board phase, we ensure that the working hours of operators are respected by counting their total working time, in minutes, and assigning patients to each operator in such a way that the cumulative time of all their sessions remains below the operator’s total working time. In this phase, patient-operator assignment preferences, expressed by the coordinator before the start of the scheduling procedure, are taken into account and respected as far as possible. In the agenda phase, given an assignment found by the board, every patient-operator session is assigned a starting and ending time, respecting the more granular working hours of the operators and the times in which the patients are unavailable. At this stage, the location in which the rehabilitation session is performed is also considered. A location, either a gym or the room of the patient, is assigned to the session, according to the clinical needs of the patient. The choice of the gym is carried out by considering the maximum number of simultaneous sessions allowed inside the gym and has to be made among a subset of gyms which are located at the same floor as the room of the patient, in order to avoid elevators and stairs that can result in discomfort to patients and slowness which can quickly congest the hospital. In this phase, time preferences for each patient are also considered: in fact, plans in which the sessions are performed closer to the desired time of the patients are to be preferred to others.

Instance description

In this paragraph, we describe the main elements of our problem in more details, namely patients, operators, and sessions, as well as the constraints and preferences entailed by the board and agenda phases.

Patients

Patients are characterized by their:

  • type (Neurological, Orthopedic, COVID-19 Positive, COVID-19 Negative, Outpatient Footnote 2 ),

  • aid needs, that is, if they need specific care or not (e.g. if they need to be lifted),

  • payment status (full payer or in charge of the National Healthcare Service),

  • forbidden times, that is, the time intervals when the patient cannot be scheduled,

  • ideal time, that is, the preferred scheduled timeslot in which the session should take place, expressed by the coordinator,

  • preferred operators, that is, the list of physiotherapists, ordered by priority, the patient can be assigned to,

  • overall minimum length, that is, the minimum amount of care time that the patient is guaranteed to be scheduled,

  • sessions, that is, the list of sessions to be scheduled.

Operators

Physiotherapists, which will be called operators from now on, are characterized by their:

  • qualifications, that is, patient’s types the operator can treat,

  • operating times, that is, the part of the operator’s working times dedicated to the direct care of the patients. The operating times are usually split in morning and afternoon shifts.

Moreover, each operator has a limit on the number of patients of a specific type to treat.

Sessions

The coordinator, in accordance with the rehabilitation program set by the physician, determines the daily activities of the patient. These activities can be performed in one or two therapy sessions; in the latter case, one session will be scheduled in the morning and the other one in the afternoon shift.

Each session can be delivered to patients either individualized (“one-on-one” sessions) or supervised (one therapist supervising more patients at the same time, each patient carrying out their personal activity independently). It must be noted that while operators deliver one-on-one therapy to one patient, they can supervise other patients. When the operators are particularly overbooked, their one-on-one sessions can be partially converted to supervised ones. These mixed sessions can either start with a supervised part and then continue with the one-on-one part, or vice-versa, or even start and end with a supervised part with a middle one-on-one session. Obviously, an operator can supervise different patients only if their sessions are located at the same place. In the next paragraphs, when defining the agenda, Figure 1 will graphically explain the semantic of a mixed session.

Fig. 1. Result of the scheduling of the agenda in a real case scenario in the hospital of Genova Nervi. Light blue (yellow) squares represent time units in which the sessions will be performed in an individual (supervised) fashion. The ticks on the left keep track of the period (morning or afternoon) and time slot in which the session will start or end.

The characteristics of the sessions are as follows:

  • delivery mode (one-on-one, supervised),

  • minimum one-on-one length, that is, the minimum length of the session guaranteed to be delivered one-on-one,

  • ideal overall length, that is, the overall length of the session including the one-on-one and supervised parts,

  • optional status, that is, if the session can be left out of the schedule in case of overbooked operators,

  • forced time, that is, the time when the session must be scheduled; if empty, the session is placed as close as possible to the patient’s preferred time,

  • location, that is, the place where the session must be delivered.

Constraints of the phases

The requirements that the two phases entail are reported in the following sub-paragraphs.

Board

In the board phase, all patients are assigned to an available operator, according to the following criteria:

  • compatibility between patient and operator, depending on the patient’s type and operator qualifications, the patient’s forced time, if any, and the operator working times, by also checking if the operator has enough time to provide the guaranteed overall minimum length and minimum one-on-one length to each patient and session,

  • the patients should be fairly distributed among all available operators, taking into account their type, aid needs, and payment status,

  • the patients should be assigned to the operators respecting as much as possible their preferred operators list, which considers primarily the choices of the coordinator and secondarily the history of the past assignments.

Agenda

The results of the board phase can be revised (e.g. in special cases, the coordinator can override the preferred operators list and force an assignment of a patient to an operator regardless of all other considerations) and, if necessary, manually modified by the coordinator. Once the coordinator is satisfied with the board, it is possible to proceed to the agenda scheduling, using the approved board as input. The criteria for the agenda phase are as follows:

  • compliance with the forced time of the session, if specified,

  • two sessions of the same patient must be assigned in different shifts,

  • compliance with the minimum one-on-one length of the session,

  • no overlap between two one-on-one sessions (or the one-on-one part of the session if mixed) assigned to the same operator,

  • observance of the maximum capacity of the locations (1 for each room, varying for the gyms),

  • respect of the minimum cumulative time that the patient should be treated among all the sessions,

  • respect of the one-on-one minimum session length,

  • compliance with the forbidden times of the patient,

  • sessions can only be scheduled within the working times of the operator,

  • the start time of each session should be as close as possible to the preferred time, either specified by the coordinator or inferred from previous schedules,

  • for mixed sessions, the one-on-one part should be maximized,

  • the largest possible number of optional sessions should be included,

  • the overall length, including the one-on-one and supervised parts in case of mixed sessions, should be as close as possible to the ideal overall length specified by the coordinator.

Scheduling example

As previously stated, the output of the agenda phase is a start time and duration of every session during the day. Since, in ICS Maugeri, the scheduling was already performed with a timeslot of 10 min, we decided to keep this discretization in place. For this reason, the sessions can start every 10 min in the working hours of the hospital (8AM–12AM in the morning, 1:30PM–4PM in the afternoon) and last a multiple of 10 min. Figure 1 shows the scheduling of the agenda in a real case scenario in the hospital of Genova Nervi. Light blue squares represent time units in which the sessions will be performed in an individual fashion, and yellow squares represent time units of sessions in which the patient will be dealt in a supervised mode. Ticks on the left side of the figure describe the period (AM = Morning, PM = Afternoon) and the number we associate to each timeslot. As it can be seen in the first column, Operator 1 (OP1) deals with the first session (S5) as a mixed session: the session starts in individual one-to-one mode with all the attention of the operator focused on the patient (P4). After 4 time slots (i.e. 40 min, the session minimum time), the operator moves the attention to another patient (P1 performing session S1) while the previous patient finishes the session, in the same room, on its own. In a more practical way, in the first 40 min the operator helps the patient in performing exercises which could not be performed alone in a correct way. In the remaining 20 min, which are still very beneficial to the patient, the patient performs the exercises that can be done alone while the operator is working with another patient. Being in the same room, the operator can still intervene if the supervised patient needs correction. Some sessions (e.g. session S17 of patient P13 performed in the morning by operator O4) are performed in a complete supervised fashion since they are additional secondary sessions which are medically beneficial to the patient but not mandatory (e.g. patient P13 already performs session S16 in an individual fashion with operator O4 in the afternoon).

3 A two-phase ASP encoding for the RSP

In the following, we assume the reader is familiar with syntax and semantics of ASP. Starting from the specifications in the previous section, here we present the ASP encoding, based on the input language of clingo (Gebser et al. Reference Gebser, Kaminski, Kaufmann, Ostrowski, Schaub and Wanko2016). For details about syntax and semantics of ASP programs, we refer the reader to Calimeri et al. (Reference Calimeri, Faber, Gebser, Ianni, Kaminski, Krennwallner, Leone, Maratea, Ricca and Schaub2020).

3.1 Board encoding

Data Model

The input data are specified by means of the following atoms:

  • Instances of patient(P), operators(O), and type(T) represent the identifiers of patients, operators, and the different types of patients that can be visited, respectively, where P and O are numbers, whereas T is of the form value-needs-status, where value can be neurologic, orthopedic, covid-19-positive, covid-19-negative, or outpatient; needs can be lifter or nolifter, and status can be payer or free. For instance, neurologic-lifter-payer indicates that the patient needs a neurological treatment, must be lifted, and the treatment must be paid. Moreover, a fictitious operator with ID equals to -1 is included in the list of all the operators, and it is needed to intercept all patients that cannot be assigned to other operators (like a catch-all Footnote 3 ).

  • Instances of operator_contract(ID,TIME,MAX) represent the contract of the operator with the identifier ID and include the quantity of time (in time units) the operator works in a day (TIME), and the maximum number of patients the operator can visit during the day (MAX).

  • Instances of operator_limit(ID,T,VALUE) represent the maximum number of patients (VALUE) of type T the operator with identifier ID can visit. The operator with ID equals to −1 has no patients limit.

  • Instances of patient_data(ID,T,DUR) represent the data associated with the patient with the identifier ID and include the type of the patient (T), and the minimum cumulative time of all sessions of the patient during the day (DUR).

  • Instances of patient_session(ID,MIN,LOC) represent a rehabilitation session that the patient with identifier ID needs to perform during the day. The session is characterized by a minimum length for the session in time units (MIN) and the location of the session (LOC).

  • Instances of patient_preference(ID,OP,W) represent the preference of the patient with identifier ID to be treated by the operator with identifier OP, where W specifies the weight of the preference.

  • Similarly, instances of history_preference(ID,OP,W) represent the preference of the patient based on the history of previous sessions in previous days.

The output is an assignment represented by atoms of the form assignment(OP, PAT), stating that patient PAT will be treated by operator OP.

Encoding

The related encoding is shown in Figure 2 and is described in the following. To simplify the description, the rule appearing at line i in Figure 2 is denoted with ri. Rule r 1 ensures that each patient is assigned to exactly one operator. Rules r 2 and r 3 are used to define if the session between a patient and an operator will be performed individually in a single location (r 2), or it will be executed in the same location of another session (r 3), by creating two auxiliary atoms uniqueLocationLength(OP,PAT,DUR) and sameLocationLength(OP,PAT,DUR) that represent the duration DUR in time slots of the session between operator OP and patient PAT performed in a single or same location, respectively, used in the next rule. Rule r 4 ensures that the time required by the patients assigned to an operator does not exceed the maximum time of her/his contract. Rule r 5 ensures that each operator does not exceed the maximum number of patients to visit during the day. Rule r 6 is similar to the previous one, but in this case the limits are imposed according to the type of the patient.

Fig. 2. ASP Encoding for the board problem.

Weak constraints from r 7 to r 9 are then used to provide preferences among different assignments. In particular, r 7 is used to maximize the assignments that fulfill the preferences of each patient. Then, r 8 is used to minimize the number of patients that are assigned to the fictitious operator. Finally, r 9 is used to maximize the solutions that preserve assignments dictated by the history of previous sessions.

3.2 Agenda encoding

Data Model

The following atoms constitute the input data:

  • Instances of patient(ID,MIN) represent a patient identified by ID, and a minimum rehabilitation session of MIN length in time units that the patient has to undertake during the day.

  • Instances of period(PER,OP,STA,END) define the start (STA) and end (END) time unit in the period PER (which can be morning or afternoon), which corresponds to the shift of the operator with identifier OP.

  • Instances of time(PER,OP,T) define the time slots T during the period PER where the operator OP works. In particular, T ranges from STA to END defined by the above atom, that is, time is defined as time(PER,OP,STA..END) :- period(PER,OP,STA,END).

  • Instances of location(ID,CAP,PER,STA,END) represent a location (i.e. a gym or a room), with an identifier ID, a maximum capacity of CAP, which, during the period PER, is open from the time unit STA until END.

  • Instances of macro_location(MLOC,LOC) define that the location LOC is inside the macro-location MLOC (i.e. a floor).

  • Instances of session(ID,PAT,OP) represent a session between the patient PAT and the operator OP, coming from the assignment(OP,PAT) output of the board phase, to which a unique ID is added (to discriminate between morning and afternoon shifts).

  • Instances of session_type(ID,OP,TYPE) represent that the session with identifier ID assigned to operator OP is of type TYPE (which can be individual or supervised).

  • Instances of session_macro_location(ID,MLOC) represent that the session with identifier ID has to be held in the macro-location MLOC.

  • Instances of session_length(ID,MIN,IDEAL) represent that the session ID has a minimum length (MIN) that has to be performed in individual, and an ideal length (IDEAL) that would be beneficial to the patient, but it is not mandatory to perform.

  • Instances of mandatory_session(ID) and optional_session(ID) identify sessions that are mandatory and optional, respectively.

  • Instances of forbidden(PAT,PER,STA,END) represent an unavailability of the patient PAT in the period PER from the time unit from STA to END.

  • Instances of session_preference(ID,PER,START,TYPE) represent the preference of the patient, stating that the session should be held during the period PER and it must start at the time unit START, where TYPE indicates if the preference is high or low.

The output is represented by atoms start(ID,PER,T), length(ID,PER,L), and session_location(ID,LOC), which indicate the start, length, and location of each session, respectively.

Encoding

In Figure 3, the encoding for the agenda is presented. Rules r 1 and r 2 assign a start time to every session: for the optional session, the start atom can be unassigned. Rule r 3 defines a length for all the sessions: the session length cannot be lower than the minimum time of the session and cannot be greater than the ideal time the session should take. Rule r 4 assigns a location for each session. Rules r 5 and r 6 reserve to each session slots of time before it starts and after it ends, in which the session can be performed in a supervised fashion.

Fig. 3. ASP Encoding for the agenda problem.

Then, rules r 7 and r 8 define auxiliary atoms extstart(ID,PER,TS) and extlength(ID,PER,TS) using TS slots of times for the session with identifier ID on period PER reserved for the start and length extensions, respectively. Rule r 10 defines an auxiliary atom of the form individual_session_location(ID,LOC,OP,MIN,IDEAL) which represents that an individual session ID in the location LOC is assigned to the operator OP, and its minimum and ideal lengths are equal to MIN and IDEAL, respectively. Rule r 10 defines session_time(ID,OP,PL,PER,T) which states that during time T of period PER the session ID is being performed by operator OP.

Rule r 11 states that two individual assignments shall not overlap. Rule r 12 imposes that each patient is assigned to at most one session per period. Rules r 13 trough r 15 impose that the optional individual time (i.e. the difference between the minimum length of the session and the planned length) is added fairly to all individual sessions, starting with shorter ones. Rule r 16 imposes that for each time slot, the operator is not in two different places. Rule r 17 states that patients must have their minimum time reserved. Rule r 18 imposes a limit on the concurrent use of locations with limited capacity. Rules r 19 through r 21 impose that a session cannot happen during a forbidden time. Rule r 22 avoids that, during a time slot, the distribution of sessions between each pair of locations inside the same macro-location is unfair (i.e. a location is at its full capacity while another is empty).

The weak constraint r 23 states that each session duration should be as close as possible to the ideal duration. Rules r 24 and r 25 minimize the distance between the actual and the preferred starting time for the sessions with high priority. Rule r 26 maximizes the number of optional sessions included in the scheduling. Rules r 27 and r 28 are similar to r 24 and r 25, respectively, but for the sessions having low priority.

4 Experimental analysis

In this section, the analyses performed on the two encodings are presented. The first part of our analysis is performed on real data coming from the institutes of Genova Nervi and Castel Goffredo; then, in order to evaluate the scalability of the approach and to analyze how our solution would behave in larger institutes having similar characteristics, an analysis is performed on synthetic instances with increasing dimensions, but considering real parameters. A comparison between the real and synthetic instances validates the approach and demonstrates that synthetic instances can reasonably model the problem at hand. All these three parts are included, in separate paragraphs, in a first subsection, while a second subsection is devoted to a comparison to alternative logic-based formalisms. Encodings and benchmarks used in the experiments can be found at: http://www.star.dist.unige.it/ marco/RuleMLRR2021TPLP/material.zip.

4.1 Results of the encoding

Real data

ICS Maugeri utilizes a web-based software called QRehab (Saverino et al. Reference Saverino, Baiardi, Galata, Pedemonte, Vassallo and Pistarini2021), which is built on top of the specified encoding; thus, analysis can be performed on real data coming from the institutes of Genova Nervi and Castel Goffredo, which tested and used this software since mid 2020 for Genova Nervi and the beginning of 2021 for Castel Goffredo. This allowed us to access 290 instances for Genova Nervi and 100 for Castel Goffredo. Table 1 provides an overview of the dimension of the instances in the two institutes in terms of number of physiotherapists, number of daily patients, density of patients per operator, number of floors (i.e. macro-locations), and number of total gyms (which we recall are locations in which multiple sessions can be performed in parallel). In Table 2, the results obtained by the two encodings are presented in terms of percentage of instances for which an optimal/satisfiable/no solution is computed, which also correspond to the three outcomes of interest for a practical use of our solution. The last two rows report the mean time of instances solved optimally and of the last computed solution for all satisfiable instances, respectively. The scheduling was performed using the ASP solver clingo (Gebser et al. Reference Gebser, Kaufmann and Schaub2012) with a cut-off of 30 s using two different optimization methods: The first is the default Branch&Bound (BB) optimization method (Gebser et al. Reference Gebser, Kaminski, Kaufmann, Romero and Schaub2015) with the option –restart-on-model enabled; the second leverages instead the Unsatisfiable Core (USC) algorithm (Andres et al. 2012) with the clingo options –opt-strategy=usc,k,0,4 and –opt-usc-shrink=bin enabled (which turn on the algorithm k (Alviano and Dodaro Reference Alviano and Dodaro2020) and the shrinking of the unsatisfiable cores (Alviano and Dodaro Reference Alviano and Dodaro2016), respectively). The cut-off of 30 s was chosen in order to be able to analyze a vast amount of experiments in overall reasonable time and has proven to be a sufficient amount of time to achieve meaningful results; in the software used daily by the ICS Maugeri, the cut-off is set to 300 s, as a means to solve even the hardest instances, having a limited number of instances to be run daily. As it can be seen in Table 2, results are mixed: the USC algorithm performs better in the agenda encoding while the BB algorithm is better on the board scheduling; moreover, 100% of the board instances are solved, while for approximately one third of the agenda instances from Castel Goffredo a solution cannot be found. Considering these are hard real instances and cut-off time is limited, results are positive and highly appreciated by ICS Maugeri members.

Table 1. Dimensions of the ICS Maugeri’s institutes.

Table 2. Results on ICS Maugeri institutes.

Synthetic data

In order to understand how our solution scales to larger institutes having similar characteristics, a simulated approach is needed. For this reason, a generator able to produce random instances with features as close as possible to the ones of real hospitals was developed. Some examples of real data utilized are the percentage of individual and supervised sessions, the medium length of operator’s shifts, the occurrence of forbidden time slots for patients, and the ideal length of sessions. For every new instance created, each feature was extracted from a random distribution which was modeled from the real data coming from the hospitals or from the knowledge of institute administrators and managers. In Figure 4, results of the scheduling of the board encoding, computed from the synthetic data, are presented. The x-axis defines the number of patients and the y-axis the number of operators; white lines represent points in which the density is an integer. Every pixel of the image depicts the mode of the results of 5 simulations executed with the corresponding number of patients and operators with a cutoff of 30 s using the BB optimization algorithm (left) and the USC optimization algorithm (right). The color of a pixel thus signals if the majority of instances with that particular number of operators and patients resulted in the following: (i) Optimum Found, signaling that the optimal stable model was found, (ii) Satisfiable, when at least one suboptimal stable model was found, but the solution is not guaranteed to be optimal, (iii) Unknown, if no stable model could be found before the cut-off, or (iv) Unsatisfiable, when no stable model exists which can satisfy all the constraints. As it can be seen from the figure, the results of the scheduling are directly proportional to the density (i.e. the average number of patients for every operator), changing from Optimum Found to Satisfiable when reaching a density of approximatively 2.4 patients per operator. Notably, despite the use of random instances, no instance results Unsatisfiable since the fictitious operator can always catch the patients which cannot be assigned to any operator (due to all the operators reaching full capacity). The position of the hospitals of Genova Nervi and Castel Goffredo is highlighted with a circle. In this figure, it can be noted how BB gives better results than USC, by being able to find, before the cut-off, at least a suboptimal stable model for instances of higher densities, where, instead, the USC algorithm returns Unknown.

Fig. 4. Results of clingo using the BB optimization algorithm and the option –restart-on -model enabled (left) and the USC optimization algorithm (right) on synthetic benchmarks of the board.

In Figure 5, the results of the agenda encoding, scheduled with the BB algorithm (left) and USC algorithm (right), are presented in the same format as for the previous experiment. The instances for this experiment are the same as the previous one, but are augmented with the assignment among patients and operators found by clingo with the board encoding and other needed parameters. As previously stated, each pixel represents 5 instances and its color represents the mode of the clingo results. Here two things can be noted: (i) unlike the board results, which showed a proportionality with the density, these results show a correlation only with the number of patients, and (ii) some red dots scattered in the image indicate that some instances result Unsatisfiable: this can happen since the random data could create some instances with features that cause an impossibility to schedule. With the BB optimization algorithm, the transition between the Optimum Found and Satisfiability results is located near 40 patients, and near 120 patients for the transition between Satisfiability and Unknown. As it can be seen in Figure 5 (right), the USC algorithm performs instead better and moves the transition between the Optimum found and Satisfiable results from 40 to 60 patients but, on the other hand, the transition between Satisfiable and Unknown slightly decreases from 120 patients to 110. The improvements on the transition between Optimum found and Satisfiable are very important in our setting, since Genova Nervi and Castel Goffredo fall into this area, confirming the improvements obtained in Table 2.

Fig. 5. Results of clingo using the BB optimization algorithm and the option –restart-on- model enabled (left) and the USC optimization algorithm (right) on synthetic benchmarks of the agenda.

Validation of synthetic instances

In order to understand if the simulated instances correctly represent the real data and can be therefore used to predict the behavior of the system in larger institutes with similar characteristics, a validation is needed to compare the results obtained on real and synthetic instances. Intuitively, we have considered the data presented in Table 2 and compared it to the results of the instances within the circles around Genova Nervi and Castel Goffredo in Figures 4 and 5, to check if they “coincide.” For doing so, a decision tree was trained, taking as dataset all the features of the simulated instances, some of them listed in the previous paragraph. Then, a test dataset with features extracted from the real instances was produced and given as input to the decision tree, and the predicted result was then compared to the result given by clingo on the real instances. Figure 6 shows a visual representation of the decision tree trained on the results found by clingo on real data utilizing the BB+RoM approach. The tree nodes represent the most important features found by the decision tree approach, which allows a correct classification of the results of clingo, shown in the leaf nodes. The shown features are (i) the density, that is, the proportion patients/operator ratio, and (ii) the average number of qualifications, that is, the type of patients (orthopedic, neurological, covid-positive etc). Synthetic resources were then used as new data and given as input to the decision tree. The output of the decision tree was then compared with the actual result given by clingo. It can be seen, in fact, how the decision tree in Figure 6 is able to explain the results of the synthetic instances depicted in Figure 4 (left): the color green (representing optimality) is indeed classifiable only by the patients/operator density (i.e. the white diagonal lines) and the transition between the two results happen when the density is near 2.4, as classified, from the real data, by the decision tree. When the density is between 2.42 and 2.77 it can be noted how the average number of qualification (not explicitly shown in Figure 4) makes the difference between an optimal and suboptimal result (the more specialized the operators are, the fewer patients there are available for the planner to choose). This test showed that for the board encoding, all the results on real instances were equal to the predicted ones for both institutes; the agenda encoding produced instead the same results in 93% of the cases for Genova Nervi and in 67% of the cases for Castel Goffredo, thus showing that, overall, the synthetic data behave similarly to the real one and can be used for predicting the behavior of instances in larger institutes having similar characteristics. Finally, the computed decision trees also confirm what are the most relevant features outlined above by inspecting the figures. In fact, if the height of the decision tree is increased, the accuracy of prediction does not improve that much, signaling that the features shown in Figure 6 are sufficient to explain the differences in the results of clingo.

Fig. 6. Visual representation of the decision tree trained on the results found by clingo on real data utilizing the BB+RoM algorithm. The tree nodes represent features of the instance (density and average qualifications) and the leafs represent the result given by clingo (optimal found, satisfiable, unsatisfiable, unknown).

4.2 Comparison to alternative logic-based formalisms

In the following, an empirical comparison of our ASP-based solution to alternative logic-based approaches is presented, obtained by applying automatic translations of our ASP encoding. In more detail, the ASP solver wasp (Alviano et al. 2019) was used, with the option –pre=wbo, which converts ground ASP instances into pseudo-Boolean instances in the wbo format (Roussel and Manquinho Reference Roussel and Manquinho2012). Then, the tool pypblib (Ansótegui et al. Reference Ansótegui, Pacheco and Pon2019) was employed to encode wbo instances as MaxSAT instances. Moreover, given that other formalisms cannot handle multi-level optimizations, in order to provide a fair comparison, the ASP instances were processed using wasp with the option –pre=lparse, which collapses all weak constraints levels into one single level using exponential weights. With this approach, the costs found by the different approaches can be straightforwardly compared.

Three state-of-the-art MaxSAT solvers were considered, namely MaxHS (Saikko et al. Reference Saikko, Berg and Järvisalo2016), open-wbo (Martins et al. Reference Martins, Manquinho and Lynce2014), and rc2 (Ignatiev et al. Reference Ignatiev, Morgado and Marques-Silva2019), as well as the industrial tool for solving optimization problems gurobi (Gurobi Optimization, LLC 2021), which is able to process instances in the wbo format. Concerning clingo, the already presented BB+RoM and USC algorithms were used. The latter enables the usage of algorithm oll (Morgado et al. 2014), which is the same algorithm employed by the MaxSAT solver rc2.

These experiments were run using the ASP encoding coming from the already presented real-world instances of the hospitals of Genova Nervi and Castel Goffredo. The experiments were conducted in the following way: firstly, the ASP encoding in which the weak constraints have been collapsed was transformed in the wbo and MaxSAT formats, then all the solvers were called with a cut-off of 30 s (the same used in all the other experiments). Then, for every formalism the following metrics were recorded: if it has found the optimum, the final cost and the time of computation. With these metrics, the formalisms can be ordered from best to worst based on their result: an optimal solution is better than one not declared optimal; if both are suboptimal then the one with the lowest cost is better; if both are optimal then the one which took less to declare optimality is better. In Table 3 the ranking among the formalisms is presented. For each of the different formalisms, the table shows the percentage of how many times it has arrived first, second, or third. Solver TO represents cases in which the solver was unable to find a solution before the cut-off (Unknown). Pypblib TO represents cases in which the tool pypblib was unable to encode wbo instances as MaxSAT instances in a cut-off time of 60 s. For the board encoding both clingo’s algorithms USC and BB+RoM are presented, since they showed comparable result; instead, in the agenda encoding only the USC algorithm is presented since it outperformed the BB+RoM in the previous tests.

Table 3. Comparison between alternative logic-based formalisms for the board and agenda phase.

The results show that for the board encoding, clingo is the most performant algorithm, coming first in almost all the experiments. In particular, clingo with the BB+RoM optimization algorithm resulted more performant than the algorithm relying on the Unsatisfiable Core strategy, which is conformant with the experiments run on the multi-level version of the ASP encoding. For this encoding, it can be seen that for a high number of instances, around 80%, the tool pypblib was unable to encode the MaxSAT instances within the cut-off. Still, in the remaining 20%, clingo remains the most performant algorithm. For the agenda encoding, clingo is still the best solver, but a more precise ranking among solvers can be noticed with MaxHS coming second and OpenWBO third. Notably, RC2 and Gurobi are, with both encoding, always unable to find a solution within the cut-off.

5 Domain-specific optimizations

Motivated by the analysis performed in the previous section, in which ASP outperformed other formalisms on translated (MaxSAT and pseudo-Boolean) formulas, we apply domain specific optimizations to our ASP encoding, with the aim of further improving the solving time and move towards solving larger instances. In Section 4, benchmarks for the board and agenda phases were presented, showing different results based on the optimization algorithm chosen (i.e. BB+RoM or USC). The domain-specific optimizations are presented to mainly decrease grounding, and consequently planning times, with the aim, as mentioned, of being able to find optimum solutions in larger instances, for example, possibly corresponding to larger hospitals. The optimizations are presented only on the agenda encoding, which is the more complicated of the two phases and has still a great margin of improvement via changes in the encoding. These changes all rely on the knowledge of the RSP domain and on the possibility to prune impossible solutions already in the grounding process, avoiding wasting time in search. The section is organized in two subsections, in which the first presents the changes and improvements done on the previous agenda encoding, while the second subsection focuses on the results.

5.1 Optimized encoding

The next two paragraphs present the specific domain optimizations introduced.

Pruning of session starts

As it can be seen in Figure 3, in rules r 1 and r 2 the start of a session is guessed between all the possible time slots in the shift of an operator, expressed via the atom time(PER,OP,TS). These guess rules can be improved by reducing the number of time slots in which it is possible to start a session with the following constraints:

  1. 1. a session cannot start in a time slot near to the operator’ shift’s end. This is because the minimum specified time of the session would not be satisfied, given the shift’s end;

  2. 2. if a patient has a forbidden time (i.e. a time interval where the patient cannot be scheduled), the session cannot start during the forbidden time. Moreover, some timeslots before the forbidden times should be excluded beforehand since, if the session started in these timeslots, this would not allow it to end before the forbidden time starts.

In Figure 7, the ASP encoding for pruning the session starts is shown. In r 29, a new atom forbiddenRange is defined for the purpose of extending the start of forbidden times by including the time slots which would not allow the session to end before the start of the forbidden time. Rule r 30 spreads forbiddenRange in all the time slots (forbiddenSlot) within the range. In rule r 31, a new atom allowedTime is defined as a time slot in the shift of the operator which is not a forbiddenSlot, and which allows the session, with its min length MIN, to end before the end of the shift END. In rules r 32 and r 33, the atom allowedTime replaces the more broad atom time in the guess rule of the start of the session. In the optimized encoding, rules from r 29 to r 33 replace rules r 1 and r 2 of the original encoding (Figure 3).

Fig. 7. Optimized encoding for pruning the session starts.

Pruning of session extension

As stated in Section 2, the agenda encoding relies on two auxiliary atoms (extstart and extlength) as a means to reserve slots of time before it starts and after it ends to each session, in which the session can be performed in a supervised fashion. These before (after) slots of time are decided with a guess rule on the atom before (after) in rule r 5 (r 6) of Figure 3. The definition of these atoms can be improved in order to reduce the number of ground instantiations, in the following way:

  1. 1. as described in the previous paragraph, the extended part of a session cannot start during a forbidden time;

  2. 2. the before and after timeslots cannot be greater than the difference between the ideal length of a session and its minimum length. Since the weak constraints impose a minimization of the distance between the final length of the session and its ideal length, this last acts as an upper bound of the length of the session;

  3. 3. if there is already an extension before the session, the extended length of the session cannot be longer than the ideal length of the session.

Rules r 5, r 6, r 7, and r 8 of the agenda encoding presented in Figure 3 can be substituted by the encoding presented in Figure 8. Rule r 34 states that a value for the before extension can be computed taking the difference between the start of the session and an allowed time slot distant no more than the difference between the ideal and minimum length of a session. Rule r 35 defines the auxiliary atom extstart via the previously guessed before atom. Rule r 36 finds the amount to reserve after the session in the same way as expressed with the before atom. Rule r 37 defines the auxiliary atom extlength now being limited by the ideal length. Rule r 38 imposes that a session must have an extended length (which can correspond to the individual length if no supervised time is needed); this is to avoid solutions in which the planner increases to the maximum both the before and after extensions of a session as a shortcut to falsify all instantiations of rule r 37 by not having an extended length less than the ideal length.

Fig. 8. Optimized encoding for pruning of session extension.

5.2 Results of the optimized encoding

The next two paragraphs present the performance of the optimized encoding on real and synthetic instances, respectively.

Real Data

In Tables 4 and 5, the results of the optimized encoding on real instances of the hospitals in Genova Nervi and Castel Goffredo are presented. Table 4 presents a comparison about the grounding between the two encodings, showing the significant reduction in terms of time, number of variables and number of rules that the optimized encoding brings. Table 5 then shows the results for the basic agenda encoding presented in Section 3.2 with the two algorithms BB+RoM and USC (this part of the table is copied from Table 2). The other half of the table shows the results for the optimized encoding presented in the previous subsection, again with the two algorithms. As it can be seen, the optimized encoding boosts the performances, especially when combined with the USC algorithm. Comparing the two encodings, the first thing that can be noticed is that the optimized encoding is able to find a solution for each instance. Moreover, it can be seen that:

Table 4. Comparison, in terms of grounding, between the basic and the optimized encoding on real instances coming from the Maugeri’s hospitals.

Table 5. Results of the optimized agenda encoding on real instances.

  • even if in Genova Nervi the percentages remain the same for the BB algorithm, the average time in which the last stable model is outputted decreases.

  • with the USC algorithm, using the optimized encoding, for most of the instances both in Genova Nervi and Castel Goffredo, an optimal solution can be found.

Synthetic data

As previously explained in Section 4, testing an encoding on synthetically generated instances is important to understand how our solution could scale to larger institutes having similar characteristics. Figure 9 shows the results of the scalability test performed with the new optimized encoding, where the meaning of the colors, axes and lines has been already explained in Section 4. On the left, the results of running the optimized encoding using clingo with BB+RoM settings; on the right, the result are computing against the optimized encoding leveraging the USC algorithm. Comparing Figure 9 (optimized encoding, Opt) with Figure 5 (basic encoding, Basic) serious improvements can be noted:

Fig. 9. Results of the synthetic benchmarks of the agenda produced by clingo with the optimized encoding.

  • comparing the best combinations, that is, Basic+USC and Opt+BB+RoM, it can be noted how the transition between solution with Optimum Found and Satisfiable stays approximatively the same near 50 patients, but Unknown results no longer appear, meaning that in the cut-off of 30 s clingo can find a suboptimal solution. In fact, the aim of the optimization was to reduce to the minimum the grounding time, which has left now the largest part of the 30 s cutoff to be spent in actually solving.

  • focusing on Opt, the results of Opt+BB+RoM and Opt+USC show the supremacy of the USC algorithm.

Focusing on optimization algorithms, as it can be seen from the figures, the results on these benchmarks are comparable with the ones performed on real data: using the BB+RoM algorithm in fact it can be noted how the area of the graph with properties similar to the hospitals of Nervi and Castel Goffredo (the orange circle) have most of its area of a blue color (representing Satisfiable results) and only for easy examples an optimal solution can be found; using the USC approach, similarly, we can see that in the circle fall most solutions found with optimality, thus confirming the results on the real instances. In fact, comparing the results of Basic+USC and Opt+USC it can be seen a real improvement in the number of instances which can be now solved with optimality: before, with the Basic+USC approach, the transition between solutions Optimum Found and Satisfiable lied near 50 patients, while now has reached almost 90 patients.

At last, we also compared our approach with algorithm USC (that the analysis demonstrated to be the best) to the other logic-based formalisms already employed in Table 3, using the same evaluation metric and presentation. As it is clear from Table 6, the ASP approach is the best also when considering the optimized encoding.

Table 6. Comparison between alternative logic-based formalisms for the optimized agenda phase.

6 Related work

This paper is an extended and revised version of Cardellini et al. (Reference Cardellini, Nardi, Dodaro, Galatà, Giardini, Maratea, Porro, Moschoyiannis, Peñaloza, Vanthienen, Soylu and Roman2021), having the following main consistent additions: (i) a comparison to alternative logic-based formalisms on real instances (Subsection 4.2), and (ii) the definition and related experimental evaluation of two domain-specific optimizations (Section 5).

There have been few attempts in the literature to solve rehabilitation scheduling, since most hospitals are still doing it in a manual way. Among the automated solutions, often they are applied to real-world data. However, their results are not directly comparable to ours, since their constraints and objective functions are different from the ones that emerged from our meetings with the physiotherapists and management at ICS Maugeri. In particular, to our knowledge, no other solution takes into account several aspects like the preferred time for the session scheduling and the preferences in the assignment of the patient to the operator. Huang et al. (Reference Huang, Zheng and Chien2012) developed a system, equipped with a Graphical User Interface, which can generate the optimal schedules for rehabilitation patients to minimize waiting time and thus enhance service quality and overall resource effectiveness of rehabilitation facilities. More recently, Huynh et al. (Reference Huynh, Huang and Chien2018) further refined the algorithm in order to develop a hybrid genetic algorithm (GASA) that integrates genetic algorithm (GA) and simulated annealing (SA). Recently, Li and Chen (Reference Li and Chen2021) designed a genetic algorithm based on Waiting Time Priority Algorithm (WTPA), which was tested on a rehabilitation department. Schimmelpfeng et al. (Reference Schimmelpfeng, Helber and Kasper2012) developed a decision support system for the scheduling process based on mixed-integer linear programs (MILPs), to determine appointments for patients of rehabilitation hospitals, subject to numerous constraints that are often found in practice. We already mentioned in the introduction that ASP has been already successfully used for solving application problems in several research areas (see, e.g. Gebser et al. (Reference Gebser, Kaminski, Kaufmann, Ostrowski, Schaub and Wanko2016) for routing driverless transport vehicles, Ricca et al. (Reference Ricca, Grasso, Alviano, Manna, Lio, Iiritano and Leone2012) for team scheduling, and Erdem et al. (Reference Erdem, Gelfond and Leone2016) for a general overview) including scheduling problems in the Healthcare domain (see, e.g. Alviano et al. (2020) for an overview focused on them). Differently from previous papers in the Healthcare domain, the current work focuses on the rehabilitation scheduling problem, that was not addressed before using ASP, and it combines a two-phase encoding, rather than the usually employed direct encoding, with the evaluation of the solution on real benchmarks. Concerning the experimental analysis, similarly to Dodaro et al. (Reference Dodaro, Galatà, Grioni, Maratea, Mochi and Porro2021), in this work we compared our ASP-based solution with alternative logic-based approaches.

Finally, in Saverino et al. (Reference Saverino, Baiardi, Galata, Pedemonte, Vassallo and Pistarini2021) an analysis of the usage of the tool in the hospital of Genova Nervi for a period of approx. 6 months is reported. As an example, statistics about the sessions planned by our ASP encodings and their actual durations in the hospital usage are recorded. As shown in the paper, reported and planned session lengths are similar, with the ratio between these two quantities has been between 0.95 and 1.05 for the 95% of the considered time span.

7 Conclusion

In this paper, we have presented a two-phase ASP encoding for solving rehabilitation scheduling. We have started from a general solution, then extended with domain-specific optimizations. Our solution has been tested with clingo and both real and synthetic benchmarks, the former provided by ICS Maugeri while the latter created with real parameters and employed to understand a possible behavior of the solution on upcoming institutes where the solution will be employed. Results are satisfying for the institutes employed at the moment and give some indications about the upcoming institutes ICS Maugeri plans to instrument with this solution. Domain-specific optimizations further improve the results, by also diminishing the number of instances for which a solution cannot be found in short time. Future research includes a more fine-grained analysis of our solution by, for example, combining the strengths of the optimization algorithms, analyzing further dimensions of our encoding, for example, number of floors and gyms for synthetic benchmarks, and benchmarking the impact of the introduced domain-specific optimizations separately.

Competing interests

The authors declare none.

Footnotes

*

This paper is an extended and revised version of a conference paper appearing in the proceedings of the RuleML+RR 2021 conference (Cardellini et al. 2021).

2 A person who goes to a hospital for a daily treatment, without staying the night.

3 This is because, for practical reasons, we always want to have a solution.

References

Alviano, M., Amendola, G., Dodaro, C., Leone, N., Maratea, M., and Ricca, F. Evaluation of disjunctive programs in WASP. In LPNMR 2019 2019, vol. 11481 of LNCS. Springer, 241–255.Google Scholar
Alviano, M., Bertolucci, R., Cardellini, M., Dodaro, C., Galatà, G., Khan, M. K., Maratea, M., Mochi, M., Morozan, V., Porro, I. and Schouten, M. Answer set programming in healthcare: Extended overview. In Joint Proceedings of the 8th IPS Workshop and the 27th RCRA Workshop co-located with AIxIA 2020 2020, vol. 2745 of CEUR Workshop Proceedings. CEUR-WS.org.Google Scholar
Alviano, M. and Dodaro, C. 2016. Anytime answer set optimization via unsatisfiable core shrinking. Theory and Practice of Logic Programming, 16, 56, 533551.CrossRefGoogle Scholar
Alviano, M. and Dodaro, C. 2020. Unsatisfiable core analysis and aggregates for optimum stable model search. Fundamenta Informaticae, 176, 34, 271297.CrossRefGoogle Scholar
Andres, B., Kaufmann, B., Matheis, O. and Schaub, T. Unsatisfiability-based optimization in clasp. In Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012 2012, vol. 17 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 211–221.Google Scholar
Ansótegui, C., Pacheco, T. and Pon, J. 2019. Pypblib.Google Scholar
Baral, C. 2003. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press.CrossRefGoogle Scholar
Brewka, G., Eiter, T. and Truszczynski, M. 2011. Answer set programming at a glance. Communications of the ACM, 54, 12, 92103.CrossRefGoogle Scholar
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Maratea, M., Ricca, F. and Schaub, T. 2020. ASP-Core-2 input language format. Theory and Practice of Logic Programming, 20, 2, 294309.CrossRefGoogle Scholar
Cardellini, M., Nardi, P. D., Dodaro, C., Galatà, G., Giardini, A., Maratea, M. and Porro, I. A two-phase ASP encoding for solving rehabilitation scheduling. In Moschoyiannis, S., Peñaloza, R., Vanthienen, J., Soylu, A. and Roman, D., Eds., Proceedings of the 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021) 2021, volume 12851 of Lecture Notes in Computer Science. Springer, 111125.CrossRefGoogle Scholar
Cieza, A., Causey, K., Kamenov, K., Hanson, S. W., Chatterji, S. and Vos, T. 2020. Global estimates of the need for rehabilitation based on the Global Burden of Disease study 2019: A systematic analysis for the Global Burden of Disease Study 2019. The Lancet, 396, 10267, 20062017.CrossRefGoogle ScholarPubMed
Dodaro, C., Galatà, G., Grioni, A., Maratea, M., Mochi, M. and Porro, I. 2021. An ASP-based solution to the chemotherapy treatment scheduling problem. Theory and Practice of Logic Programming, 21, 6, 835851.CrossRefGoogle Scholar
Dodaro, C. and Maratea, M. Nurse scheduling via answer set programming. In Balduccini, M. and Janhunen, T., Eds., Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017) 2017, volume 10377 of Lecture Notes in Computer Science. Springer, 301307.CrossRefGoogle Scholar
Erdem, E., Gelfond, M. and Leone, N. 2016. Applications of answer set programming. AI Magazine, 37, 3, 5368.CrossRefGoogle Scholar
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T. and Wanko, P. Theory solving made easy with clingo 5. In M. Carro, A. King, N. Saeedloei and M. D. Vos, Eds., Proceedings of ICLP (Technical Communications) 2016, vol. 52 of OASICS. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2:1–2:15.Google Scholar
Gebser, M., Kaminski, R., Kaufmann, B., Romero, J. and Schaub, T. Progress in clasp Series 3. In LPNMR 2015, vol. 9345 of LNCS. Springer, 368–383.Google Scholar
Gebser, M., Kaufmann, B. and Schaub, T. 2012. Conflict-driven answer set solving: From theory to practice. Artificial Intelligence, 187, 5289.CrossRefGoogle Scholar
Gebser, M., Obermeier, P., Schaub, T., Ratsch-Heitmann, M. and Runge, M. 2018. Routing driverless transport vehicles in car assembly with answer set programming. Theory Practice of Logic Programming, 18, 34, 520–534.CrossRefGoogle Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9, 3/4, 365–386.Google Scholar
Gurobi Optimization, LLC 2021. Gurobi Optimizer Reference Manual.Google Scholar
Huang, Y.-C., Zheng, J.-N. and Chien, C.-F. 2012. Decision support system for rehabilitation scheduling to enhance the service quality and the effectiveness of hospital resource management. Journal of the Chinese Institute of Industrial Engineers, 29, 348363.CrossRefGoogle Scholar
Huynh, N.-T., Huang, Y.-C. and Chien, C.-F. 2018. A hybrid genetic algorithm with 2D encoding for the scheduling of rehabilitation patients. Computers & Industrial Engineering, 125, 221231.CrossRefGoogle Scholar
Ignatiev, A., Morgado, A. and Marques-Silva, J. 2019. RC2: an efficient maxsat solver. Journal of Satisfiability, Boolean Modeling, and Computation, 11, 1, 5364.CrossRefGoogle Scholar
Li, X. and Chen, H. 2021. Physical therapy scheduling of inpatients based on improved genetic algorithm. Journal of Physics: Conference Series, 1848, 1, 012009.Google Scholar
Martins, R., Manquinho, V. M. and Lynce, I. Open-wbo: A modular maxsat solver,. In SAT 2014 2014, vol. 8561 of LNCS. Springer, 438–445.Google Scholar
Morgado, A., Dodaro, C., and Marques-Silva, J. Core-Guided MaxSAT with Soft Cardinality Constraints. In Proceedings of Principles and Practice of Constraint Programming - 20th International Conference, CP 2014 2014, Lyon, France. Springer, 564–573.CrossRefGoogle Scholar
Niemelä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence, 25, 34, 241–273.CrossRefGoogle Scholar
Roussel, O. and Manquinho, V. 2012. Input/Output Format and Solver Requirements for the Competitions of Pseudo-Boolean Solvers.Google Scholar
Quinlan, J. R. 1986. Induction of decision trees. Machine Learning, 1, 1, 81106.CrossRefGoogle Scholar
Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S. and Leone, N. 2012. Team-building with answer set programming in the Gioia-Tauro seaport. Theory and Practice of Logic Programming, 12, 3, 361381.CrossRefGoogle Scholar
Saikko, P., Berg, J. and Järvisalo, M. LMHS: A SAT-IP hybrid maxsat solver. In SAT 2016 2016, vol. 9710 of LNCS. Springer, 539546.Google Scholar
Saverino, A., Baiardi, P., Galata, G., Pedemonte, G., Vassallo, C. and Pistarini, C. 2021. The challenge of reorganizing rehabilitation services at the time of covid-19 pandemic: A new digital and artificial intelligence platform to support team work in planning and delivering safe and high quality care. Frontiers in Neurology, 12, 643251.CrossRefGoogle ScholarPubMed
Schimmelpfeng, K., Helber, S. and Kasper, S. 2012. Decision support for rehabilitation hospital scheduling. OR Spectrum, 34, 2, 461489.CrossRefGoogle Scholar
Figure 0

Fig. 1. Result of the scheduling of the agenda in a real case scenario in the hospital of Genova Nervi. Light blue (yellow) squares represent time units in which the sessions will be performed in an individual (supervised) fashion. The ticks on the left keep track of the period (morning or afternoon) and time slot in which the session will start or end.

Figure 1

Fig. 2. ASP Encoding for the board problem.

Figure 2

Fig. 3. ASP Encoding for the agenda problem.

Figure 3

Table 1. Dimensions of the ICS Maugeri’s institutes.

Figure 4

Table 2. Results on ICS Maugeri institutes.

Figure 5

Fig. 4. Results of clingo using the BB optimization algorithm and the option –restart-on -model enabled (left) and the USC optimization algorithm (right) on synthetic benchmarks of the board.

Figure 6

Fig. 5. Results of clingo using the BB optimization algorithm and the option –restart-on- model enabled (left) and the USC optimization algorithm (right) on synthetic benchmarks of the agenda.

Figure 7

Fig. 6. Visual representation of the decision tree trained on the results found by clingo on real data utilizing the BB+RoM algorithm. The tree nodes represent features of the instance (density and average qualifications) and the leafs represent the result given by clingo (optimal found, satisfiable, unsatisfiable, unknown).

Figure 8

Table 3. Comparison between alternative logic-based formalisms for the board and agenda phase.

Figure 9

Fig. 7. Optimized encoding for pruning the session starts.

Figure 10

Fig. 8. Optimized encoding for pruning of session extension.

Figure 11

Table 4. Comparison, in terms of grounding, between the basic and the optimized encoding on real instances coming from the Maugeri’s hospitals.

Figure 12

Table 5. Results of the optimized agenda encoding on real instances.

Figure 13

Fig. 9. Results of the synthetic benchmarks of the agenda produced by clingo with the optimized encoding.

Figure 14

Table 6. Comparison between alternative logic-based formalisms for the optimized agenda phase.