Title :
Logical Modelling of Leslie´s Theory Of Mind
Author_Institution :
Dept. of Comput., Macquarie Univ., Sydney, NSW
Abstract :
Results of functional imaging of brain activity indicate that there is a brain component that handles "theory of mind" processes which lead to humans being able to work out the beliefs, desires, intentions and pretences of others. Leslie postulates a theory of mind that involves a decoupling process allowing a person to infer, for example, another\´s intentions etc. We model this theory of mind mechanism using first-order modal logic and give an example of a scenario involving pretence which uses the necessity and pretence modalities
Keywords :
belief maintenance; formal logic; Leslie theory of mind; first-order modal logic; Autism; Brain modeling; Cognitive informatics; Head; Humans; Logic; Telephony;
Conference_Titel :
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
1-4244-0475-4
DOI :
10.1109/COGINF.2006.365672
