Release Time:2019-03-10  Hits:

Indexed by: Journal Article

Date of Publication: 2008-01-15

Journal: 大连理工大学学报

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

Volume: 48

Issue: 1

Page Number: 74-78

ISSN: 1000-8608

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

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