一种基于有向超图的规则库冗余及环路检测方法 (2008年)

当规则库的规模随着知识的更新而不断增大 ,规则库的维护就变得日益重要 。其中 ,规则库的冗余和环路是影响规则库效率的重要问题 。针对含有复合规则的产生式规则库 ,提出了一种基于有向超图的规则库表达方法 ,定义了其邻接矩阵和可达矩阵并推导出可达矩阵的计算方法 。 在此基础上给出了基于可达矩阵的冗余和环路检测算法 。与已有的基于有向超图的算法相比 ,新算法图更简洁 ,矩阵规模更小 ,从而检测效率得到提高 。实例证明该算法是有效可行的。