Jan, 2014

有界宽度的一致规划问题中的不确定性编译

PDF
TL;DR本文介绍一种新的确定性行动的一致性问题的公式化方法，通过将此类问题转化为经典问题并使用经典规划器求解，作者提出的翻译映射方案被证明是可行且完整的，该方案的复杂度受到问题的一致宽度参数的影响，但大部分问题的参数均有界，基于此翻译的规划器表现优异。
conformant planningdeterministic actionsclassical plannertranslation schemeconformant width
发现论文，激发创造
  • 自适应概率信赖约束下的连续高维信念空间规划

    研究了基于信念空间规划的在线决策问题，在信息收集等场景下，介绍了一种自适应的方法来寻求最大可行回报，应用这种方法可以在保证准确率的前提下显著加速在线决策过程，并进行了大量现实模拟来验证此方法的优越性。

    Feb, 2023

  • 一般政策、子目标结构和规划宽度

    许多具有原子目标的经典规划领域可以通过一个简单的多项式探索过程（称为 IW）解决，该过程在问题宽度的指数时间内运行，而在这些情况下问题宽度是有界且较小的。本文通过将有界宽度与每个规划实例中表示为有界大小的原子元组的一般最优策略的存在相关联，解答了为什么在考虑原子目标时许多基准领域具有有界宽度的问题。此外，我们还定义了（显式）串行化和序列化宽度的概念，这些概念具有更广泛的范围，因为许多领域具有有界序列化宽度但没有有界宽度。这些问题可以通过序列化 IW 算法的适当变体在多项式时间内非最优地解决。最后，一般策略的语言和串行化的语义结合起来，以便以简洁的形式用草图指定串行化，这些草图可以通过手工编码领域控制知识或从小例子中进行学习。有界宽度的草图以多项式时间解决问题的分解表达一般问题分解。

    Nov, 2023

  • 用定理证明器构建条件计划

    本篇论文研究条件规划问题，从传统规划的角度出发，探索运用可满足性算法，采用量化布尔公式表达的方法，解决条件规划中存在的不确定性和非确定性问题，并给出实验结果。

    May, 2011

  • 泛化规划：非确定性抽象和轨迹约束

    本文研究了具有共同特征的问题集合的一般策略的特征和计算，并介绍了如何通过利用轨迹约束以及 LTL 公式来消除策略的终止条件以及降低规划的复杂度。

    Sep, 2019

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

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

    Aug, 2021

  • 有限规划的完整参数化复杂度分析

    该论文研究了参数化复杂性下命题性规划问题的分类，重点关注了解决方案计划的长度参数和常见的句法限制，包括 PUBS 限制和条件 / 效果数量限制，并确定哪些问题适用于多项式内核，哪些不适用。

    Oct, 2013

  • 一般政策、序列化和计划宽度

    研究结论指出，bounded width 是规划域类的一个特性，它可以被用来表示这些域具有一般策略的最优解。这些规划域的表示形式（聚合信息）可以被简单，有意义和有表现力的计划草图语言表示。

    Dec, 2020

  • 计算具有统一行动成本的计划

    在许多实际的规划应用中，代理人可能对寻找其动作成本尽可能均匀的计划感兴趣。本文将三个一致性度量指标应用于自动规划，并引入基于规划的编译方法，允许按词典顺序优化动作成本总和和动作成本的均匀性。在知名和新颖的规划基准实验结果中显示，可以有效地解决重构的任务以产生均匀的计划。

    Feb, 2024

  • 感知规划的因果信念分解：完备性结果和实用逼近

    本文扩展了一种在规划中处理基于感知的信念跟踪的算法，该算法在可自定义的时间和空间范围内找出最可能的信念。此外，我们还引入了一种快速而有效的近似方法，该方法在时间和空间复杂度上都是指数级的，使算法可在高度宽但低因果宽度的领域中展现出最先进的实时性能。

    Sep, 2019

  • 统一和认证高质量规划

    这篇论文将现有的定义统一为一种基于支配关系的定义，证明了不同的计算问题实际上对应于不同的支配关系，提出了一种有效证明各种高质量规划问题的方法，并提出了一种新的转化方法以有效证明无循环的高质量规划。

    Mar, 2024