Redundancy rules reduction in rule-based knowledge bases

Redundancy rules in knowledge bases will affect the reasoning process of knowledge bases. And the redundancy rules will take up a lot of unnecessary memory space. This paper introduces the concept of redundancy rules briefly and summarizes the types of redundancy rules. This paper studies the redundancy rules based on propositional logic and presents the reduction algorithm of three kinds of redundancy rules. The three kinds of redundancy rules are equivalent redundancy rules, implication redundancy rules in explicit redundancy rules and condition redundancy rules in implicit redundancy rules. The reduction of redundancy rules in this paper optimizes the structure of rule-based knowledge bases. And it also improves the efficiency of time and space of the reasoning on knowledge bases.