计算机研究与发展

作者：田乃予,欧阳丹彤,刘梦,张立明,

关键词：基于模型诊断, 子集一致性, 诊断解极小性, 可满足性, 合取范式,

基于模型诊断作为克服第1代诊断系统的缺陷而出现的智能诊断推理技术,现已成为十分活跃的人工智能研究分支,随着相关技术的不断发展,应用愈加广泛.其中,大多数研究集中于诊断求解过程,而诊断解的极小性检测方法保证了最终求得诊断解的极小性,也是问题求解过程中至关重要的一步.传统诊断解的极小性判定过程是将新求得的诊断解与已有诊断集合中的诊断解依次比较,检查是否有新得诊断解的超集或子集来判定极小性,这种方法随着求解过程中得到的诊断解数量增多,检测难度逐渐提高,耗时也随之增大.为解决此问题,提出了一种基于子集一致性检测的诊断解极小性判定的新方法：子集一致性(subsetconsistencydetection,SCD)方法.通过对诊断解少数几个子集的一致性检测来给出该诊断解的极小性判定,避免了求解过程中诊断解集合增大对效率的影响.SCD方法可应用于许多高效的诊断方法,如GD(groupeddiagnosis)和ACDIAG(abstractcircuitdiagnosis)方法,算法效率均有所提高.

来源：2019年第7期

《计算机研究与发展》期刊编辑部

查看计算机研究与发展杂志2019年第7期