Inductive Inferencereasoning from observed training cases to general rulesbottom-up logicInductive InferencesMathematical inductionSolomonoff Induction