Sep, 2023
当Prolog遇到生成模型：机器人应用中管理知识和规划的新方法
When Prolog meets generative models: a new approach for managing
knowledge and planning in robotic applications
TL;DR本文提出了一个基于Prolog语言的面向机器人的知识管理系统，该系统具有以下特点：1. 使用大型语言模型的半自动化过程从自然语言文本中高效填充知识库；2. 通过一系列转换实现多机器人系统的时间并行计划的无缝生成；3. 将计划自动翻译成可执行的形式化（行为树）。该框架由一套开源工具支持，并应用在一个实际应用上。