Probabilistic inductive inference: a survey
- Publisher: Elsevier BV
Theoretical Computer Science,
Theoretical Computer Science | Mathematics - Logic | Computer Science(all) | Computer Science - Computational Complexity | F.1.1., F.4.1., I.2.3., I.2.6 | Computer Science - Logic in Computer Science | Computer Science - Learning
Inductive inference is a recursion-theoretic theory of learning, first developed by E. M. Gold (1967). This paper surveys developments in probabilistic inductive inference. We mainly focus on finite inference of recursive functions, since this simple paradigm has produced the most interesting (and most complex) results.