Train Scheduling with Hybrid ASP
Train Scheduling with Hybrid ASP
复制标题
使用混合 ASP 进行列车调度
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
P. Wanko
中科院分区：
文献类型：
--
作者：
D. Abels;Julian Jordi;M. Ostrowski;Torsten Schaub;Ambra Toletti;P. Wanko
我们提出了一种基于ASP的列车调度问题的解决方案，涉及到进路、调度和优化。为此，我们采用了一种混合方法来扩展带有差异约束的ASP，以说明细粒度的计时。更准确地说，我们示范地展示了如何使用混合型ASP系统clingo[dl]来解决苛刻的计划和调度问题。特别是，我们研究了如何通过组合不同的ASP求解技术来提高性能，例如近似、启发式和优化策略。
We present an ASP-based solution to real-world train scheduling problems, involving routing, scheduling, and optimization. To this end, we pursue a hybrid approach that extends ASP withdifference constraints to account for a fine-grained timing. More precisely, we exemplarily show how the hybrid ASP system clingo[DL] can be used to tackle demanding planning-and-scheduling problems. In particular, we investigate how to boost performance by combining distinct ASP solving techniques, such as approximation, heuristic, and optimization strategies.