通过两阶段 ASP 方法求解康复调度问题
计算机科学中的逻辑
2023-03-16 v1
摘要
康复调度过程的核心部分包括为患者规划康复理疗课程，在给定日期的某一时段为其分配合适的操作人员，同时考虑若干法律、医疗与伦理要求及优化目标，例如患者偏好与操作人员工作均衡。能够高效求解此类问题至关重要，尤其在显著增加了康复需求的 COVID-19 疫情之后。本文中，我们提出一种基于答案集编程（Answer Set Programming, ASP）的康复调度两阶段解决方案，ASP 已被证明是解决实际调度问题的有效工具。我们首先给出通用编码，随后加入领域特定优化。在合成与真实基准（后者由 ICS Maugeri 提供）上的实验结果表明了我们方案的有效性及领域特定优化的影响。该文在 Theory and Practice of Logic Programming (TPLP) 审稿中。
引用
@article{arxiv.2303.08709,
title = {Solving Rehabilitation Scheduling problems via a Two-Phase ASP approach},
author = {Matteo Cardellini and Paolo De Nardi and Carmine Dodaro and Giuseppe Galatà and Anna Giardini and Marco Maratea and Ivan Porro},
journal= {arXiv preprint arXiv:2303.08709},
year = {2023}
}
备注
Under consideration in Theory and Practice of Logic Programming (TPLP)