Introduction
- ToM의 핵심 개념(goals, intentions, beliefs)을 형식화하여 computational process로 자동화
- Game theory 관점에서 ToM의 computational framework 제안
- Bounded rationality하에서 ToM을 유지하며 의사결정
- Psychological ToM 연구
- Logic-based ToM formalization
Methods
- Game theory lens를 통한 computational ToM framework
- Recursive mental state modeling (자신이 상대방의 ToM을 가지고 있고, 상대도 마찬가지)
- Statistical techniques과 approximate solutions로 computability 유지
Results
- Formal framework으로 boundedly rational decision-making 지원
- Multi-agent ToM의 computational tractability 입증
Discussion
- LLM의 ToM 능력을 formal하게 평가하기 위한 이론적 기반
- Self-awareness를 포함한 recursive mental state의 정량화 가능성