点击次数：

论文类型：期刊论文

发表时间：2008-01-15

发表刊物：大连理工大学学报

收录刊物：Scopus、EI、PKU、ISTIC、CSCD

卷号：48

期号：1

页面范围：74-78

ISSN号：1000-8608

关键字：有向超图;规则库;冗余;环路

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