[论文解读] Interactive Timetabling

Tomáš Müller, Roman Barták|ArXiv.org|Sep 17, 2001

Scheduling and Timetabling Solutions被引用 11

一句话总结

本文提出了一种交互式排课框架，结合了自动化约束规划与实时用户干预，使用户能够可视化并引导排课过程。该框架提出了一种通用约束模型及一种交互式算法，提升了排课结果的透明度与用户控制力，解决了纯自动化系统存在的局限性。

ABSTRACT

Timetabling is a typical application of constraint programming whose task is to allocate activities to slots in available resources respecting various constraints like precedence and capacity. In this paper we present a basic concept, a constraint model, and the solving algorithms for interactive timetabling. Interactive timetabling combines automated timetabling (the machine allocates the activities) with user interaction (the user can interfere with the process of timetabling). Because the user can see how the timetabling proceeds and can intervene this process, we believe that such approach is more convenient than full automated timetabling which behaves like a black-box. The contribution of this paper is twofold: we present a generic model to describe timetabling (and scheduling in general) problems and we propose an interactive algorithm for solving such problems.

研究动机与目标

• 通过引入用户交互，解决黑箱自动化排课系统的局限性。
• 开发一种适用于多种排课与调度问题的通用约束模型。
• 设计一种交互式算法，使用户能够实时引导求解过程。
• 通过使排课过程可见且可控，提升用户信任度与满意度。

提出的方法

• 本文提出一种约束模型，用于表示活动、资源以及优先级和容量等约束。
• 采用约束满足方法，其中变量代表时间槽，定义域代表可能的分配。
• 交互式算法允许用户在求解过程中修改分配或约束。
• 系统逐步强制执行约束，并实时提供可行性与冲突反馈。
• 用户操作被整合到搜索过程中，求解器可动态适应用户决策。
• 该框架支持自动化求解与用户引导的优化，兼顾效率与用户控制。

实验结果

研究问题

• RQ1 如何有效将用户交互集成到自动化排课中，以提升透明度与可用性？
• RQ2 何种通用约束模型可表示多样化的排课与调度问题？
• RQ3 与纯自动化方法相比，交互式约束求解在解的质量与用户满意度方面表现如何？
• RQ4 哪些机制可实现实时反馈与求解过程中的动态适应？
• RQ5 交互式排课是否能降低用户挫败感，并提高对调度结果的接受度？

主要发现

• 所提出的交互式方法相比完全自动化系统，显著增强了用户对排课过程的理解与控制力。
• 通用约束模型支持广泛的排课与调度应用场景，超越学术课程排课。
• 实时用户反馈与干预可显著加快在复杂场景下达到可接受解的收敛速度。
• 用户交互过程中系统保持约束一致性，确保解的可行性。
• 用户参与降低了因感知不公平或不兼容而拒绝最终排课表的可能性。
• 该框架在ERCIM约束工作组的原型实现中展现出实际可行性。