We present the design principles of a nurse scheduling system built using Answer Set Programming (ASP) and successfully deployed at the University of Yamanashi Hospital. Nurse scheduling is a complex optimization problem requiring the reconciliation of individual nurse preferences with hospital staffing needs across various wards. This involves balancing hard and soft constraints and the flexibility of interactive adjustments. While extensively studied in academia, real-world nurse scheduling presents unique challenges that go beyond typical benchmark problems and competitions. This paper details the practical application of ASP to address these challenges at the University of Yamanashi Hospital, focusing on the insights gained and the advancements in ASP technology necessary to effectively manage the complexities of real-world deployment.

翻译：本文介绍了一种基于回答集编程（ASP）构建的护士排班系统的设计原则，该系统已在山梨大学医院成功部署。护士排班是一个复杂的优化问题，需要协调各科室护士的个人偏好与医院人员配置需求，涉及硬约束与软约束的平衡以及交互调整的灵活性。尽管学术界对此进行了广泛研究，但现实中的护士排班问题面临独特挑战，超越了典型的基准问题和竞赛范畴。本文详细阐述了ASP在山梨大学医院应对这些挑战的实际应用，重点探讨了从实践中获得的见解以及有效管理现实部署复杂性所需的ASP技术进步。