On the Computability of Solomonoff Induction and Knowledge-Seeking
@article{Leike2015OnTC, title={On the Computability of Solomonoff Induction and Knowledge-Seeking}, author={J. Leike and Marcus Hutter}, journal={ArXiv}, year={2015}, volume={abs/1507.04124} }
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.
Supplemental Presentations
11 Citations
On the computability of Solomonoff induction and AIXI
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2018
- 2
- PDF
References
SHOWING 1-10 OF 23 REFERENCES
Optimality Issues of Universal Greedy Agents with Static Priors
- Mathematics, Computer Science
- ALT
- 2010
- 26
- PDF
Asymptotic non-learnability of universal agents with computable horizon functions
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 2013
- 20
- PDF
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
- Computer Science, Mathematics
- ArXiv
- 2000
- 61
- PDF
On the Relation between Descriptional Complexity and Algorithmic Probability
- Computer Science
- Theor. Comput. Sci.
- 1983
- 54
- PDF
(Non-)Equivalence of Universal Priors
- Mathematics, Computer Science
- Algorithmic Probability and Friends
- 2013
- 23
- PDF