Hutter, Marcus Universal artificial intelligence : sequential decisions based on algorithmic probability Marcus Hutter