Foundations of Induction - of Marcus Hutter

Marcus Hutter - 34 - Foundations of InductionUniversal Artificial IntelligenceKey idea: Optimal action/plan/policy based on the simplest worldmodel consistent with history. Formally ...∑ ∑AIXI: a k := arg max ... max [r k + ... + r m ] ∑a ka mo k r k o m r m2 −length(p)p : U(p,a 1 ..a m )=o 1 r 1 ..o m r mk=now, action, observation, reward, Universal TM, program, m=lifespanAIXI is an elegant, complete, essentially unique,and limit-computable mathematical theory of AI.Claim: AIXI is the most intelligent environmentalindependent, i.e. universally optimal, agent possible.Proof: For formalizations, quantifications, proofs seeProblem: Computationally intractable.Achievement: Well-defines AI. Gold standard to aim at.Inspired practical algorithms. Cf. infeasible exact minimax.⇒[H’00-05]