Predicate invention in ILP — an overview

  • Irene Stahl
Position Papers Inductive Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 667)


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.


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.


  1. [BM92]
    Bain, M., Muggleton, S. (1992): Non-Monotonic Learing in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  2. [Ban92]
    Banerji, R. B. (1992): Learning Theoretical Terms in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  3. [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
  4. [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
  5. [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
  6. [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
  7. [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
  8. [Mor91]
    Morik, K. (1991): Balanced Cooperative Modeling, in R. S. Michalsky, G. Tecuci (eds): Proc. First Int. Workshop on Multistrategy Learning, 65–80Google Scholar
  9. [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
  10. [Mug92]
    Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  11. [Plo70]
    Plotkin, G. D. (1970): A Note on Inductive Generalisation in: B. Meltzer, D. Mitchie (eds): Machine Intelligence 5, Edinburgh University PressGoogle Scholar
  12. [Qui90]
    Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5, 239–266Google Scholar
  13. [Rae92]
    De Raedt, L., Bruynooghe, M. (1992): Interactive Concept-Learning and Constructive Induction by Analogy, Machine Learning 8(2), 107–150Google Scholar
  14. [Ric53]
    Rice, H. G. (1953): Classes of Recursively Enumerable Sets and their Decision problems, Trans. AMS 89Google Scholar
  15. [Rou91]
    Rouveirol, C. (1991): Extensions of Inversion of Resolution Applied to Theory Completion in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  16. [SP91]
    Silverstein, G., Pazzani, M. J. (1991): Relational Cliches: Constraining Constructive Induction During Relational Learning, Proc. MLW 91Google Scholar
  17. [Wir88]
    Wirth, R. (1988): Learning by Failure to Prove, Proceeding of EWSL 88, Pitman, 237–251Google Scholar
  18. [WO91]
    Wirth, R., O'Rorke, P. (1991): Constraints on Predicate Invention in Proc. of the 8th Int. Workshop on ML, Morgan KaufmannGoogle Scholar
  19. [WL89]
    Wogulis, J., Langley, P. (1989): Improving Efficiency by Learning Intermediate Concepts, Proc. of the 11th IJCAI, DetroitGoogle Scholar
  20. [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

Authors and Affiliations

  • Irene Stahl
    • 1
  1. 1.Fakultät InformatikUniversität StuttgartStuttgart 80

Personalised recommendations