In
Sun, R. (ed.), Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, pp. 124-127Annotation
IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Sun, R.
Organization
SW OZ BSI CW
Languages used
English (eng)
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
Subject
Communication and MediaAbstract
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.
This item appears in the following Collection(s)
- Non RU Publications [13190]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.