MMMar, 2020

混合答案集程序设计的列车调度

PDF
TL;DR采用 ASP 和 difference 约束的混合方法以解决实际列车调度问题，并探索如何通过结合不同的 ASP 求解技术来提高性能。
发现论文，激发创造
  • 基于答案集规划的求解器调度

    本研究提出了一种使用 Answer Set Programming 自动确定精细的、非均匀且有序的求解器调度方案的方法，并且可以定制化地生成并行调度方案。

    Jan, 2014

  • 基于答案集编程的多智能体路径规划中的路由与调度：初步报告

    我们提出了一种在答案集编程（ASP）中进行路由和调度的替代方法，并在多智能体路径规划的背景下进行了探索。这种方法捕捉了时间流的部分顺序而不是与行动和谓词相关联的时间步骤，终止了对计划长度的固定上界的需求。这种避免的代价是（部分）时间轨迹必须是无环的，因为不能再区分相同行动或谓词的多次出现。虽然这种方法为建模路由提供了一个有趣的替代方案，但对于调度来说却没有替代方案，因为精细化的计时无法以可行的方式在 ASP 中表示。而部分顺序可以通过外部手段（例如无环性和差别约束）进行高效处理。我们对这个想法进行了形式化的详细阐述并提出了几种结果的 ASP 编码。最后，我们通过实证分析证明了它们的有效性。

    Mar, 2024

  • 并行机器调度中的字典序最小完工时间优化的 ASP 实现

    该论文利用 Answer-Set Programming 解决具有序列依赖设置时间和发布日期的并行机器工业调度问题，并采用多次求解算法来提高解决效率和可靠性。

    Dec, 2022

  • 一种多引擎的答案集编程方法

    本文提出了一种在现有 ASP 求解器基础之上通过应用机器学习方法，通过识别 ASP 程序的一组易于计算的句法特征，并对这些实例上的性能表现进行归纳学习算法选择策略，从而能够比第三届 ASP 竞赛的任何求解器都更有效地解决实例。

    Jun, 2013

  • 使用答案集编程进行混合领域的规划和调度

    本文介绍了一种基于行动语言 - 答案集编程的解决规划和调度问题的方法，该方法可以被应用于任何混合领域的计划和调度问题。

    Jan, 2013

  • 利用答案集编程的混合条件规划

    本文介绍了一种名为 HCP-ASP 的并行离线算法，该算法基于非单调的答案集编程（ASP）语言建模执行动作和感知动作，利用公式化表示行动执行过程中的连续可行性检查，以达成目标。该算法可显式地公式化关于状态的部分知识以及感知动作的非确定性效应，从而不需要预先对感知动作进行规划或排序。我们将该方法应用于服务机器人领域并进行了实验评估。此外，我们还在标准基准域上与其他基于编译的条件规划器进行了性能比较。

    Jul, 2017

  • 将 Answer Set Programming 和领域启发式算法结合，解决难解的工业问题（应用论文）

    本文研究将 Answer Set Programming（ASP）与领域特定的启发式方法相结合，以有效地解决 Siemens 提出的 Partner Units Problem（PUP）和 Combined Configuration Problem（CCP），实验证明，我们的领域启发式 ASP 求解器可以找到 Siemens 所提供的所有 PUP 和 CCP 实例的解决方案。

    Aug, 2016

  • 基于启发式分解的答案集计算优化

    该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

    Dec, 2018

  • 第七届答案集编程竞赛：设计与结果

    本文介绍了关于 Answer Set Programming 的比赛，并讨论了设计和结果。

    Apr, 2019

  • 基于 ASP 的化疗治疗计划问题解决方案

    本篇论文研究了解决肿瘤科化疗治疗计划复杂的排班问题的方法，并基于意大利热那亚圣马丁诺医院提供的真实数据对基于 ASP 的解决方案进行了实验分析，结果显示该方法是有效的。

    Aug, 2021