Reasoning by assumption: formalisation and analysis of human reasoning traces

Authors:
Tibor Bosse;Catholijn M. Jonker;Jan Treur
Affiliations:
Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands;Division Cognitive Engineering, Nijmegen Institute for Cognition and Information;Department of Artificial Intelligence, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
Venue:
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
Year:
2005

Citing 6
Cited 0

A logic-based calculus of events

New Generation Computing
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Specification of Bahavioural Requirements within Compositional Multi-agent System Design

MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Modelling the dynamics of reasoning processes: Reasoning by assumption

Cognitive Systems Research

Quantified Score

Hi-index	0.00

Visualization

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.