论文信息 - Synthesizing Inductive Expertise

Synthesizing Inductive Expertise

We consider programs that accept descriptions of inductive inference problems and return machines that solve them. Several design specifications for synthesizers of this kind are considered from a recursion-theoretic perspective.

[1] Dana Angluin,et al. Inductive Inference of Formal Languages from Positive Data , 1980, Inf. Control..

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

[3] Kenneth Wexler,et al. Formal Principles of Language Acquisition , 1980 .

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

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

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