Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

The Observer-Situation Lattice: A Unified Formal Basis for Perspective-Aware Cognition

About

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.

Saad Alqithami• 2026

Related benchmarks

TaskDatasetResultRank
Theory of Mind reasoningTheory-of-Mind Scenarios (test)
Confidence Score1
7
Theory of Mind reasoningTheory-of-Mind (ToM) classic tasks battery
Confidence Score100
7
Truth maintenanceLattices n <= 2000
Average Time (µs)55.94
4
Perspective-aware reasoning24-element lattices
Runtime (ms)6.87
4
Showing 4 of 4 rows

Other info

Follow for update