Automatic Methods of Inductive Inference