ABSTRACT
The initial formulation of a newly acquired chunk of ¿template knowledge is usually too specific with respect to its preconditions. Since it is desirable for each template to be applicable to all valid design situations, overly restrictive preconditions must be identified and generalized by either removal or relaxation. Some of the generally applicable knowledge for performing this generalization task resides in CGEN’s knowledge base; other specific generalization knowledge must be provided by the domain expert for each template.
