(Зоо)психологи, говоря о theory of mind, говорят об очень базовых вещах.
Типа, ребенок до, не помню точно, пусть 4-х лет -- автоматом предполагает, что все, что знает он, знают все, и наоборот.
Простое понимание, что это не так, и, как первый признак достежния этого уровня когнитивного развития, умение обманывать и задумываться -- знает-не знает? -- вот уже и theory of mind.

В программистском случае речь, скорее, о некой головоломке.