Theories of Mind as Domain-Specific Languages of Thought

Kartik Chandra, Jonathan Ragan-Kelley, Joshua B. Tenenbaum +1

What kind of thing is a ``theory of mind''? We propose to formalize theories of mind as domain-specialized programming languages, which can be used to reason about the mental state…