Jun, 2011

VHPOP: 通用启发式部分序规划器

HTML
PDF
TL;DR介绍了基于 UCPOP 的POCL规划器 VHPOP，旨在结合 POCL 计划中缺陷选择策略的经验和基于距离的启发式和可达性分析等领域无关规划的最新发展；提出了大量的新型缺陷选择策略，并展示了它们如何帮助我们解决比以前更多的 POCL 规划器问题。此外，VHPOP 还通过包含用于时间约束推理的标准技术，支持与持续动作的规划。结果是一个功能强大的具有竞争力的启发式 POCL 规划器。
发现论文，激发创造
  • FF规划系统：通过启发式搜索进行快速计划生成

    基于前向状态空间搜索的启发式搜索算法是实现FF规划系统的主要技巧，该系统因比HSP系统更具优越性能而赢得了最近AIPS-2000规划竞赛的冠军。

    Jun, 2011

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

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

    Jun, 2011

  • 快速下行规划系统

    Fast Downward是一种基于启发式搜索的经典计划系统，它使用多值计划任务的另一种表示来计算其启发函数，称为因果图启发式函数，这与传统的基于忽略运算符负交互作用的HSP启发式函数非常不同。

    Sep, 2011

  • 在计划空间规划中学习和调优元启发式算法

    本文介绍了两种方法来改善 POCL 规划器的性能，包括使用有监督学习算法优化 POCL 规划器和使用在线误差最小化方法进一步提高模型的信息量。实验证明，这些学习方法可扩展规划器的性能，特别是在处理较大问题时更为有效。

    Jan, 2016

  • 混合领域规划的CASP解决方案

    论文介绍了CASP扩展ASP的功能，能够处理规则中的数字约束。PDDL+是用于模拟离散和连续混合动力学的自动计划PDDL标准语言的扩展。研究人员提出了CASP解决方案，以解决来自PDDL+领域的CASP程序，并在知名的PDDL+领域的线性和非线性变体上进行了实验分析，表明他们的解决方案可行。

    Apr, 2017

  • 子优化CBS中加权代价函数和冲突启发式的有效融合

    本文研究了多智能体路径规划中的Conflict-Based Search算法，证明了权重cost-to-go和冲突启发式算法可以被用于低级规划器，旨在提高算法效率和解决冲突问题。此外，该文章进一步表明算法性能与高低级之间的权衡有关，对现有算法进行了优化。

    May, 2022

  • 基于启发式搜索的通用规划：利用对象指针的新规划搜索空间

    本研究提出了一种新的基于指针的GP解空间、评估和启发式函数，以及BFGP算法，为了实现GP的启发式搜索，避免了提前grounding state或action所带来的问题，能有效处理大型状态变量集合和大量数值域的情况。

    Jan, 2023

  • 启发式规划的定理证明

    本研究介绍了一种利用启发式算法解决定理证明和计划制定问题的方法，并将其应用于situation calculus 中。该方法通过使用A*搜索算法排列一系列情境，并利用删除松弛法控制启发式规划器，获得较短的计划方案，并探索较少的状态。实验表明，该方法可以应用于较大规模的问题。

    Mar, 2023

  • 使用非时间启发式指导HTN时间规划中的搜索

    本文提出了一种使用现有启发式方法解决HTN问题的新型POCL（偏序因果链接）方法，实验证明该方法表现优秀且能够优于现有方法，从而解决了缺乏正式和一致定义的时间分层规划问题的不便。

    Jun, 2023

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

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

    Jul, 2023