Prolog planner generation prompting guide
a year ago
- #Planning
- #LLM
- #Prolog
- 大语言模型擅长语言任务，但在训练数据之外的规划任务上表现欠佳
- 将大语言模型与Prolog结合，可利用Prolog的组合能力进行规划任务
- 大语言模型更适合将自然语言翻译为Prolog代码而非直接进行规划
- Prolog的自然语言处理渊源使其成为大语言模型生成代码的理想目标
- 实践者因逻辑基础更倾向使用Prolog而非领域特定语言
- 思维链(CoT)方法能改进大语言模型推理但需要大量训练数据
- 大语言模型可生成状态/动作/检查谓词的Prolog代码，但无法生成主求解器
- 早期基于Prolog的规划器WARPLAN影响了现代Prolog规划系统
- 使用asserta/1、assertz/1和retract/1谓词可简化大语言模型生成代码的状态变更
- 现实的物流问题需要业务规则和用户界面等额外组件