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.
CITATION STYLE
Bosse, T., Jonker, C. M., & Treur, J. (2005). Reasoning by assumption: Formalisation and analysis of human reasoning traces. In Lecture Notes in Computer Science (Vol. 3561, pp. 427–436). Springer Verlag. https://doi.org/10.1007/11499220_44
Mendeley helps you to discover research relevant for your work.