Learn 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)
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)
  • 1