Properties of Inductive Logic Programming in function-free Horn logic
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.
- [Mug92]Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
- [Qui90]Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5Google Scholar
- [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
- [Rei93]Reinhardt, K. (1993), personal communicationGoogle Scholar
- [Rou91]Rouveirol, C. (1991): ITOU: Induction of First Order Theories, in S. Muggleton (ed): Inductive Logic Programming, Academic PressGoogle Scholar
- [Sta94]Stahl, I. (1994): On the Utility of Predicate Invention in Inductive Logic Programming, this volumeGoogle Scholar