Universal artificial intelligence : Sequential decisions based on algorithmic probability - Hutter, Marcus (Springer, 2010)