摘要

钻井液设计专家系统规则库的规模随着规则的更新与日俱增,对规则库的维护工作变得日益重要。针对规则库的从属、冗余、环路和冲突等问题提出一种检测算法。引入有向超图来表示规则库中的规则;用邻接矩阵表示该有向超图,并计算出它的可达矩阵和总可达矩阵;用总可达矩阵对规则库进行检测,找出规则库中存在的问题。实验表明,与已有的检测算法相比,该算法能够有效地检测出规则库中存在的问题,同时构建的邻接矩阵规模较小,在保证算法简洁的基础上提高了效率。