Open Problems in "Systems That Learn"

In this paper we solve some of the open problems in D. Osherson, M. Stob, and S. Weinstein (''Systems That Learn,'' MIT Press, Cambridge, MA, 1986). We also give partial solutions to some other open problems in the book. In particular we show that the collection of classes of languages that can be identified on ''noisy'' text (i.e., a text which may contain some elements which are not in the language being learned) strictly contains the collection of classes of languages that can be identified on ''imperfect'' text (i.e., a text which may contain some extra elements and may leave out some elements from the language being learned). We also show that memory limited identification is strictly more restrictive that memory bounded identification. Besides solving the above two open problems from op. cit., we also give partial solutions to other open problems in ibid.

[1]  Hartley Rogers,et al.  Gödel numberings of partial recursive functions , 1958, Journal of Symbolic Logic.

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

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

[4]  Rolf Wiehagen,et al.  Research in the theory of inductive inference by GDR mathematicians - A survey , 1980, Inf. Sci..

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

[6]  Paul Young,et al.  An introduction to the general theory of algorithms , 1978 .

[7]  Daniel N. Osherson,et al.  Systems That Learn: An Introduction to Learning Theory for Cognitive and Computer Scientists , 1990 .

[8]  Mark A. Fulk Prudence and Other Conditions on Formal Language Learning , 1990, Inf. Comput..

[9]  Sanjay Jain,et al.  Learning in the presence of inaccurate information , 1989, COLT '89.

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

[11]  John Case,et al.  Comparison of Identification Criteria for Machine Inductive Inference , 1983, Theor. Comput. Sci..

[12]  Manuel Blum,et al.  Toward a Mathematical Theory of Inductive Inference , 1975, Inf. Control..

[13]  D. Osherson,et al.  A note on formal learning theory , 1982, Cognition.

[14]  John Case The power of vacillation , 1988, COLT '88.

[15]  John Case,et al.  Machine Inductive Inference and Language Identification , 1982, ICALP.

[16]  Sanjay Jain Learning in the presence of additional information and inaccurate information , 1991 .

[17]  Mark A. Fulk A study of inductive inference machines , 1986 .

[18]  Gisela Schäfer-Richter,et al.  Über Eingabeabhängigkeit und Komplexität von Inferenzstrategien , 1984 .

[19]  Manuel Blum,et al.  A Machine-Independent Theory of the Complexity of Recursive Functions , 1967, JACM.