An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.
Simon Colton · 2000
Automated theory formation involves the production of examples, concepts and hypotheses about the concepts. The HR program performs automated theory formation and has used to form theories in mathematical domains. In addition to providing a plausible model for automated theory formation, HR has been applied to some applications in machine learning. We discuss HR's application to inducing de nitions from examples, scienti c discovery, problem solving and puzzle generation. For each problem, we look at how theory formation was applied, and mention some initial results from using HR.