6 found
  1.  23
    Reasoning about responsibility in autonomous systems: challenges and opportunities.Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein, Mehdi Dastani, Catholijn M. Jonker, Timothy J. Norman & Sarvapali D. Ramchurn - 2023 - AI and Society 38 (4):1453-1464.
    Ensuring the trustworthiness of autonomous systems and artificial intelligence is an important interdisciplinary endeavour. In this position paper, we argue that this endeavour will benefit from technical advancements in capturing various forms of responsibility, and we present a comprehensive research agenda to achieve this. In particular, we argue that ensuring the reliability of autonomous system can take advantage of technical approaches for quantifying degrees of responsibility and for coordinating tasks based on that. Moreover, we deem that, in certifying the legality (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   2 citations  
  2.  72
    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 (5 more)  
    Export citation  
    Bookmark   7 citations  
  3.  51
    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 (6 more)  
    Export citation  
    Bookmark   4 citations  
  4.  44
    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  
  5.  18
    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  
  6. 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.