AIXI-tl

$\text{AIXI}^{tl}$ is a version of the ideal agent AIXI which only considers hypotheses of length $l$ that run for less than time $t$. A $tl$-bounded version of AIXI therefore only requires an unphysically large finite computer rather than an infinite hypercomputer.