TY - GEN
T1 - Logical modelling of Leslie's theory of mind
AU - Flax, Lee
N1 - Copyright 2006 IEEE. Reprinted from Proceedings of the 5th IEEE International Conference on Cognitive Informatics (ICCI 2006). This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University’s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.
PY - 2006
Y1 - 2006
N2 - 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, intetions 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.
AB - 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, intetions 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.
UR - http://www.scopus.com/inward/record.url?scp=78650055562&partnerID=8YFLogxK
U2 - 10.1109/COGINF.2006.365672
DO - 10.1109/COGINF.2006.365672
M3 - Conference proceeding contribution
AN - SCOPUS:78650055562
VL - 1
SP - 25
EP - 30
BT - Proceedings of the 5th IEEE International Conference on Cognitive Informatics, ICCI 2006
PB - Institute of Electrical and Electronics Engineers (IEEE)
CY - Piscataway, NJ
T2 - 5th IEEE International Conference on Cognitive Informatics, ICCI 2006
Y2 - 17 July 2006 through 19 July 2006
ER -