Title: Automatic methods of inductive inference