Reasoning by assumption: Formalisation and analysis of human reasoning traces

There is no fulltext present in this item.

Title:	Reasoning by assumption: Formalisation and analysis of human reasoning traces
Author(s):	Bosse, T. ; Jonker, C.M. ; Treur, J.
Publication year:	2003
In:	Sun, R. (ed.), Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, pp. 124-127
Publisher:	[S.l. : s.n.]
Annotation:	IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/194609
Display more details
Editor(s):	Sun, R.
Subject:	Communication and Media
Organization:	SW OZ BSI CW
Book title:	Sun, R. (ed.), Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions
Page start:	p. 124
Page end:	p. 127
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.
Languages used:	English (eng)