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.
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)
No.PART I
Volume3561

Fingerprint

Formalization
Reasoning
Trace
Dynamic Properties
Experiments
Human
Experiment

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

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
Bosse, T. ; Jonker, C.M. ; Treur, J. / Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.. Vol. 3561 Springer/Verlag, 2005. pp. 427-436 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART I).
@inproceedings{ec299cc5d9404d98b71386d15f233701,
title = "Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces",
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. {\circledC} Springer-Verlag Berlin Heidelberg 2005.",
author = "T. Bosse and C.M. Jonker and J. Treur",
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",
year = "2005",
doi = "10.1007/11499220_44",
language = "English",
isbn = "978-3-540-26298-5",
volume = "3561",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer/Verlag",
number = "PART I",
pages = "427--436",
booktitle = "Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.",

}

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

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces. / Bosse, T.; Jonker, C.M.; Treur, J.

Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.. Vol. 3561 Springer/Verlag, 2005. p. 427-436 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3561, No. PART I).

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

TY - GEN

T1 - Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

AU - Bosse, T.

AU - Jonker, C.M.

AU - Treur, J.

N1 - 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

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=26444465108&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=26444465108&partnerID=8YFLogxK

U2 - 10.1007/11499220_44

DO - 10.1007/11499220_44

M3 - Conference contribution

SN - 978-3-540-26298-5

VL - 3561

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 427

EP - 436

BT - Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.

PB - Springer/Verlag

ER -

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