规则库的合并以及冗余、环路和冲突的检测

摘要

针对知识库的建立需要耗费大量的时间和人力,同时相同或相似领域的知识库数量越来越多,提出利用现有规则知识库进行合并生成一个新的规则知识库,并对生成的新规则知识库进行知识冗余、环路和冲突的检测算法.首先,规则库利用有向超图来表示;其次,将有向超图利用其邻接矩阵来表示,那么规则库的合并可以转换成有向超图所对应的邻接矩阵的合并,并依据邻接矩阵求可达矩阵以及利用总可达矩阵来检测规则库中规则的冗余、环路和冲突.最后,算法的有效性通过实例加以验证.