Solomonoff, R. J.

A formal theory of inductive inference


In Part II these models are applied to the solution of three problems--prediction of the Bernoulli sequence, extrapolation of a certain kind of Markov chain, and the use of phrase structure grammars for induction. The solution to the second problem uses less certain approximations, but the properties of the solution that are discussed, are fairly independent of these approximations. The third application, using phrase structure grammars, is least exact of the three. This formal solution is then applied in an approximate way to the determination of the "optimum" phrase structure grammar for a given set of strings.