8. The computer-implemented method of claim 1 further comprising the steps of: determining that the corrector case base does not contain a corrector rule having a corrector antecedent covered by the corrector context; and creating at least one least-generalized corrector antecedent covered by the corrector context.
8. The computer-implemented method of claim 1 further comprising the steps of: determining that the corrector case base does not contain a corrector rule having a corrector antecedent covered by the corrector context; and creating at least one least-generalized corrector antecedent covered by the corrector context. 10. The computer-implemented method of claim 8 , wherein the step of creating at least one least-generalized corrector antecedent covered by the corrector context comprises the steps of: for all corrector antecedents in the corrector rule base, creating corrector resultants by subtracting the respective corrector contexts from the respective corrector antecedents; selecting the one or more corrector resultants having the minimal number of corrector resultant terms; and creating the at least one least-generalized corrector antecedent by subtracting the corrector resultant term from the associated corrector antecedent for each of the selected corrector resultants.