> it can be solved by a simple logic program Which relies on understanding that Albert and Bernard have mental states and disjoint information. A theory of

> it can be solved by a simple logic program Which relies on understanding that Albert and Bernard have mental states and disjoint information. A theory of mind includes the knowledge that others' beliefs, desires, intentions, emotions, and thoughts may be different from one's own. - https://en.wikipedia.org/wiki/Theory_of_mind