Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence (The Reasoner, 2013)