Incremental non-backtracking focusing: a polynomially bounded generalization algorithm for version spaces

  • Authors:
  • Benjamin D. Smith;Paul S. Rosenbloom

  • Affiliations:
  • University of Southern California, Department of Computer Science, Los Angeles, CA;Information Sciences Institute, University of Southern California, Marina Del Ray, CA

  • Venue:
  • AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

The candidate elimination algorithm for inductive learning with version spaces can require both exponential time and space. This article describes the Incremental Non-Backtracking Focusing (INBF) algorithm which learns strictly tree-structured concepts in polynomial space and time. Specifically, it learns in time O(pnk) and space O(nk) where p is the number of positives, n the number of negatives, and k the number of features. INBF is an extension of an existing batch algorithm, Avoidance Focusing (AF). Although AF also learns in polynomial time, it assumes a convergent set of positive examples, and handles additional examples inefficiently; INBF has neither of these restrictions. Both the AF and INBF algorithms assume that the positive examples plus the near misses will be sufficient for convergence if the initial set of examples is convergent. This article formally proves that for treestructured concepts this assumption does in fact hold.