AIXI-tl

From the SL4 Lexicon:

AIXI-tl:

An attempt at scaling down AIXI, in an effort to yield a computable Artificial Intelligence. Analyzed in the paper "Theory of Universal Artificial Intelligence Based on Sequential Decision Theory and Algorithmic Probability", which is available online at http://www.idsia.ch/~marcus/ai/paixi.htm. See also Hutter, Dr. Marcus.