提出统一框架,让智能体能高效处理多视角认知与信念推理。
The Observer-Situation Lattice: A Unified Formal Basis for Perspective-Aware Cognition
- 构建观察者-情境格(OSL),用数学结构统一多视角信息
- 设计增量更新与矛盾分解算法,支持实时信念管理
- 适合需要理解他人想法的复杂协作系统,如机器人团队
在复杂多智能体环境中,自主代理必须从多个视角推理何为真实。现有方法常将不同观察者、时间与情境的推理分拆处理,导致系统脆弱且不完整,尤其在实现心智理论(Theory of Mind)时表现不佳。本文提出观察者-情境格(OSL),一种有限完备格结构,每个元素代表唯一的观察者-情境对,为视角感知认知提供统一语义空间。我们设计两个核心算法:(i) 相对化信念传播,用于高效增量更新信息;(ii) 最小矛盾分解,基于图的方法识别并隔离矛盾组件。理论证明框架的正确性,并通过经典心智理论任务及与假设驱动真值维护系统等范式的对比验证其有效性。结果表明,OSL在计算效率与表达能力上均优于现有方法,为构建鲁棒的视角感知智能体奠定基础。
原文摘要 · Abstract (English)
Autonomous agents operating in complex, multi-agent environments must reason about what is true from multiple perspectives. Existing approaches often struggle to integrate the reasoning of different agents, at different times, and in different contexts, typically handling these dimensions in separate, specialized modules. This fragmentation leads to a brittle and incomplete reasoning process, particularly when agents must understand the beliefs of others (Theory of Mind). We introduce the Observer-Situation Lattice (OSL), a unified mathematical structure that provides a single, coherent semantic space for perspective-aware cognition. OSL is a finite complete lattice where each element represents a unique observer-situation pair, allowing for a principled and scalable approach to belief management. We present two key algorithms that operate on this lattice: (i) Relativized Belief Propagation, an incremental update algorithm that efficiently propagates new information, and (ii) Minimal Contradiction Decomposition, a graph-based procedure that identifies and isolates contradiction components. We prove the theoretical soundness of our framework and demonstrate its practical utility through a series of benchmarks, including classic Theory of Mind tasks and a comparison with established paradigms such as assumption-based truth maintenance systems. Our results show that OSL provides a computationally efficient and expressive foundation for building robust, perspective-aware autonomous agents.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。