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.
This work has been supported by the European Community ESPRIT project ILP (Inductive Logic Programming).
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bain, M., Muggleton, S. (1992): Non-Monotonic Learing in S. Muggleton (ed): Inductive Logic Programming, Academic Press
Banerji, R. B. (1992): Learning Theoretical Terms in S. Muggleton (ed): Inductive Logic Programming, Academic Press
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 Press
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 Press
Kijsirikul, B., Numao, M., Shimura, M. (1992): Discrimination-Based Constructive Induction of Logic Programs, Proc. of the 10th Nat. Conf. on AI, San Jose, CA
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, RI
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, Ontario
Morik, K. (1991): Balanced Cooperative Modeling, in R. S. Michalsky, G. Tecuci (eds): Proc. First Int. Workshop on Multistrategy Learning, 65–80
Muggleton, S., Buntine, W. (1988): Machine Invention of First-Order Predicates by Inverting Resolution, Proc. of the 5th Int. ML Workshop, Morgan Kaufman
Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic Press
Plotkin, G. D. (1970): A Note on Inductive Generalisation in: B. Meltzer, D. Mitchie (eds): Machine Intelligence 5, Edinburgh University Press
Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5, 239–266
De Raedt, L., Bruynooghe, M. (1992): Interactive Concept-Learning and Constructive Induction by Analogy, Machine Learning 8(2), 107–150
Rice, H. G. (1953): Classes of Recursively Enumerable Sets and their Decision problems, Trans. AMS 89
Rouveirol, C. (1991): Extensions of Inversion of Resolution Applied to Theory Completion in S. Muggleton (ed): Inductive Logic Programming, Academic Press
Silverstein, G., Pazzani, M. J. (1991): Relational Cliches: Constraining Constructive Induction During Relational Learning, Proc. MLW 91
Wirth, R. (1988): Learning by Failure to Prove, Proceeding of EWSL 88, Pitman, 237–251
Wirth, R., O'Rorke, P. (1991): Constraints on Predicate Invention in Proc. of the 8th Int. Workshop on ML, Morgan Kaufmann
Wogulis, J., Langley, P. (1989): Improving Efficiency by Learning Intermediate Concepts, Proc. of the 11th IJCAI, Detroit
Wrobel, S. (1992): Exploiting a Problem-Solving Context to Focus Concept Formation, to appear in Machine Learning journal
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stahl, I. (1993). Predicate invention in ILP — an overview. In: Brazdil, P.B. (eds) Machine Learning: ECML-93. ECML 1993. Lecture Notes in Computer Science, vol 667. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56602-3_144
Download citation
DOI: https://doi.org/10.1007/3-540-56602-3_144
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56602-1
Online ISBN: 978-3-540-47597-2
eBook Packages: Springer Book Archive