一种基于谓词逻辑的分类规则约简方法

利用各种分类规则挖掘方法，提取出的分类规则集中，存在许多的冗余规则，从而降低了分类效率。采用谓词公式描述分类规则，给出了一种分类规则集约简方法。该方法利用谓词公式中的逻辑推理，对分类规则集进行约简，消除了冗余规则。采用恒星光谱数据，实验验证该方法在保证分类规则集的分类能力不变的前提下，有效地提高了分类的效率。

A Reduction Method of Classification Rules Based On Predicate Logic

There are many redundant rules in classification rule set which is extracted by classification rule mining methods, which results in classification efficiency. A reduction method of classification rules is presented by using the predicate formula to describe classification rules. The method reduces the classification rule set by using logic reasoning in predicate formula, leading to the elimination of the redundant rules. In the end, the experiment results validate that the classification efficiency is improved effectively while classification ability is invariable by celestial spectrum data.