Automating the ILP Setup Task: Converting User Advice about Specific Examples into General Background Knowledge

Published in Twentieth International Conference on Inductive Logic Programming (ILP'10), Firenze, Italy, 2010

Recommended citation: T. Walker, C. Reilly, G. Kunapuli, S. Natarajan, R. Maclin, D. Page and J. W. Shavlik. Automating the ILP Setup Task: Converting User Advice about Specific Examples into General Background Knowledge. Twentieth International Conference on Inductive Logic Programming (ILP'10), Firenze, Italy, June 27-30, 2010. http://gkunapuli.github.io/files/10ilp.pdf

Inductive Logic Programming (ILP) provides an effective method of learning logical theories given a set of positive examples, a set of negative examples, a corpus of background knowledge and specification of a search space (e.g., by mode definitions) from which to compose the theories. While specifying positive and negative examples is relatively straightforward, composing effective background knowledge and search space definition requires detailed understanding of many aspects of the ILP process and limits the usability of ILP. This paper introduces a number of techniques to automate the use of ILP for a non-ILP expert. These techniques include automatic generation of background knowledge from user-supplied information in the form of a simple relevance language, utilization of type hierarchies to constrain search, automatic generation of negative examples, and an iterative-deepening style search process.

[BibTeX]