Reasoning by assumption: Formalisation and analysis of human reasoning traces
InSun, R. (ed.), Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions, pp. 124-127
IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
Sun, R. (ed.), Proceedings of the IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interactions
SubjectCommunication and Media
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 
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.