Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

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

doi:10.1007/11499220_44

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

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

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 language	English
Title of host publication	Mechanisms, Symbols, and Models Underlying Cognition. IWINAC 2005.
Publisher	Springer/Verlag
Pages	427-436
Number of pages	10
Volume	3561
ISBN (Electronic)	978-3-540-31672-5
ISBN (Print)	978-3-540-26298-5
DOIs	https://doi.org/10.1007/11499220_44
Publication status	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART I
Volume	3561

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

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 16 Peace, Justice and Strong Institutions

Access to Document

10.1007/11499220_44

Persistent URL (handle)

Persistent link

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. {\textcopyright} 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 proceeding › Conference contribution › Academic › peer-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 - https://www.scopus.com/pages/publications/26444465108

UR - https://www.scopus.com/pages/publications/26444465108#tab=citedBy

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). doi: 10.1007/11499220_44

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

Abstract

Publication series

Bibliographical note

UN SDGs

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this