# Predicate invention in ILP — an overview

Position Papers Inductive Logic Programming

First Online:

## Abstract

Inductive Logic Programming (ILP) is a subfield of machine learning dealing with inductive inference in a first order Horn clause framework. A problem in ILP is how to extend the hypotheses language in the case that the vocabulary given initially is insufficient. One way to adapt the vocabulary is to introduce *new predicates*.

In this paper, we give an overview of different approaches to *predicate invention* in ILP. We discuss theoretical results concerning the introduction of new predicates, and ILP-systems capable of inventing predicates.

## Keywords

Inductive Inference Inductive Logic Programming Horn Clause Intended Model Intermediate Predicate
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Download
to read the full conference paper text

## References

- [BM92]Bain, M., Muggleton, S. (1992):
*Non-Monotonic Learing*in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [Ban92]Banerji, R. B. (1992):
*Learning Theoretical Terms*in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [KW91]Kietz, J., Wrobel, S. (1991):
*Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models*in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [KNS92a]Kijsirikul, B., Numao, M., Shimura, M. (1992):
*Efficient Learning of Logic Programs with Non-determinate, Non-dicriminating Literals*in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [KNS92b]Kijsirikul, B., Numao, M., Shimura, M. (1992):
*Discrimination-Based Constructive Induction of Logic Programs*, Proc. of the 10th Nat. Conf. on AI, San Jose, CAGoogle Scholar - [Kle52]Kleene, S. C. (1952):
*Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols*in S. C. Kleene: Two Papers on the Predicate Calculus, Memoirs of the American Mathematical Society No. 10, Providence, RIGoogle Scholar - [Lin91]Ling, C. X. (1991):
*Inventing Necessary Theoretical Terms in Scientific Discovery and Inductive Logic Programming*, Report No. 302, Dept. of Computer Science, University of Western Ontario, London, OntarioGoogle Scholar - [Mor91]Morik, K. (1991):
*Balanced Cooperative Modeling*, in R. S. Michalsky, G. Tecuci (eds): Proc. First Int. Workshop on Multistrategy Learning, 65–80Google Scholar - [MB88]Muggleton, S., Buntine, W. (1988):
*Machine Invention of First-Order Predicates by Inverting Resolution*, Proc. of the 5th Int. ML Workshop, Morgan KaufmanGoogle Scholar - [Mug92]Muggleton, S. (1992):
*Inductive Logic Programming*, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [Plo70]Plotkin, G. D. (1970):
*A Note on Inductive Generalisation*in: B. Meltzer, D. Mitchie (eds): Machine Intelligence 5, Edinburgh University PressGoogle Scholar - [Qui90]Quinlan, J. R. (1990):
*Learning Logical Definitions from Relations*, Machine Learning 5, 239–266Google Scholar - [Rae92]De Raedt, L., Bruynooghe, M. (1992):
*Interactive Concept-Learning and Constructive Induction by Analogy*, Machine Learning 8(2), 107–150Google Scholar - [Ric53]Rice, H. G. (1953):
*Classes of Recursively Enumerable Sets and their Decision problems*, Trans. AMS 89Google Scholar - [Rou91]Rouveirol, C. (1991):
*Extensions of Inversion of Resolution Applied to Theory Completion*in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar - [SP91]Silverstein, G., Pazzani, M. J. (1991):
*Relational Cliches: Constraining Constructive Induction During Relational Learning*, Proc. MLW 91Google Scholar - [Wir88]Wirth, R. (1988):
*Learning by Failure to Prove*, Proceeding of EWSL 88, Pitman, 237–251Google Scholar - [WO91]Wirth, R., O'Rorke, P. (1991):
*Constraints on Predicate Invention*in Proc. of the 8th Int. Workshop on ML, Morgan KaufmannGoogle Scholar - [WL89]Wogulis, J., Langley, P. (1989):
*Improving Efficiency by Learning Intermediate Concepts*, Proc. of the 11th IJCAI, DetroitGoogle Scholar - [Wro92]Wrobel, S. (1992):
*Exploiting a Problem-Solving Context to Focus Concept Formation*, to appear in Machine Learning journalGoogle Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1993