Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

T. Bosse, C.M. Jonker, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review


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.
Original languageEnglish
Title of host publicationMechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.
Number of pages10
ISBN (Electronic)978-3-540-31672-5
ISBN (Print)978-3-540-26298-5
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART I

Bibliographical note

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


Dive into the research topics of 'Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces'. Together they form a unique fingerprint.

Cite this