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. © Springer-Verlag Berlin Heidelberg 2005.
|Title of host publication||Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.|
|Number of pages||10|
|Publication status||Published - 2005|
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|
Proceedings title: Proceedings of the First International Work-conference on the Interplay between Natural and Artificial Computation (IWINAC 2005)
Publisher: Springer Verlag
Editors: Jose Mira, Jose R. Alvarez