An Explanation-Based Approach to Generalizing Number

Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Science Foundation / NSF IST 85-1154

Substructure Discovery of Macro-Operators

Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Science Foundation / NSF INT-85-11170Office of Naval Research / N00014-82-K-0186Defense Advanced Research Projects Agency / N00014-87-K-0874Texas Instruments, Inc

BAGGER: An EBL System that Extends and Generalizes Explanations

Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Science Foundation / NSF IST 85-1154

A study of explanation-based methods for inductive learning

This paper formalizes a new learning from examples problem: identifying a correct concept definition from positive examples such that the concept is some specialization of a target concept defined by a domain theory. This paper describes an empirical study that evaluates three methods for solving this problem: explanation based generalization (EBG), multiple example explanation based generalization (mEBG), and a new method, induction over explanations (IOE). The study demonstrates that the two existing methods (EBG and mEBG) exhibit two shortcomings: (a) the methods rarely identify the correct definition, and (b) the methods are brittle-their success depends greatly on the choice of encoding of the domain theory rules. The study demonstrates that the new method, IOE, does not exhibit these shortcomings. The IOE method applies the domain theory to construct explanations from multiple training examples as in mEBG, but forms the concept definition by employing a similarity-based generalization policy over the explanations. The method has the advantage that an explicit domain theory can be exploited to aid the learning process, the dependence on the initial encoding of the domain theory is significantly reduced, and the correct concepts can be learned from few examples. The study evaluates the methods in an implemented system, called Wyl2, learning a variety of concepts in chess including "skewer" and "knight-fork."Key words: Learning from examples, induction over explanations, explanation based learning, inductive learning, knowledge compilation, evaluation of learning method