Advertisement

Properties of Inductive Logic Programming in function-free Horn logic

  • Irene Stahl
Extended Abstracts
Part of the Lecture Notes in Computer Science book series (LNCS, volume 784)

Abstract

Inductive Logic Programming (ILP) deals with inductive inference in first order Horn logic. A commonly employed restriction on the hypothesis space in ILP is that to function-free programs. It yields a more tractable hypothesis space, and simplifies induction. This paper investigates basic properties of ILP in function-free languages.

References

  1. [Mug92]
    Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  2. [Qui90]
    Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5Google Scholar
  3. [Rae91]
    De Raedt, L., Feyaerts, J., Bruynooghe, M. (1991): Acquiring Object-Knowledge for Learning Systems, in Y. Kodratoff (ed): Proceedings of the Fifth European Working Session on Learning, SpringerGoogle Scholar
  4. [Rei93]
    Reinhardt, K. (1993), personal communicationGoogle Scholar
  5. [Rou91]
    Rouveirol, C. (1991): ITOU: Induction of First Order Theories, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
  6. [Sta94]
    Stahl, I. (1994): On the Utility of Predicate Invention in Inductive Logic Programming, this volumeGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

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

Personalised recommendations