一种结合SEtree计算所有极小碰集的方法.pdfVIP

一种结合SE—tree计算所有极小碰集的方法*) AMethodof SE-treeto AllMinimal Sets CombiningCompute Hitting 赵相福欧阳丹彤 (吉林大学计算机科学与技术学院 长春130012) (吉林大学符号计算与知识工程教育部重点实验室 长春130012) AbstractInmodel—based resultis minimalsetsofthe diagnosis，thediagnosticgenerallycomputedbyusing hitting methodis the sets conflictsets．Anew tO sets numberofconflict proposedcomputehittingbyusing corresponding tO inthis isformalized SE-treewithclosed componentspaper．Furthermore，thecomputingprocedure bycombining tO allminimal sets．Since areaddedSE-tree。thesearch is nodes closednodes into generate hitting efficiencyhighly improved． tree Model—baseddiagnosis，Conflictsets，Minimalset，Setenumeration Keywords hitting 非极小碰集的产生，提高了效率。 1 引言 2 预备知识 基于模型诊断(Model—BasedDiagnosis)是人工 智能领域中一个十分活跃的研究分支，它的基本思 首先介绍一些基于模型诊断的相关概念和定 想是利用系统模型，根据模型预测值与实际观测值 理。 的差异，经过逻辑推导得出故障。一般根据系统的 定义Itl】一个系统定义为一个三元组(SD， 描述及观测，得到极小冲突集，然后再由极小冲突集 计算得到极小碰集，即为系统的诊断。许多学者都 公式的集合；COMPS为系统的组成部件集合，是一 对计算碰集的方法进行了研究和改进，主要有H孓 个有限的常量集；OBS为一观测集，是一阶谓词公 BHS- TREE[]，HS-DAGt扪，HST-TREEE3]，式的有限集。 TREE[引，布尔代数方法‘51，逻辑数组方法嘲，遗传 算法方法[71等。以上这些方法主要缺点集中表现 正常(～AB(c))。 在：(1)因剪枝而可能丢失某些正确解[1’31；(2)需要 建立树或图，数据结构及算法实现比较繁琐[1~31； 定义3t1】冲突集(CS)是一个部件集(c。，C2， (3)由递归计算碰集效率较差[1叫1；(4)某些随机搜 索算法所得的结果不全，有可能丢失一些重要解[73； (5)一般先存储所有碰集，最后还需化简才能得出所 冲突集(MCS)，当且仅当该冲突集的任意真子集都 有极小的碰集[1~6]。