Jan, 2014

COLIN: 连续线性数值变化的规划

PDF
TL;DR本研究利用 COLIN 算法结合 LP 线性规划算法实现了 PDDL 的具体应用，支持经过规划的任务中存在线性计算，时刻变化等特殊表达形式，并且针对多参数的优化效果采用了混合整数编程算法进行优化。
forward-chaining heuristic search plannernumeric reasoninglinear programcontinuous changemixed integer programming
发现论文，激发创造
  • 自主系统的时间规划通过区间逻辑可满足性

    自动规划中的时间规划、规划图表、并发关系和可扩展性的研究。

    Jun, 2024

  • 连续神经算法规划器

    该研究旨在展示神经算法推理如何在较高维度的连续控制任务中发挥作用，通过对 XLVIN 模型的扩展和改进，提供了一种处理连续行动空间的方法，并且在低数据设置中表现出色。

    Nov, 2022

  • Metric-FF 规划系统：将 “忽略删除列表” 翻译为数值状态变量

    本文介绍了一种扩展了忽略删除列表的启发式搜索算法并将其应用于数值规划的方法，称为 Metric-FF，可提高数值任务的计划效率。

    Jun, 2011

  • 数字规划中的多值部分有序计划

    通过研究动作的不同发生次数来分析导致规划正式化丧失可决定性的可能原因，使用多值偏序计划的概念实现了一个 NP 完全的数值规划片段，并研究了软性前提的优化技术。

    Jul, 2023

  • 符号数值计划与模式

    提出了一种名为符号模式规划的解决线性数值规划问题的新方法，通过将规划问题编码为使用较少变量和 / 或子句的公式，以寻找给定边界下与现有编码方法相比无法找到有效计划的计划。实验证明，我们的规划器在国际规划竞赛（IPC）今年的问题上具有显著良好的比较性能。

    Dec, 2023

  • 不完备知识与感知信息下的时态规划

    本文提出了一种结合 PDDL 的新型规划方法，考虑了不完整知识、感知、时间和数字限制条件，并在新的一组规划领域上评估了我们的求解器。

    Jul, 2022

  • 使用线性时间微积分理论模拟动态系统

    本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。

    May, 2014

  • 连续状态 - 动作非高斯系统的集中模型学习和规划

    引入了一个针对具有连续状态和动作空间以及非高斯转移模型的随机域的模型学习和规划框架。该框架高效，因为只有在计划器需要它们时才估计局部模型；计划器集中于当前规划问题的最相关状态；计划器专注于信息最丰富和 / 或价值最高的动作。我们的理论分析显示了所提出方法的有效性和渐近最优性。在实验上，我们在模拟的多模式推动问题上展示了我们算法的有效性。

    Jul, 2016

  • 模型检查综合规划系统中的数字和时间控制

    本文介绍了基于对象导向工作台架构的时间最小承诺启发式搜索规划器 Model Checking Integrated Planning System（MIPS），它在国际规划大赛中表现出色，该规划器分离了显式和符号的直接搜索算法，是一个完整且最优的状态空间规划器。

    Jun, 2011

  • 拓扑引导的带时序目标的连续系统演员 - 评论家模块化学习

    本文研究了给定线性时间逻辑高级规范的连续状态随机动态系统的正式策略综合问题。通过在动态系统和翻译的自动机之间进行乘积来构造乘积系统，以学习最大化满足概率的最优策略，并在此过程中提出了一种泛化的优化备份顺序，进一步加速了学习过程，在拓扑顺序的情况下提出了一种演员 - 评论家强化学习算法。通过神经网络来近似值和策略函数，并在 Dubins 小车的运动规划上展示了该正式政策综合框架的实证效果。

    Apr, 2023