Reasoning by assumption: Formalisation and analysis of human reasoning traces
Berlin ; New York : Springer
InMira, J.; Alvarez, J.R. (ed.), IWINAC 2005: Mechanisms, Symbols, and Models Underlying Cognition, pp. 427-436
First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ DCC KI
SW OZ NICI KI
Mira, J.; Alvarez, J.R. (ed.), IWINAC 2005: Mechanisms, Symbols, and Models Underlying Cognition
SubjectCognitive artificial intelligence
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern called 'reasoning by assumption' a variety of dynamic properties have been specified, some of which are considered characteristic for the reasoning pattern, whereas some other properties can be used to discriminate between different approaches to the reasoning. These properties have been automatically checked for the traces acquired in experiments undertaken.
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.