1991 Volume 6 Issue 3 Pages 416-425
Though EBL (explanation based learning) is a useful framework for generating operational knowledge from an example, we must assume perfect domain theory and explicitly defined operationality criterion. This assumption is too severe in practical situation. This paper presents a topdown search over generalization hierarchy of common explanation structure for solving the imperfect theory problem in EBL, forcusing on an inconsistent problem. Common explanation structures are generated from prural primitive explanation structures and they are organized as a generalization hierarchy based on a concept of maximal covering which reflects on similarity among them. By topdown search over the generalization hierarchy, the best set of macro rules, which includes all positive examples and excludes all negatives, can be found. This method has been implemented on Prolog. Some experiments show its usefulness for valid macro rules under the imperfect domain theory.