Table 1. The explanation-based generalization problem Given Goal Concept: A concept definition describing the concept to be learned. (It is assumed that this concept definition fails to satisfy the Operationality Criterion. Training Example: An example of the goal concept Domain Theory: A set of rules and facts to be used in explaining how the training example is an example of the goal concept. Operationality Criterion: A predicate over concept definitions, specifying the form in which the learned concept definition must be expressed Determine a generalization of the training example that is a sufficient concept definition for the goal concept and that satisfies the operationality criterion