Efficient Top-Down Induction of Logic Programs

  title={Efficient Top-Down Induction of Logic Programs},
  author={R. Mike Cameron-Jones and J. Ross Quinlan},
  journal={SIGART Bulletin},
FOIL is a system for inducing function-free Horn clause definitions of relations from example and extensionally defined background relations. It demonstrates the successful application of a general to specific approach to clause induction using heuristically guided search. This paper describes the current version of FOIL, assesses its performance and notes areas for improvement. The successful application of similar methods in other systems is reviewed to demonstrate their general utility. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
41 Extracted Citations
14 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 41 extracted citations

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 14 references

On the close logical relationship between FOIL and the frameworks of Helft and Plotkin

  • S. Bell, S. Weber
  • In Proceedings of the Third International…
  • 1993
Highly Influential
6 Excerpts

Theory refinement based on the minimum description length principle

  • S. Tangkitvanich, M. Shimura
  • Technical report,
  • 1993
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…