Abstract
The task of predicate invention in ILP is to extend the hypothesis language with new predicates in case that the vocabulary given initially is insufficient for the learning task. However, whether predicate invention really helps to make learning succeed in the extended language depends on the bias that is currently employed.
In this paper we investigate for which commonly employed language biases predicate invention is an appropriate shift operation. We prove that for some restricted languages predicate invention does not help in case that the learning task fails, and characterize the languages for which predicate invention is useful as bias shift operation.
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
Buntine, W. (1990): Constructive Induction in Definite Clause Logic, draft
Flach, P. A. (1993): Predicate Invention in Inductive Data Engineering, Proceedings of the European Conference on Machine Learning, Vienna
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
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
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
Muggleton, S. (1988): A Strategy for Constructing New Predicates in First Order Logic, in Proceedings of the Third European Working Session on Learning, Pitman
Muggleton, S., Buntine, W. (1988): Machine Invention of First-Order Predicates by Inverting Resolution, Proceedings of the 5th International Conference on Machine Learning, Morgan Kaufman
Muggleton, S., Feng, C. (1990): Efficient Induction of Logic Programs, Proceedings of the 1st Conference on Algorithmic Learning Theory, Tokyo, OHMSHA
Muggleton, S. (1992): Inductive Logic Programming, in S. Muggleton (ed): Inductive Logic Programming, Academic Press
Muggleton, S., Srinivasan, A., Bain, M. (1992): Compression, Significance and Accuracy, in Proceedings of the Ninth International Machine Learning Conference, Morgan Kaufmann
Quinlan, J. R. (1990): Learning Logical Definitions from Relations, Machine Learning 5
De Raedt, L. (1992): Interactive Theory Revision: an Inductive Logic Programming Approach, Academic Press
De Raedt, L., Bruynooghe, M. (1992): Interactive Concept-Learning and Constructive Induction by Analogy, Machine Learning 8(2)
Rouveirol, C. (1991): ITOU: Induction of First Order Theories, in S. Muggleton (ed): Inductive Logic Programming, Academic Press
Shapiro, E. Y. (1983): Algorithmic Program Debugging, MIT Press, Cambridge Mass.
Srinivasan, A., Muggleton, S., Bain, M. (1992): Distinguishing Exceptions from Noise in Non-Monotonic Learning, in Proceedings of ILP'92, Tokyo
Stahl, I., Tausend, B., Wirth, R. (1993): Two Methods for Improving Inductive Logic Programming Systems, Proceedings of the European Conference on Machine Learning, Vienna
Stahl, I. (1993): Predicate Invention in ILP — Decidability, Utility and Decision Criteria, Deliverable STUl of the ESPRIT BRA 6020 ILP, September 1993
Stahl, I. (1993): Properties of Inductive Logic Programming in Function-Free Horn Logic, this volume
Tausend, B. (1992): Using and Adapting Schemes for the Induction of Horn Clauses, ECAI-92 Workshop on Logical Approaches to Machine Learning, Vienna
Wirth, R. (1989): Lernverfahren zur Vervollständigung von Hornklauselmengen durch inverse Resolution, Dissertation, Universität Stuttgart, Institut für Informatik
Wirth, R., O'Rorke, P. (1991): Constraints on Predicate Invention in Proceedings of the Eighth International Workshop on Machine Learning, Morgan Kaufmann
Wrobel, S.: Exploiting a Problem-Solving Context to Focus Concept Formation, to appear in Machine Learning Journal
Yardeni, E., Shapiro, E. (1991): A Type System for Logic Programs, Journal of Logic Programming 10.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Stahl, I. (1994). On the utility of predicate invention in inductive logic programming. In: Bergadano, F., De Raedt, L. (eds) Machine Learning: ECML-94. ECML 1994. Lecture Notes in Computer Science, vol 784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57868-4_64
Download citation
DOI: https://doi.org/10.1007/3-540-57868-4_64
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57868-0
Online ISBN: 978-3-540-48365-6
eBook Packages: Springer Book Archive