Capturing Misalignment

We introduce and formalize misalignment, a phenomenon of interactive environments perceived from an analyst's perspective where an agent holds beliefs about another agent's beliefs that do not correspond to the actual beliefs of the latter. We demonstrate that standard frameworks, such as type structures, fail to capture misalignment, necessitating new tools to analyze this phenomenon. To this end, we characterize misalignment through non-belief-closed state spaces and introduce agent-dependent type structures, which provide a flexible tool to understand the varying degrees of misalignment. Furthermore, we establish that appropriately adapted modal operators on agent-dependent type structures behave consistently with standard properties, enabling us to explore the implications of misalignment for interactive reasoning. Finally, we show how speculative trade can arise under misalignment, even when imposing the corresponding assumptions that rule out such trades in standard environments.