Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory