Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2

Induction of number series is a typical task included in intelligence tests. It measures the ability to detect regular patterns and to generalize over them, which is assumed to be crucial for general intelligence. There are some computational approaches to solve number problems. Besides special-purpose algorithms, applicability of general purpose learning algorithms to number series prediction was shown for E-generalization and artificial neural networks (ANN). We present the applicability of the analytical inductive programming system Igor2 to number series problems. An empirical comparison of Igor2 shows that Igor2 has comparable performance on the test series used to evaluate the ANN and the E-generalization approach. Based on findings of a cognitive analysis of number series problems by Holzman et al. (1982, 1983) we conducted a detailed case study, presenting Igor2 with a set of number series problems where the complexity was varied over different dimensions identified as sources of cognitive complexity by Holzman. Our results show that performance times of Igor2 correspond to the cognitive findings for most dimensions.

[1]  Ute Schmid,et al.  Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach , 2006, J. Mach. Learn. Res..

[2]  Stefan Edelkamp,et al.  KI 2011: Advances in Artificial Intelligence , 2011, Lecture Notes in Computer Science.

[3]  J. Hernández-Orallo,et al.  IQ tests are not for machines, yet , 2012 .

[4]  Ute Schmid,et al.  Inductive rule learning on the knowledge level , 2011, Cognitive Systems Research.

[5]  Ute Schmid,et al.  A Unifying Framework for Analysis and Evaluation of Inductive Programming Systems , 2009 .

[6]  Emanuel Kitzelmann,et al.  Analytical Inductive Functional Programming , 2009, LOPSTR.

[7]  R. Glaser,et al.  Cognitive Variables in Series Completion. , 1983 .

[8]  Roland Olsson,et al.  Inductive Functional Programming Using Incremental Program Transformation , 1995, Artif. Intell..

[9]  Mehrdad Amirghasemi,et al.  An anthropomorphic method for number sequence problems , 2013, Cognitive Systems Research.

[10]  Christian Lebiere,et al.  The dynamics of cognition: An ACT-R model of cognitive arithmetic , 1999, Kognitionswissenschaft.

[11]  Michael Siebers,et al.  Semi-analytic Natural Number Series Induction , 2012, KI.

[12]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[13]  Antonio Krüger,et al.  KI 2012: Advances in Artificial Intelligence , 2012, Lecture Notes in Computer Science.

[14]  R. Mike Cameron-Jones,et al.  FOIL: A Midterm Report , 1993, ECML.

[15]  Pierre Flener,et al.  An introduction to inductive programming , 2008, Artificial Intelligence Review.

[16]  John H. Holland,et al.  Induction: Processes of Inference, Learning, and Discovery , 1987, IEEE Expert.

[17]  Phillip D. Summers,et al.  A Methodology for LISP Program Construction from Examples , 1977, J. ACM.

[18]  Marco Ragni,et al.  Predicting Numbers: An AI Approach to Solving Number Series , 2011, KI.

[19]  J. Tenenbaum,et al.  Theory-based Bayesian models of inductive learning and reasoning , 2006, Trends in Cognitive Sciences.

[20]  R. Glaser,et al.  Cognitive Dimensions of Numerical Rule Induction. , 1982 .

[21]  Susumu Katayama Systematic search for lambda expressions , 2005, Trends in Functional Programming.

[22]  Manuel V. Hermenegildo,et al.  Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models , 2013, LOPSTR.

[23]  Jochen Burghardt,et al.  E-generalization using grammars , 2005, Artif. Intell..

[24]  Tobias Nipkow,et al.  Term rewriting and all that , 1998 .

[25]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[26]  Pavel B. Brazdil,et al.  Machine Learning: ECML-93 , 1993, Lecture Notes in Computer Science.