Reasoning by assumption: Formalisation and analysis of human reasoning traces

Item does not contain fulltextThis 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.IJCAI 2003 Workshop on Cognitive Modeling of Agents and Multi-Agent Interaction