Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces

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.

[1]  Keith Stenning,et al.  A working memory model of relations between interpretation and reasoning , 2005 .

[2]  K. Koyama,et al.  An Optimal Mastermind Strategy , 1993 .

[3]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[4]  Ali S. Hadi,et al.  Finding Groups in Data: An Introduction to Chster Analysis , 1991 .

[5]  Catholijn M. Jonker,et al.  Analysis of the Dynamics of Reasoning Using Multiple Representations , 2002 .

[6]  Rocky Ross,et al.  Mental models , 2004, SIGA.

[7]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[8]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..

[9]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[10]  S. Bringsjord,et al.  Mental MetaLogic: a New Paradigm in Psychology of Reasoning , 2001 .

[11]  Tibor Bosse,et al.  Modelling Shared Extended Mind and Collective Representational Content , 2004, SGAI Conf..

[12]  Herbert A. Simon,et al.  Problem solving and rule induction: A unified view. , 1974 .

[13]  D. Knuth.  The Computer as Master Mind , 1977 .

[14]  Jan Treur,et al.  Temporal Semantics of Compositional Task Models and Problem Solving Methods , 1999, Data Knowl. Eng..

[15]  R. Byrne.  Suppressing valid inferences with conditionals , 1989, Cognition.

[16]  Daniela E. Damian,et al.  Specification of Bahavioural Requirements within Compositional Multi-agent System Design , 1999, MAAMAW.

[17]  L. Rips.  The Psychology of Proof: Deductive Reasoning in Human Thinking , 1994 .

[18]  Tibor Bosse,et al.  SIMULATION AND ANALYSIS OF CONTROLLED MULTI-REPRESENTATIONAL REASONING PROCESSES , 2007, Appl. Artif. Intell..

[19]  A meta-analytic review of conditional reasoning by model and/or rule: mental models theory revisited , 2001 .

[20]  Catholijn M. Jonker,et al.  Modelling the dynamics of reasoning processes: Reasoning by assumption , 2003, Cognitive Systems Research.

[21]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[22]  David Klahr,et al.  Dual Space Search During Scientific Reasoning , 1988, Cogn. Sci..