Theory of Mind Utility(ToM-U)는 타인의 믿음 추론을 '누가 누구에게 무엇을, 어떤 순서로, 얼마나 신뢰성 있게 말했는가'를 추적하는 인식적 상태 추론 문제로 보고, 이를 계산 수준에서 형식화한 이론이다. 알고리즘·신경 구현에 얽매이지 않고 '멘탈라이징이 무엇을 계산하며 왜 그러는가'를 규정한다. 핵심은 에이전트·상태 노드·인식적 관계를 나타내는 방향성 타입 그래프인 국소 인식 월드 모델(LEWM)을 구성하고, 관찰된 행동에 비춰 후보 LEWM들을 충분한 확신에 이를 때까지 평가하는 것이다. 다섯 개 형식 정의가 LEWM 구조, 순서화된 정보 접근 이력, 재귀적 멘탈라이징의 유계 확장, 세 가지 추론 절차, 실패 흔적을 담는 잔차 함수를 규정한다. 믿음 상태를 전제하는 베이지안 ToM이나 형식 장치가 없는 시뮬레이션 이론과 달리, 구조적 속성에서 반증 가능한 멘탈라이징 실패 예측을 도출한다.

• •타인 믿음 추론을 인식적 상태 추론 문제로 계산 수준에서 형식화한 ToM-U
• •에이전트·상태·인식적 관계를 나타내는 방향성 타입 그래프 LEWM 구성
• •관찰된 행동에 비추어 후보 LEWM을 충분한 확신 도달 시까지 평가
• •5개 형식 정의로 구조·정보접근 이력·재귀 멘탈라이징·추론 절차·잔차 함수 규정
• •베이지안 ToM·시뮬레이션 이론과 달리 반증 가능한 멘탈라이징 실패 예측 도출