Some Research Issues for KB Refinement

• The selection of the analogous examples generated by the agent (for instance, examples that also represent a validation set for the rule);

• Powerful generalization and specialization methods for the rule's bounds should be developed (e.g. methods for generalization and specialization of numeric elements);

• Methods to facilitate the explanation of negative examples and automated generation of appropriate negations of these explanations;

• Methods to guide the refinement of rules by using other sources of information besides the expert (e.g. a repository of existing examples).