arXiv:2501.18784cs.AI2025-01被引 8

用大模型自动生成规划启发式函数,无需人工设计领域知识。

Successor-Generator Planning with LLM-generated Heuristics

  • 通过编程语言描述任务,让大模型生成针对性启发式函数。
  • 在多个基准测试中表现媲美甚至超越当前最优方法。
  • 适合处理复杂数值约束或自定义动态的难规划问题。

启发式函数是确定性规划的核心组件,尤其在不依赖具体领域的场景中,强调通用性而非任务特化调整。本文借助大语言模型(LLM)的最新进展,重新审视这一范式:利用LLM直接从问题定义中自动合成启发式函数,绕过传统的人工领域知识设计。我们提出的方法基于规划任务的后继生成器、目标测试和初始状态,以通用编程语言形式表达,由LLM生成特定问题的启发式函数,并将其编译整合至标准启发式搜索算法(如贪心最佳优先搜索)。该方法在广泛的标准规划基准测试中实现了具有竞争力,甚至在多数情况下达到最先进水平。此外,它还能解决传统形式化难以表达的问题,包括带有复杂数值约束或自定义转移动态的任务。我们进行了广泛的实证评估,系统刻画了该方法在不同规划场景中的优势与局限,充分验证其有效性。

原文摘要 · Abstract (English)

Heuristics are a central component of deterministic planning, particularly in domain-independent settings where general applicability is prioritized over task-specific tuning. This work revisits that paradigm in light of recent advances in large language models (LLMs), which enable the automatic synthesis of heuristics directly from problem definitions -- bypassing the need for handcrafted domain knowledge. We present a method that employs LLMs to generate problem-specific heuristic functions from planning tasks specified through successor generators, goal tests, and initial states written in a general-purpose programming language. These heuristics are compiled and integrated into standard heuristic search algorithms, such as greedy best-first search. Our approach achieves competitive, and in many cases state-of-the-art, performance across a broad range of established planning benchmarks. Moreover, it enables the solution of problems that are difficult to express in traditional formalisms, including those with complex numeric constraints or custom transition dynamics. We provide an extensive empirical evaluation that characterizes the strengths and limitations of the approach across diverse planning settings, demonstrating its effectiveness.

规划大模型启发式自动推理

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。