This paper describes a new method for inducing logic programs from examples which attempts to integrate the best aspects of existing ILP methods into a single coherent framework. In particular, it combines a bottom-up method similar to GOLEM with a top-down method similar to FOIL. It also includes a method for predicate invention similar to CHAMP and an elegant solution to the ``noisy oracle'' problem which allows the system to learn recursive programs without requiring a complete set of positive examples. Systematic experimental comparisons to both GOLEM and FOIL on a range of problems are used to clearly demonstrate the advantages of the approach.

PDF, PS

In Proceedings of the Eleventh International Workshop on Machine Learning (ML-94), pp. 343--351, Rutgers, NJ, July 1994.

@inproceedings{zelle:ml94, title={Combining Top-Down And Bottom-Up Techniques In Inductive Logic Programming}, author={John M. Zelle and Raymond J. Mooney and Joshua B. Konvisser}, booktitle={Proceedings of the Eleventh International Workshop on Machine Learning (ML-94)}, month={July}, address={Rutgers, NJ}, pages={343--351}, url="http://www.cs.utexas.edu/users/ai-lab?zelle:ml94", year={1994} }