11.07.2015 Views

Foundations of Induction - of Marcus Hutter

Foundations of Induction - of Marcus Hutter

Foundations of Induction - of Marcus Hutter

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>Marcus</strong> <strong>Hutter</strong> - 39 - <strong>Foundations</strong> <strong>of</strong> <strong>Induction</strong>Universal Search• Levin search: Fastest algorithm forinversion and optimization problems.• Theoretical application:Assume somebody found a non-constructivepro<strong>of</strong> <strong>of</strong> P=NP, then Levin-search is a polynomialtime algorithm for every NP (complete) problem.• Practical (OOPS) applications (J. Schmidhuber)Maze, towers <strong>of</strong> hanoi, robotics, ...• FastPrg: The asymptotically fastest and shortest algorithm for allwell-defined problems.• Computable Approximations <strong>of</strong> AIXI:AIXItl and AIξ and MC-AIXI-CTW and ΦMDP.• Human Knowledge Compression Prize: (50’000 C=)

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

Saved successfully!

Ooh no, something went wrong!