AIXI-tl

https://arbital.com/p/aixitl

by Eliezer Yudkowsky Jan 17 2016 updated Jan 17 2016

A time-bounded version of the ideal agent AIXI that uses an impossibly large finite computer instead of a hypercomputer.


$~$\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.