In this paper, we propose a robot oriented knowledge management system based on the use of the Prolog language. Our framework hinges on a special organisation of knowledge base that enables: 1. its efficient population from natural language texts using semi-automated procedures based on Large Language Models, 2. the bumpless generation of temporal parallel plans for multi-robot systems through a sequence of transformations, 3. the automated translation of the plan into an executable formalism (the behaviour trees). The framework is supported by a set of open source tools and is shown on a realistic application.

翻译：本文提出一种基于Prolog语言的机器人知识管理系统。该系统框架依托一种特殊的知识库组织结构，实现以下功能：1. 利用基于大语言模型的半自动化流程，从自然语言文本高效填充知识库；2. 通过一系列变换，为多机器人系统实现无扰动的时序并行规划生成；3. 自动将规划翻译为可执行的形式化表达（行为树）。该框架由一套开源工具支撑，并在实际应用场景中进行了验证。