paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents

MetaSpace:面向具身智能体空间认知的蜕变测试
OOPSLA 10(OOPSLA1)2026匹配度 4/10 · 论文将蜕变测试与 Prolog 逻辑规则用于具身智能体的空间认知评估,属于用 PL/软件测试技术分析 AI Agent,与“PL→AI”有一定邻接性;但其核心是具身智能体的动态测试与空间认知评测,并非静态分析、形式化验证、浮点程序分析或贝叶斯程序分析,也不是用 LLM/Agent 改进程序分析。引用 0 inbox
Gengyang Xu, Dongwei Xiao, Yiteng Peng, Shuai Wang
crossref: 2026-09-10

AI 速览

一句话:提出 MetaSpace,用蜕变测试和 Prolog 编码的蜕变关系自动检测具身智能体的空间认知错误。

具身智能体评估目前依赖人工标注 VQA 或高层任务完成度,前者成本高,后者可能掩盖空间认知缺陷与安全风险。本文提出 MetaSpace,受蜕变测试启发,从真实执行轨迹提取时空多模态状态,依据逻辑规则和物理定律定义蜕变关系并用 Prolog 编码为可执行规则,自动生成测试用例;违反关系即判定空间认知错误。在三个具身场景中,MetaSpace 在 SOTA MLLM 智能体上检测到 90,422 个错误。SC 分数显示 SOTA 智能体平均仅 0.44–0.52,远低于人类 0.96;方向任务低于 0.38,幅度任务多数高于 0.5。初步实验表明传统提示有限,空间感知提示(如认知地图)有潜力。

问题
现有具身智能体评估依赖人工标注 VQA 或高层任务完成度,难以可靠、可扩展地揭示空间认知缺陷、安全风险与低效行为。
方法
提出 MetaSpace,基于蜕变测试从执行轨迹提取时空多模态状态,按逻辑规则与物理定律定义蜕变关系,并用 Prolog 编码为可执行规则来自动生成测试用例;违反关系即报告空间认知错误。
评估
在三个具身场景中评估 SOTA MLLM 驱动的智能体,检测到 90,422 个空间认知错误;提出 SC 分数,SOTA 平均 0.44–0.52,远低于人类 0.96,方向任务低于 0.38,并初步比较提示改进策略。
原文摘要(Abstract)

An embodied agent is an intelligent entity that interacts with its environment through a physical body. Currently, the evaluation of embodied agents primarily relies on two paradigms: (1) manually annotated Visual Question Answering (VQA) pairs and (2) high-level task completion metrics, such as success in navigation or manipulation. The former is labor-intensive and subject to variability in annotation quality. The latter may obscure critical vulnerabilities, allowing agents to complete tasks through suboptimal means or safety violations, thereby concealing safety risks and inefficiencies. Given that spatial cognition is the cornerstone for executing embodied tasks, there is a pressing need to assess whether embodied agents possess robust spatial cognition during task execution. Inspired by metamorphic testing principles in software engineering, we propose MetaSpace, a novel frame- work designed to evaluate the spatial cognition of agents. By leveraging spatiotemporal multimodal states derived from real execution trajectories, MetaSpace automatically generates test cases based on predefined metamorphic relations (MRs) grounded in logical rules and physical laws. Crucially, we encode these MRs as executable rules in a logic programming language (Prolog). Violations of these relations indicate failures in spatial cognition. Our empirical evaluation across three embodied scenarios demonstrates that MetaSpace successfully detects 90,422 spatial cognition errors in state-of-the-art (SOTA) MLLM-driven agents. We introduce the Spatial Cognition (SC) score to quantify performance. Results indicate that all SOTA agents achieve average scores between 0.44 and 0.52, significantly lower than the human benchmark of 0.96. Additionally, these agents struggle with directional tasks, with SC scores consistently below 0.38. In contrast, their performance in magnitude-related tasks is relatively better, with most SC scores exceeding 0.5. To mitigate the identified spatial cognition errors, we explore potential improvement strategies. Preliminary results suggest that traditional prompting techniques (e.g., Chain of Thought) are limited, while spatially-aware prompting (e.g., cognitive maps) shows promise. Our findings underscore the importance of ongoing community efforts to enhance embodied agent performance by prioritizing the improvement of spatial cognition, a fundamental requirement for executing embodied tasks.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot3815,
  title = {MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents},
  author = {Gengyang Xu and Dongwei Xiao and Yiteng Peng and Shuai Wang},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {10},
  number = {OOPSLA1},
  year = {2026},
  doi = {10.1145/3798212}
}