The Theory of Mind Utility: Formal Specification of a Mentalizing Mechanism

In three linesFormal theory of epistemic state inference: ToM-U formalizes belief attribution through typed directed graphs (Local Epistemic World Models) representing agents, state nodes, and epistemic relationships. Three inference procedures and a residue function capture structured traces of mentalizing failures, without presupposing belief states.

Summary generated by Claude — human-verified