A Strong Complete Schmema for Inductive Functional Logic Programming
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
An introduction to inductive programming
Artificial Intelligence Review
Hi-index | 0.00 |
The task of predicate invention in Inductive Logic Programming is to extend the hypothesis language with new predicates if 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 language bias 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 when the learning task fails and we characterize the languages for which predicate invention is useful. We investigate the decidability of the bias shift problem for these languages and discuss the capabilities of predicate invention as a bias shift operation.