用两阶段ASP方法求解康复调度问题
Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach
摘要：
康复调度过程的核心部分包括为患者规划康复理疗疗程，通过在给定一天的某个时间段内为他们分配适当的操作员，考虑到若干法律、医学和伦理要求和优化，例如，患者的偏好和操作者的工作平衡。能够有效地解决该问题至关重要，尤其是在COVID-19大流行大幅增加康复需求之后。在本文中，我们提出了一个两阶段的解决方案，康复调度的答案集规划的基础上，这被证明是一个有效的工具，解决实际调度问题。我们首先提出了一个通用的编码，然后添加特定于域的优化。合成和真正的基准测试，后者由ICS Maugeri提供的实验结果表明，我们的解决方案的有效性，以及我们的领域特定的优化的影响。逻辑程序设计理论与实践（TPLP）
英文摘要：
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, e.g., 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. Under consideration in Theory and Practice of Logic Programming (TPLP).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
