Jun, 2011

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

PDF
TL;DR本文介绍了基于对象导向工作台架构的时间最小承诺启发式搜索规划器 Model Checking Integrated Planning System（MIPS），它在国际规划大赛中表现出色，该规划器分离了显式和符号的直接搜索算法，是一个完整且最优的状态空间规划器。
model checking integrated planning systemtemporal least commitmentheuristic search planneroff-line computed estimatesplan quality objective functions
发现论文，激发创造
  • 基于贪心算法的有限预算最大内积搜索

    本文研究带有计算开销的 MIPS 问题，通过设计新型的贪心 - MIPS 算法，从而灵活地控制搜索效率与搜索质量的平衡。在半百万个 200 维向量的候选集上，与现有算法相比，贪心 - MIPS 不仅简单易懂，而且速度快且性能好。

    Oct, 2016

  • 部分可观察马尔可夫决策过程的基于点的模型检验方法

    提出了一种在部分可观察的马尔可夫决策过程（POMDP）中实现满足线性时间逻辑公式的策略的方法，该方法使用基于点的价值迭代方法来高效地近似满足所需逻辑公式的最大概率，并计算相应的置信状态策略。证明该方法适用于大型 POMDP 领域，并为最终策略的性能提供了强大的边界。

    Jan, 2020

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

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

    Jun, 2011

  • 概率规划的计算复杂度

    研究了具有平面和命题表示的概率规划领域中测试和寻找小规划的计算复杂性，发现问题的复杂性分别属于 PL，P，NP，co-NP，PP，NP^PP，co-NP^PP 和 PSPACE，提出了一个新的基本 NP^PP 完全问题 E-MAJSAT，表明 E-MAJSAT 问题的启发式算法的开发对于广泛问题的高效算法很重要。

    Aug, 1998

  • 一种用于最大内积搜索的贝叶斯赌博算法

    本研究提出了第一种无需任何预处理的近似 MIPS 算法，并允许用户控制和限制结果的次优性，该方法将 MIPS 作为最佳 Arm 识别问题，并引入了一种新的赌博问题设置来充分利用 MIPS 的特殊结构，在合成和现实世界数据集上表现优于现有方法。

    Dec, 2018

  • 自主系统的时间规划通过区间逻辑可满足性

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

    Jun, 2024

  • 具有并发相互作用动作的部分序规划

    该论文介绍了如何使用 STIRPS 操作表示语言来实现多个执行器的代理计划生成，通过小的修改可以实现交互作用的并发操作，通过开发一个名为 POMP 的部分排序规划器，可以扩展现有的部分排序规划器来进行计划。

    Jun, 2011

  • 概率逻辑编程的 MAP 推断

    本文探讨了在概率逻辑编程中计算最大后验概率和最可能解释的问题，并提出了一种将问题表示为二叉决策图并在其上应用动态规划过程的新算法，与 ProbLog 在多个合成数据集上的实验结果相比，PITA 的性能更佳。

    Aug, 2020

  • 适应性多模感知的顺序贝叶斯优化信息路径规划

    本文提出一种通过加入多种传感器数据来进行环境探索的智能体路径规划算法，使用基于高斯过程信念的马尔可夫决策过程进行求解并在线规划中使用顺序贝叶斯优化方法以平衡传感、移动和资源限制，结果表明该方法较以往的算法表现更佳，在资源利用效率和信念平均误差方面都有明显提升，并且我们的实现已经完全开源以方便后续的发展和比较。

    Sep, 2022

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

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

    Jul, 2023