Order:
  1.  89
    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  
  2.  18
    The ABC of algorithmic aversion: not agent, but benefits and control determine the acceptance of automated decision-making.Gabi Schaap, Tibor Bosse & Paul Hendriks Vettehen - forthcoming - AI and Society:1-14.
    While algorithmic decision-making (ADM) is projected to increase exponentially in the coming decades, the academic debate on whether people are ready to accept, trust, and use ADM as opposed to human decision-making is ongoing. The current research aims at reconciling conflicting findings on ‘algorithmic aversion’ in the literature. It does so by investigating algorithmic aversion while controlling for two important characteristics that are often associated with ADM: increased benefits (monetary and accuracy) and decreased user control. Across three high-powered (Ntotal = (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Formal analysis of dynamics within philosophy of mind by computer simulation.Tibor Bosse, Martijn C. Schut & Jan Treur - 2009 - Minds and Machines 19 (4):543-555.
    Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark  
  4.  36
    A Model-Based Reasoning Approach to Prevent Crime.Tibor Bosse & Charlotte Gerritsen - 2010 - In W. Carnielli L. Magnani (ed.), Model-Based Reasoning in Science and Technology. pp. 159--177.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  28
    Formalization and Analysis of Reasoning by Assumption.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2006 - Cognitive Science 30 (1):147-180.
    This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been specified, some of which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  10
    Validating Automated Sentiment Analysis of Online Cognitive Behavioral Therapy Patient Texts: An Exploratory Study.Simon Provoost, Jeroen Ruwaard, Ward van Breda, Heleen Riper & Tibor Bosse - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark