The auto-revising method for fuzzy rule-base

To refine the fuzzy rule base, it is important to find out and remove the redundant rules in the large scale rule base automatically. On the topic, a synthetical process is described. The abstraction relationship between the clauses is presented firstly, and then the redundant rule is defined in strictly formal criteria on the base of three laws: Transitive Law, Precondition Specific Law and Conclusion Abstraction Law. Based on the theorems, the algorithm to revise the knowledge base is presented.