论文信息 - Formal analysis of Damasio's theory on core consciousness

Formal analysis of Damasio's theory on core consciousness

This article presents a formal analysis of Damasio’s theory on core consciousness. Three important concepts in this theory are “emotion”, “feeling”, and “feeling a feeling ” (or core consciousness). In particular, a simulation model is described of the neural dynamics leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made and verified of relevant notions of representation.

[1] Tibor Bosse,et al. Representational content and the reciprocal interplay of agent and environment , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[2] Robert W. Kentridge. Review: The Feeling of What Happens: Body, Emotion and the Making of Consciousness , 2000 .

[3] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 2002, Int. J. Cooperative Inf. Syst..

[4] J. Prinz. Gut Reactions: A Perceptual Theory of Emotion , 2004 .

[5] A. Damasio. The Feeling of What Happens: Body and Emotion in the Making of Consciousness , 1999 .

[6] A. Damasio,et al. Subcortical and cortical brain activity during the feeling of self-generated emotions , 2000, Nature Neuroscience.

[7] R. Llinás,et al. Consciousness and the Brain , 2001 .

[8] P V Simonov,et al. [Consciousness and the brain]. , 1993, Zhurnal vysshei nervnoi deiatelnosti imeni I P Pavlova.

[9] Tibor Bosse,et al. LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn , 2005, IEA/AIE.

[10] Catholijn M. Jonker,et al. A temporal modelling environment for internally grounded beliefs, desires and intentions , 2003, Cognitive Systems Research.