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