reasoning from observed training cases to general rulesbottom-up logicInductive InferencesMathematical induction