Modeling Expertise with Neurally-Guided Bayesian Program Induction

Studies of human expertise suggest that experts and novices “see“ problems differently. Experts not only acquire a body of domain-specific strategies and knowledge, but also learn to quickly identify when those concepts apply to a given problem within the domain. We propose modeling these elements as an iterative process of domain-specific language (DSL) learning, while jointly training a neural network to recognize when learned concepts apply to new problems in the domain. We show that the neural network allows the algorithm to solve problems more accurately and quickly than a model that simply acquires new concepts without learning when to use them. We also examine the implicit, vector-based problem representations learned by the neural network recognition model. Early in training, these representations cluster problems based on surface features, but they increasingly come to reflect abstract relationships between problems as the model acquires domain expertise.

[1]  E. A. Feigenbaum,et al.  The simulation of verbal learning behavior , 1899, IRE-AIEE-ACM '61 (Western).

[2]  Noah D. Goodman,et al.  Concepts in a Probabilistic Language of Thought , 2014 .

[3]  Jane C. Hill A computational model of language acquisition in the two-years-old , 1982 .

[4]  B. Adelson Problem solving and the development of abstract categories in programming languages , 1981, Memory & Cognition.

[5]  Paul J. Feltovich,et al.  Categorization and Representation of Physics Problems by Experts and Novices , 1981, Cogn. Sci..

[6]  Geoffrey E. Hinton,et al.  Visualizing Data using t-SNE , 2008 .

[7]  F. Gobet The Cambridge handbook of expertise and expert performance , 2006 .

[8]  Rajeev Alur,et al.  SyGuS-Comp 2016: Results and Analysis , 2016, SYNT@CAV.

[9]  Pushmeet Kohli,et al.  RobustFill: Neural Program Learning under Noisy I/O , 2017, ICML.

[10]  P. Langley,et al.  Computational Models of Scientific Discovery and Theory Formation , 1990 .

[11]  H. Simon,et al.  Perception in chess , 1973 .

[12]  James Rettig Can we get there from here , 1991 .

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

[14]  Geoffrey E. Hinton,et al.  The Helmholtz Machine , 1995, Neural Computation.

[15]  M. Chi Two Approaches to the Study of Experts' Characteristics , 2006 .

[16]  S. Laurence,et al.  The Conceptual Mind: New Directions in the Study of Concepts , 2015 .

[17]  Noah D. Goodman Learning and the language of thought , 2011, 2011 IEEE International Conference on Computer Vision Workshops (ICCV Workshops).

[18]  P. Langley,et al.  Identifying Solution Paths in Cognitive Diagnosis. , 1985 .

[19]  Kurt VanLehn,et al.  Seeing Deep Structure From the Interactions of Surface Features , 2012 .

[20]  A. D. D. Groot Thought and Choice in Chess , 1978 .

[21]  R. Glaser,et al.  Expertise in a complex skill: Diagnosing x-ray pictures. , 1988 .

[22]  G. Klein,et al.  Decision Making in Action: Models and Methods , 1993 .

[23]  Sumit Gulwani,et al.  Automating string processing in spreadsheets using input-output examples , 2011, POPL '11.