The Roles of Internal Representation and Processing in Problem Solving Involving Insight: A Computational Complexity Perspective

In human problem solving, there is a wide variation between individuals in problem solution time and success rate, regardless of whether or not this problem solving involves insight. In this paper, we apply computational and parameterized analysis to a plausible formalization of extended representation change theory (eRCT), an integration of problem solving by problem space search and insight as problem restructuring which proposes that this variation may be explainable by individuals having different problem representations and search heuristic choices. Our analyses establish not only the intractability of eRCT in general, but also sets of restrictions under which eRCT-based problem solving can and cannot be done quickly. As such, our analyses both prove that several conjectures about what makes problem solving under eRCT possible in practice are incomplete, in the sense that not all factors in the model whose restriction is responsible for efficient solvability are part of the explanation, and provide several new explanations that are complete.

[1]  Trina C. Kershaw,et al.  Multiple causes of difficulty in insight: the case of the nine-dot problem. , 2004, Journal of experimental psychology. Learning, memory, and cognition.

[2]  Iris van Rooij,et al.  The Tractable Cognition Thesis , 2008, Cogn. Sci..

[3]  Michael R. Fellows,et al.  Systematic parameterized complexity analysis in computational phonology , 1999 .

[4]  Jennifer Wiley,et al.  Solving Classical Insight Problems Without Aha! Experience: 9 Dot, 8 Coin, and Matchstick Arithmetic Problems , 2016, J. Probl. Solving.

[5]  Allen Newell,et al.  Human Problem Solving. , 1973 .

[6]  Lance Fortnow,et al.  The status of the P versus NP problem , 2009, CACM.

[8]  Johan Kwisthout,et al.  A computational-level explanation of the speed of goal inference , 2013 .

[9]  Patricia A. Evans,et al.  Identifying Sources of Intractability in Cognitive Models: An Illustration Using Analogical Structure Mapping , 2008 .

[10]  S. Ohlsson,et al.  Constraint relaxation and chunk decomposition in insight problem solving , 1999 .

[11]  Stellan Ohlsson,et al.  The Problems with Problem Solving: Reflections on the Rise, Current Status, and Possible Future of a Cognitive Research Paradigm , 2012, J. Probl. Solving.

[12]  James N. MacGregor,et al.  The Effects of Number and Level of Restructuring in Insight Problem Solving , 2009, J. Probl. Solving.

[13]  Michael Öllinger,et al.  Psychological Research on Insight Problem Solving , 2009 .

[14]  Avi Wigderson,et al.  P , NP and mathematics – a computational complexity perspective , 2006 .

[15]  Moritz Müller,et al.  Parameterized Random Complexity , 2013, Theory of Computing Systems.

[16]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[17]  James N. MacGregor,et al.  Human Performance on Insight Problem Solving: A Review , 2011, J. Probl. Solving.

[18]  S. Ohlsson Information-processing explanations of insight and related phenomena , 1992 .

[19]  Stellan Ohlsson,et al.  Learning from Performance Errors. , 1996 .

[20]  Michael Öllinger,et al.  The dynamics of search, impasse, and representational change provide a coherent explanation of difficulty in the nine-dot problem , 2013, Psychological Research.

[21]  Jennifer Wiley,et al.  Obstacles in Investigating the Role of Restructuring in Insightful Problem Solving , 2009, J. Probl. Solving.

[22]  T. Ormerod,et al.  Dynamics and constraints in insight problem solving. , 2002, Journal of experimental psychology. Learning, memory, and cognition.

[23]  K. A. Ericsson,et al.  Long-term working memory. , 1995, Psychological review.

[24]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[25]  Gary Jones,et al.  Heuristics and representational change in two-move matchstick arithmetic tasks , 2006 .

[26]  David Marr,et al.  VISION A Computational Investigation into the Human Representation and Processing of Visual Information , 2009 .

[27]  Todd Wareham,et al.  Assessing the computational adequacy of the General Problem Solver model , 2014, CogSci.

[28]  Jennifer Wiley,et al.  The nature of restructuring in insight: An individual-differences approach , 2006, Psychonomic bulletin & review.

[29]  Johan Kwisthout,et al.  Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks , 2015, J. Artif. Intell. Res..

[30]  William H. Batchelder,et al.  Insight Problem Solving: A Critical Examination of the Possibility of Formal Theory , 2012, J. Probl. Solving.