Learn More
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(More)
Restrictions on the number and depth of existential variables as deened in the language series of Clint 3] or the ij-determinacy constraint of Golem 2] are widely used in ILP and expected to produce a considerable reduction in the size of the hypothesis space (see 1] for an empirical comparison). In this paper we will show that this expectation does not(More)
The authors describe a method for learning disjunctive concepts represented as Horn clauses in a general-to-specific manner. They have identified a restricted class of Horn clauses for which positive examples are sufficient to detect overgeneral clauses. The method, developed and implemented in a system called INDICO, extracts as much constraining(More)
  • 1