摘要: In principle, the version space approach can be applied to any induction problem. However, in some cases representation language for generalizations is so powerful that (1) of update functions are not effectively computable, and (2) contains infinitely many generalizations. The class context-free grammars a simple exhibits these problems. This paper presents an algorithm solves both problems this domain. Given sequence strings, incrementally constructs data structure has nearly all beneficial properties space. fast enough solve small completely, it serves as framework biases permit solution larger heuristically. same basic may representations include special cases, such And-Or graphs, production systems, Horn clauses.