规则集的化简及相关性质的判定

eterming a equivalent minimal form for a given set of rules is important to build a rule base that consists the key part of an expert system. In this paper logic algebra is used for solving the problem. First transform the given set of rules into a logic function, then simplify the logic function by the means of logic algebra and finally convert the result function into a set of rules that is desired. Through looking up special items in all prime implicates obtained in the above procedure,the completeness and contradictoriness of a set of rules can be judged out directly. This method can also be used to detect other problems in rule base without rule-based reasoning.