28.01.2015 Views

Slides in PDF - of Marcus Hutter

Slides in PDF - of Marcus Hutter

Slides in PDF - of Marcus Hutter

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Marcus</strong> <strong>Hutter</strong> - 47 - Universal Induction & Intelligence<br />

Indifference or Symmetry Pr<strong>in</strong>ciple<br />

Assign same probability to all hypotheses:<br />

p(H i ) = 1<br />

|I|<br />

for f<strong>in</strong>ite I<br />

p(H θ ) = [Vol(Θ)] −1 for compact and measurable Θ.<br />

⇒ p(H i |D) ∝ p(D|H i ) ∧ = classical Hypothesis test<strong>in</strong>g (Max.Likelihood).<br />

Prev. Example: H θ =Bernoulli(θ) with p(θ) = 1 for θ ∈ Θ := [0, 1].<br />

Problems: Does not work for “large” hypothesis spaces:<br />

(a) Uniform distr. on <strong>in</strong>f<strong>in</strong>ite I = IN or noncompact Θ not possible!<br />

(b) Reparametrization: θ ❀ f(θ). Uniform <strong>in</strong> θ is not uniform <strong>in</strong> f(θ).<br />

Example: “Uniform” distr. on space <strong>of</strong> all (b<strong>in</strong>ary) sequences {0, 1} ∞ :<br />

p(x 1 ...x n ) = ( 1 2 )n ∀n∀x 1 ...x n ⇒ p(x n+1 = 1|x 1 ...x n ) = 1 2 always!<br />

Inference so not possible (No-Free-Lunch myth).<br />

Predictive sett<strong>in</strong>g: All we need is p(x).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!