Mar, 2024

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

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

    采用 ASP 和 difference 约束的混合方法以解决实际列车调度问题，并探索如何通过结合不同的 ASP 求解技术来提高性能。

    Mar, 2020

  • 基于答案集规划的求解器调度

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

    Jan, 2014

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

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

    Jul, 2017

  • 关于计算部分可观察多智体路径规划通用方案的研究

    本文研究多智能体路径规划问题，通过提出通用计划作为解决方案，并实现名为 ASP-MAUPF 的系统进行计算，从而找到每个代理的可行的通用计划，以确保不与其他代理发生冲突。

    May, 2023

  • 不完全信息的定量答案集编程规划

    文章介绍一种基于 Answer Set Programming (ASP) 的不完整信息规划的通用方法，提出使用量化 Answer Set Programming (QASP) 来解决符合和条件型规划问题，并介绍了一款基于翻译的 QASP 求解器用于将量化逻辑程序转换为量化布尔公式 (QBF) 进而求解。

    Aug, 2021

  • ASP 中的多智体认知规划建模

    本文介绍了一种基于声明式编程技术的多智能体认知情境下的推理问题的解决方案，即 PLATO（基于 ePistemic 多智能体 Answer Program 解决方案），利用自定义认知状态表征和 ASP 求解器的效率，在从文献中收集的基准测试中取得了有竞争力的性能结果，并为其正确性开发了形式验证。

    Aug, 2020

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

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

    Dec, 2022

  • 面向动态环境的自主无人机 ASP 架构（扩展摘要）

    通过开发基于 ASP 的代理体系结构和推理算法，并结合集中式推理、分散式推理、执行监控以及网络通信推理，来解决在动态环境下协调无人机团队的挑战。

    May, 2014

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

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

    Jan, 2013

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

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

    Jun, 2013