On the Existence and Convergence of Computable Universal Priors

12 years 6 months ago
On the Existence and Convergence of Computable Universal Priors
Solomonoff unified Occam’s razor and Epicurus’ principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the posterior of his universal semimeasure M converges rapidly to the true sequence generating posterior µ, if the latter is computable. Hence, M is eligible as a universal predictor in case of unknown µ. We investigate the existence and convergence of computable universal (semi)measures for a hierarchy of computability classes: finitely computable, estimable, enumerable, and approximable. For instance, M is known to be enumerable, but not finitely computable, and to dominate all enumerable semimeasures. We define seven classes of (semi)measures based on these four computability concepts. Each class may or may not contain a (semi)measure which dominates all elements of another class. The analysis of these 49 cases can be reduced to four basic...
Marcus Hutter
Added 15 Mar 2010
Updated 15 Mar 2010
Type Conference
Year 2003
Where ALT
Authors Marcus Hutter
Comments (0)