分类挖掘是数据挖掘的重要研究内容之一,现有的分类规则挖掘算法所得到的规则集中存在大量的冗余,严重影响了分类规则的分类效率与可理解性,因此对挖掘出的冗余分类规则集进行约简,具有重要的理论意义和应用价值。本文采用谓词逻辑和包含集对分类规则集的后处理进行了研究,其主要研究成果如下:第一、基于谓词逻辑的分类规则约简RMCRPL算法。首先,用谓词公式描述分类规则,把规则集转换成谓词公式的集合;其次,利用谓词逻辑中的逻辑推理,对规则集进行约简,消除冗余规则;最后,采用恒星光谱数据,实验验证了该方法是有效的,可行的;第二、基于包含集的分类规则约简MMIS与RRPABIRS算法。首先利用规则与数据间的分类关系,提取以单条分类规则为元素的包含集;其次,通过对单个包含集的处理来实现对分类规则集的精简,给出了MMIS与RRPABIRS算法;最后采用恒星光谱数据,实验验证了该方法是有效的,可行的。