Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces | Zendy

Tibor Bosse | Zendy; Catholijn M. Jonker | Zendy; Jan Treur | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

Author(s) -

Tibor Bosse,

Catholijn M. Jonker,

Jan Treur

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-26298-9

DOI - 10.1007/11499220_44

Subject(s) - computer science , variety (cybernetics) , opportunistic reasoning , reasoning system , model based reasoning , deductive reasoning , case based reasoning , artificial intelligence , analytic reasoning , qualitative reasoning , automated reasoning , natural language processing , knowledge representation and reasoning

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research