DSBG : Direct Solvability-Based Generalization : Defining operational SOLVABLE concept

Abstract

We have developed PiL system:a learning system that can acquire strategy knowledge from training examples with EBG (Explanation-Based Generalization) method. EBG, however, is not sufficient in generalization, therefore many redundant training examples were needed for learning. The under-generalization results from the generalizatlon without SOLVABLE concept proposed by Mitchell et al., but the non-operationality of the concept prevents from its usage. Thus we propose how to define operational SOLVABLE concept and a new generalization method DSBG (Direct Solvability-Based Generalization), an EBG method extended with DS (Directly Solvable) concept that is an operational SOLVABLE concept. With DSBG, PiL generalizes the examples more sufficiently than EBG and the significant decrease in the amount of the training examples is possible.