Experience, generations, and limits in machine learning

This paper extends traditional models of machine learning beyond their one-level structure by introducing previously obtained problem knowledge into the algorithm or automaton involved. Some authors studied more advanced than traditional models that utilize some kind of predetermined knowledge, having a two-level structure. However, even in this case, the model has not reflected the source and inherited properties of predetermined knowledge. In society, knowledge is often transmitted from previous generations. The aim of this paper is to construct and study algorithmic models of learning processes that utilize predetermined or prior knowledge. The models use recursive, subrecursive, and super-recursive algorithms. Predetermined knowledge includes: a text description, activity rules (e.g., for cognition), and specific structured personal or social memory. Algorithmic models represent these three forms as separate structured processing systems: automata with (1) advice; (2) structured program; and (3) structured memory. That yields three basic models for learning systems: polynomially bounded turing machines, Turing machines, and inductive Turing machines of the first order.

[1]  Carl H. Smith,et al.  On the impact of forgetting on learning machines , 1995, JACM.

[2]  C. Shatz,et al.  Synaptic Activity and the Construction of Cortical Circuits , 1996, Science.

[3]  Mark Burgin,et al.  How we know what technology can do , 2001, CACM.

[4]  M. Burgin,et al.  Super-recursive Algorithms as a Tool for High Performance Computing , 1999 .

[5]  H. Evans The Study of Instinct , 1952 .

[6]  Peter A. Tucker,et al.  Primary Memory , 1965, Encyclopedia of Database Systems.

[7]  José L. Balcázar,et al.  Structural Complexity I , 1995, Texts in Theoretical Computer Science An EATCS Series.

[8]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[9]  N. Tinbergen,et al.  The Study of Instinct , 1953 .

[10]  E. Mark Gold,et al.  Language Identification in the Limit , 1967, Inf. Control..

[11]  Jr. Hartley Rogers Theory of Recursive Functions and Effective Computability , 1969 .

[12]  Mark Burgin,et al.  Nonlinear phenomena in spaces of algorithms , 2003, Int. J. Comput. Math..

[13]  Hilary Putnam,et al.  Trial and error predicates and the solution to a problem of Mostowski , 1965, Journal of Symbolic Logic.

[14]  Kevin T. Kelly,et al.  Learning Theory and the Philosophy of Science , 1997, Philosophy of Science.

[15]  Mark Burgin Topological algorithms , 2001, Computers and Their Applications.

[16]  Mark Burgin,et al.  Super-Recursive Algorithms , 2004, Monographs in Computer Science.

[17]  Dana Angluin,et al.  Computational learning theory: survey and selected bibliography , 1992, STOC '92.

[18]  E. T. Bell,et al.  Men of Mathematics , 1937, Nature.

[19]  Mark Burgin,et al.  Cluster Computers and Grid Automata , 2003, CATA.

[20]  G. Reeke The society of mind , 1991 .

[21]  M. Mahoney,et al.  History of Mathematics , 1924, Nature.

[22]  S. Hyakin,et al.  Neural Networks: A Comprehensive Foundation , 1994 .

[23]  J. C. Martin,et al.  Introduction to Languages and the Theory of Computation" 3rd Ed , 1991 .

[24]  E. Mark Gold,et al.  Limiting recursion , 1965, Journal of Symbolic Logic.

[25]  Carl H. Smith,et al.  On the Inductive Inference of Recursive Real-Valued Functions , 1999, Theor. Comput. Sci..

[26]  E. Knudsen Instructed learning in the auditory localization pathway of the barn owl , 2002, Nature.

[27]  Richard C. Atkinson,et al.  Human Memory: A Proposed System and its Control Processes , 1968, Psychology of Learning and Motivation.

[28]  Rolf Herken,et al.  The Universal Turing Machine: A Half-Century Survey , 1992 .

[29]  M. W. Shields An Introduction to Automata Theory , 1988 .

[30]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[31]  Carla H. Lagorio,et al.  Psychology , 1929, Nature.

[32]  Uwe Schöning,et al.  Complexity theory and interaction , 1988 .

[33]  José L. Balcázar,et al.  Structural complexity 1 , 1988 .

[34]  Carl H. Smith,et al.  Inductive Inference: Theory and Methods , 1983, CSUR.

[35]  J. van Leeuwen,et al.  Theoretical Computer Science , 2003, Lecture Notes in Computer Science.

[36]  María G. Cisneros-Solís,et al.  MEDICAL ANNUAL , 1958, Journal of The Royal Naval Medical Service.

[37]  June Jamrich Parsons,et al.  New Perspectives on Computer Concepts , 1995 .