Universal Artificial Intelligence: Sequential Decisions Based On Algorithmic Probability