基于反馈空间搜索的规划域生成：大语言模型与符号智能的协同探索

本文探讨如何利用大语言模型（LLM）结合符号反馈机制，通过模型空间启发式搜索生成高质量规划域，展示LLM与符号验证工具协同在自动规划领域的潜力。规划域生成是自动规划的关键前提，但从自然语言生成高质量规划域存在挑战，单纯依赖LLM有局限性，本文提出的反馈驱动框架为解决该问题提供创新方案。

自动规划的核心前提是规划域生成（定义状态、动作、约束），但从自然语言自动生成高质量规划域是开放问题。LLM虽有语言理解和生成能力，但单独使用存在逻辑一致性不足、无法处理自然语言歧义、缺乏形式化验证能力等问题，导致生成的规划域可能存在语义缺陷。

解决方案是将LLM与符号反馈结合，通过启发式搜索优化规划域。框架中LLM作为生成器，借助外部符号反馈（里程碑反馈、VAL验证器反馈）调整输出。里程碑反馈可快速识别结构性问题；VAL验证器提供语法、语义一致性及可解性的精确反馈。搜索策略采用迭代优化，综合语法复杂度、语义一致性等启发式函数评估候选域。

实验显示反馈驱动方法显著提升规划域质量，相比基线在规划成功率、效率、泛化能力上有改善。该方法在复杂规划域表现出良好可扩展性，问题规模增大时反馈的结构化信息更重要。

单纯依赖LLM难以生成理想规划域，本文的反馈驱动框架结合LLM生成能力与符号验证反馈，有效提升生成质量，为神经符号AI发展提供启示。

该方法可扩展到机器人任务规划、业务流程自动化、游戏AI设计等场景；未来可探索反馈机制的进一步细化与多样化。