A Design and Implementation Method of KB's Consistency and Check

Aiming at the existent problem of KB's consistency, this paper presents the definitions of circulation,collision and redundancy which influence the KB's consistency. Then the paper presents an arithmetic of ruleequivalence comparing based on the standardization of rule forms. According to this arithmetic and combiningproduction system's characteristic, the arithmetics of judging rule circulation, collision and redundancy is given.Finally, the programs based on Visual C++ is provided. These arithmetics and their implement methods can helpdomain experts andknowledge engineers maintain KBs effectively, and establish the foundation to improve thesystem performance. further. This method has already applied to a fault diagnosing KB of electric power communication networks, and has gained good effects.