Train Scheduling with Hybrid Answer Set Programming. Issue 3 (27th May 2021)

• Record Type: Journal Article
• Authors: ABELS, DIRK; JORDI, JULIAN; OSTROWSKI, MAX; SCHAUB, TORSTEN; TOLETTI, AMBRA; WANKO, PHILIPP
• Is Part Of: Theory and practice of logic programming. Volume 21:Issue 3(2021)
• Page Start: 317
• Page End: 347
• Publication Date: 2021-05-27
• Subjects: constraints -- knowledge representation and nonmonotonic reasoning -- logic programming methodology and application; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068420000046
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: We present a solution to real-world train scheduling problems, involving routing, scheduling, and optimization, based on Answer Set Programming (ASP). To this end, we pursue a hybrid approach that extends ASP with difference 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 approximations and heuristics, with preprocessing and encoding techniques for tackling large-scale, real-world train-scheduling instances.