摘要
未来行星探索设想自主机器人在通信受限、无全球定位及极少人为干预的环境下运行。在此类环境中，代理不仅需感知与行动，还需针对任务目标、操作约束及动态环境进行推理。本文提出一个将自然语言（NL）翻译为一阶逻辑（FOL）的试点基准，数据集源自 NASA 真实任务文档，涵盖发射至轨道操作等阶段。通过人工标注构建包含时序结构与依赖关系的 FOL 表示，为语言理解与形式化推理的交叉研究奠定基础。
AI 推荐理由
论文聚焦自然语言到一阶逻辑的翻译，旨在增强代理在复杂环境下的形式化推理能力。
研究机构
Department of Computer Science and Engineering, College of Engineering, The Pennsylvania State University, University Park, Pennsylvania 16802, USA
论文信息