Veritas行为树生成器

逻辑一致性增强

通过符号逻辑验证与经验反馈，生成长时程任务中逻辑一致的行为树。

Hao, Tang · Zhang F. · Wan, Kejia · Songyi, Lu · Xi, Zhang · 姚益平 · 徐新海

Information Processing and Management 2026

技术优势

逻辑一致

通过多层验证机制将规划转化为逻辑推导链，确保生成的行为树内部一致。

性能领先

在Minecraft和AndroidWorld基准上显著优于现有最佳方法。

无需专家规则

不依赖预定义专家规则即可生成长时程任务的行为树。

应用场景

• LLM驱动智能体：为LLM驱动智能体提供逻辑一致的任务规划，无需人工专家规则。
• 任务规划：将复杂长时程任务自动分解为可执行的行为树，替代人工设计。
• 机器人控制：为机器人控制生成可验证的行为树，提高复杂任务执行可靠性。
• 智能建造自动化：支持建造场景中的长时程任务规划，确保流程逻辑与现场一致。