DocumentCode
463344
Title
Logical Modelling of Leslie´s Theory Of Mind
Author
Flax, Lee
Author_Institution
Dept. of Comput., Macquarie Univ., Sydney, NSW
Volume
1
fYear
2006
fDate
17-19 July 2006
Firstpage
25
Lastpage
30
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cognitive Informatics, 2006. ICCI 2006. 5th IEEE International Conference on
Conference_Location
Beijing
Print_ISBN
1-4244-0475-4
Type
conf
DOI
10.1109/COGINF.2006.365672
Filename
4216387
Link To Document