On the Computability of Solomonoff Induction and Knowledge-Seeking
Jan Leike, Marcus Hütter · arXiv (Cornell University) · 2015
Solomonoff induction is held as a gold standard for learning, but it is known to be incomputable. We quantify its incomputability by placing various flavors of Solomonoff's prior M in the arithmetical hierarchy. We also derive computability bounds for knowledge-seeking agents, and give a limit-computable weakly asymptotically optimal reinforcement learning agent.