Universal Artificial Intelligence