Hits:

Indexed by:期刊论文

Date of Publication:2008-01-15

Journal:大连理工大学学报

Included Journals:Scopus、EI、PKU、ISTIC、CSCD

Volume:48

Issue:1

Page Number:74-78

ISSN No.:1000-8608

Key Words:有向超图;规则库;冗余;环路

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