5 found
  1.  52
    Formalisation of Damasio’s Theory of Emotion, Feeling and Core Consciousness.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2008 - Consciousness and Cognition 17 (1):94-113.
    This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   7 citations  
  2.  41
    Reductionist and Anti-Reductionist Perspectives on Dynamics.Catholijn M. Jonker, Jan Treur & Wouter C. A. Wijngaards - 2002 - Philosophical Psychology 15 (4):381 – 409.
    In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) (...)
    Direct download (8 more)  
    Export citation  
    Bookmark   4 citations  
  3.  42
    Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
    Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
  4. Antonio Moreno-Sandoval and José Miguel Goñi-Menoyo/Spanish Inflectional Morphology in Datr 79–105 Albert Visser/the Donkey and the Monoid. Dynamic Semantics with Control Elements 107–131 Instructions for Authors 133–139. [REVIEW]Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11:521-522.
  5.  15
    Formalization and Analysis of Reasoning by Assumption.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2006 - Cognitive Science 30 (1):147-180.
    No categories
    Direct download  
    Export citation