Hutter, Marcus (2000) Towards a Universal Theory of Artificial Intelligence based on Algorithmic Probability and Sequential Decision Theory. Technical Report UNSPECIFIED