An Introduction to Universal Artificial Intelligence