Marcus Hutter formalized this in his AIXI work.