Universal artificial intelligence