HKR-A System for Heuristic Knowledge Refinement
HKR——一个启发式知识求精系统

HKR is a system that generates classification rules from a (possibly incomplete) theory and refines the classification rules and the theory on the basis of counter examples. HKR integrates Explanation Based Learning,Similarity Based Learning and Error Propagation.