A Formal Theory of Inductive Inference. Part II