×
阿贝尔斯，德克;朱利安·乔迪;马克斯·奥斯特罗斯基;托尔斯滕·绍布;安布拉·托莱蒂;菲利普·旺科

混合答案集编程的列车调度。 （英语） Zbl 1522.68095号

理论与实践。日志。程序。 21，第3号，317-347（2021）.
小结：我们提出了一种基于答案集编程（ASP）的现实世界列车调度问题的解决方案，涉及路线、调度和优化。为此，我们采用一种混合方法，用不同的约束扩展ASP，以考虑细粒度的计时。更准确地说，我们示例性地展示了混合ASP系统粘着物[DL]可用于解决苛刻的计划和调度问题。特别是，我们研究了如何通过将不同的ASP求解技术（如近似和启发式）与预处理和编码技术相结合来提高性能，以处理大规模、真实世界的列车调度实例。

引用于2文件

MSC公司：

68N17号 逻辑编程
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68立方英尺 知识表示
90B35型 运筹学中的确定性调度理论

软件：

格林戈;克林戈
PDF格式BibTeX公司 XML格式引用
\textit{D.Abels}等人，《理论与实践》。日志。程序。21，第3号，317--347（2021；Zbl 1522.68095）
全文： 内政部 arXiv公司

参考文献：

[1] Abels，D.、Jordi，J.、Ostrowski，M.、Schaub，T.、Toletti，A.和Wanko，P.2019。混合ASP的列车调度。《第十五届逻辑程序设计和非单调推理国际会议论文集》（LPNMR’19），Balduccini，M.、Lierler，Y.和Woltran，S.编辑，《人工智能讲义》，第11481卷。斯普林格·弗拉格，3-17·Zbl 1522.68094号
[2] Andres，B.、Kaufmann，B.、Matheis，O.和Schaub，T.2012。基于不满意的卡环优化。在第二十八届逻辑编程国际会议（ICLP’12）的技术通信中，Dovier，A.和Santos Costa，V.，Eds.，第17卷。莱布尼茨国际信息学学报（LIPIcs），212-221·Zbl 1281.68204号
[3] Baptiste，P.、Pape，C.L.和Nuijten，W.2012。基于约束的调度：将约束编程应用于调度问题，第39卷。施普林格科学+商业媒体·邮编1094.90002
[4] Bofill，M.、Palahí，M.，Suy，J.和Villaret，M.2012。用sat模理论求解约束满足问题。约束17，3，273-303·Zbl 1309.90099号
[5] Caprara，A.、Fischetti，M.和Toth，P.2002。列车时刻表问题的建模与求解。运营研究50，851-861·Zbl 1163.90482号
[6] Gebser，M.、Harrison，A.、Kaminski，R.、Lifschitz，V.和Schaub，T.2015a。摘要Gringo。逻辑程序设计的理论与实践15，4-5，449-463。https://arxiv.org/abs/1507.06576。 ·Zbl 1379.68031号
[7] Gebser，M.、Kaminski，R.、Kaufmann，B.、Lindauer，M.和Ostrowski，M.，Romero，J.、Schaub，T.和Thiele，S.2015b。《Potassco用户指南》，第二版，波茨坦大学。
[8] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.和Wanko，P.2016。使用cleapo 5可以轻松解决理论问题。在第三十二届逻辑编程国际会议（ICLP’16）的技术通信中，Carro，M.和King，A.，Eds.OpenAccess系列信息学（OASIcs），第52卷。Dagstuhl-Leibniz-Zentrum fuer Informatik宫，2:1-2:15。
[9] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2019。使用clipeo进行多快照ASP求解。逻辑程序设计的理论与实践19，1，27-82·Zbl 1486.68027号
[10] Gebser，M.、Kaufmann，B.、Otero，R.、Romero，J.、Schaub，T.和Wanko，P.2013。答案集编程中的特定领域启发式。在第二十七届全国人工智能会议（AAAI'13）的会议记录中，Des Jardins，M.和Littman，M.编辑，AAAI出版社，350-356。
[11] Janhunen，T.、Kaminski，R.、Ostrowski，M.、Schaub，T.，Schellhorn，S.和Wanko，P.2017。Clingo对实数和整数进行线性约束。逻辑程序设计的理论与实践17，5-6，872-888·Zbl 1422.68024号
[12] Janhunen，T.、Liu，G.和Niemelä，I.2011。非基础答案集编程与可满足性模理论的紧密结合。在《关于变量理论的基础和转换的第一次研讨会论文集》（GTTV’11）中，Cabalar，P.，Mitchell，D.，Pearce，D.和Ternovska，E.，Eds.1-13。
[13] Lifschitz，V.1999。答案集规划。《国际逻辑编程会议论文集》（ICLP’99），De Schreye，D.，Ed.MIT出版社，23-37。
[14] Liu，G.、Janhunen，T.和Niemelä，I.2012。通过混合整数编程回答集合编程。《第十三届知识表示与推理原则国际会议论文集》（KR’12），Brewka，G.、Eiter，T.和Mcilraith，S.，编辑：AAAI出版社，32-42。
[15] Oliveira，E.和Smith，B.2000。单线铁路调度问题的job-shop调度模型。LU SCS RR 21，利兹大学计算机学院。
[16] 罗德里格斯，J.2007。交叉口实时列车调度的约束规划模型。运输研究B部分：方法41，2，231-245。
[17] Taillard，E.1993年。基本调度问题的基准。《欧洲运筹学杂志》64，2，278-285·Zbl 0769.90052号
[18] Törnquist，J.2006。基于计算机的铁路交通调度决策支持：模型和算法综述。在第五届铁路优化算法方法和模型研讨会论文集（ATMOS’05）中，Kroon，L.G.和Möhring，R.H.，Eds.OpenAccess Series In Informatics（OASIcs），Vol.2。Dagstuhl-Leibniz-Zentrum fuer Informatik宫。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。