Computable Variants of AIXI which are More Powerful than AIXItl

Bird, R., and Wadler, P. 1988. An Introduction to Functional Programming. Prentice-Hall.Search in Google Scholar

Boehm, H., and Cartwright, R. 1990. Exact Real Arithmetic Formulating Real Numbers As Functions. In Turner, D. A., ed., Research Topics in Functional Programming. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc. 43–64.Search in Google Scholar

Claessen, K., and Pałka, M. H. 2013. Splittable Pseudorandom Number Generators Using Cryptographic Hashing. In Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Haskell ’13, 47–58. New York, NY, USA: ACM.10.1145/2503778.2503784Search in Google Scholar

Hutter, M. 2007. Universal Algorithmic Intelligence: A Mathematical Top→Down Approach. In Goertzel, B., and Pennachin, C., eds., Artificial General Intelligence, Cognitive Technologies. Berlin: Springer. 227–290.10.1007/978-3-540-68677-4_8Search in Google Scholar

Katayama, S. 2016. Ideas for a Reinforcement Learning Algorithm that Learns Programs. In Artificial General Intelligence - 9th International Conference, AGI 2016, AGI 2016, New York, USA, July 16–19, 2016, Proceedings, 354–362.Search in Google Scholar

Plume, D. 1998. A Calculator for Exact Real Number Computation. Ph.D. Dissertation, University of Edinburgh.Search in Google Scholar

Sutton, R. S., and Barto, A. G. 1998. Introduction to Reinforcement Learning. Cambridge, MA, USA: MIT Press, 1st edition.Search in Google Scholar

Veness, J.; Ng, K. S.; Hutter, M.; Uther, W.; and Silver, D. 2011. A Monte-Carlo AIXI Approximation. Journal of Artificial Intelligence Research 40:95–142.10.1613/jair.3125Search in Google Scholar

Watkins, C. J. C. H., and Dayan, P. 1992. Q-learning. In Machine Learning, 279–292.Search in Google Scholar

Willems, F. M. J.; Shtarkov, Y. M.; and Tjalkens, T. J. 1995. The Context Tree Weighting Method: Basic Properties. IEEE Transactions on Information Theory 41:653–664.10.1109/18.382012Search in Google Scholar