行星探索中 NL-to-FOL 翻译的仪表板基准
计算与语言
2026-05-19 v1
摘要
未来的行星探索设想着 autonomous 机器人代理在严酷的通信约束下、无全球定位、并以最小人类干预 operate。在此类环境中，代理不仅要感知并行动，还必须对任务目标、操作约束和不断变化的环境条件进行推理。虽然先前工作主要聚焦于感知和控制，但将高层次任务知识翻译为结构化、机器可解释表示的工作仍鲜有探索。我们引入了一个用于行星探索中自然语言 (NL) 翻译为一阶逻辑 (FOL) 的仪表板基准。该数据集来源于 NASA 行星数据系统 (PDS) 中的真实任务文档，覆盖 2003 年至 2013 年的多个任务，文档描述了发射、推进、航行、巡航和轨道作业等任务阶段的丰富自然语言内容。我们手动为这些文档标注相应的 FOL 表示，捕获时间结构、代理角色和操作依赖关系。此外，我们提供结构化的谓词词汇表和类型化常量，以实现对不同先验知识水平的受控实验。该仪表板基准为语言理解与形式推理交叉领域的研究提供了基础，基于真实世界、安全关键的任务数据。数据集提供于：https://github.com/HaydenMM/planetary-logic-benchmark/blob/main/pilot_benchmark.json
引用
@article{arxiv.2605.17911,
title = {A Pilot Benchmark for NL-to-FOL Translation in Planetary Exploration},
author = {Hayden Moore and Suman Saha and Mahfuza Farooque},
journal= {arXiv preprint arXiv:2605.17911},
year = {2026}
}