Learn More
Restrictions on the number and depth of existential variables as deened in the language series of Clint Rae92] are widely used in ILP and expected to produce a considerable reduction in the size of the hypothesis space. In this paper we show that this is generally not the case. The lower bounds we present lead to intractable hypothesis spaces except for toy(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