基于一阶谓词公式去除商务数据冗余关联规则的研究

　　由于现代网络数据量的急速增长，利用现有的算法生成关联规则时，冗余规则的数量远远大于实际有价值的规则，冗余规则不仅影响用户分析，而且使关联规则的利用率也大大降低。针对关联规则的冗余问题，提出了一种基于一阶谓词公式去除商务数据冗余关联规则的方法，利用一阶谓词公式来表示关联规则，通过等价公式进行转换，并利用算法和矩阵等价将谓词公式转换为邻接矩阵，然后利用冗余规则算法进行删除。实验原始数据为UCI数据集，并利用Weka生成关联规则。最后利用Matlab和Java实现冗余规则的去除。