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

Abstract

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.
PublisherSpringer/Verlag
Pages427-436
Number of pages10
Volume3561
ISBN (Electronic)978-3-540-31672-5
ISBN (Print)978-3-540-26298-5
DOIs
Publication statusPublished - 2005

Publication series

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

Bibliographical note

IWINAC05
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

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

  • Cite this

    Bosse, T., Jonker, C. M., & Treur, J. (2005). Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. In Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005. (Vol. 3561, pp. 427-436). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3561, No. PART I). Springer/Verlag. https://doi.org/10.1007/11499220_44