(吉林大学计算机科学与技术学院 长春 130012) (符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012) (naiyutian@126.com)
出版日期: 2019-07-01基金资助:国家自然科学基金项目(61672261,61502199,61402196,61373052)A Method of Minimality-Checking of Diagnosis Based on Subset Consistency Detection
Tian Naiyu, Ouyang Dantong, Liu Meng, Zhang Liming(College of Computer Science and Technology, Jilin University, Changchun 130012) (Key Laboratory of Symbol Computation and Knowledge Engineering(Jilin University), Ministry of Education, Changchun 130012)
Online: 2019-07-01摘要/Abstract
摘要： 基于模型诊断作为克服第1代诊断系统的缺陷而出现的智能诊断推理技术,现已成为十分活跃的人工智能研究分支,随着相关技术的不断发展,应用愈加广泛.其中,大多数研究集中于诊断求解过程,而诊断解的极小性检测方法保证了最终求得诊断解的极小性,也是问题求解过程中至关重要的一步.传统诊断解的极小性判定过程是将新求得的诊断解与已有诊断集合中的诊断解依次比较,检查是否有新得诊断解的超集或子集来判定极小性,这种方法随着求解过程中得到的诊断解数量增多,检测难度逐渐提高,耗时也随之增大.为解决此问题,提出了一种基于子集一致性检测的诊断解极小性判定的新方法：子集一致性(subset consistency detection, SCD)方法.通过对诊断解少数几个子集的一致性检测来给出该诊断解的极小性判定,避免了求解过程中诊断解集合增大对效率的影响.SCD方法可应用于许多高效的诊断方法,如GD(grouped diagnosis)和ACDIAG(abstract circuit diagnosis)方法,算法效率均有所提高.
参考文献
相关文章 15
| [1] | 欧阳丹彤, 高菡, 徐旖旎, 张立明. 结合故障逻辑关系的极小冲突集求解方法[J]. 计算机研究与发展, 2020, 57(7): 1472-1480. |
| [2] | 王荣全,欧阳丹彤,王艺源,刘思光,张立明. 结合DOEC极小化策略的SAT求解极小碰集方法[J]. 计算机研究与发展, 2018, 55(6): 1273-1281. |
| [3] | 欧阳丹彤,智华云,刘伯文,张立明,张永刚. 基于伪故障度生成枚举树的极小诊断求解方法[J]. 计算机研究与发展, 2018, 55(4): 782-790. |
| [4] | 邓召勇,欧阳丹彤,耿雪娜,刘杰. 基于动态极大元素覆盖值的极小碰集求解算法[J]. 计算机研究与发展, 2018, 55(4): 791-801. |
| [5] | 徐旖旎,欧阳丹彤,刘梦,张立明,张永刚. 结合故障输出结构特征的极小冲突求解算法[J]. 计算机研究与发展, 2018, 55(11): 2386-2394. |
| [6] | 王翀,吕荫润,陈力,王秀利,王永吉,. SMT求解技术的发展及最新应用研究综述[J]. 计算机研究与发展, 2017, 54(7): 1405-1425. |
| [7] | 欧阳丹彤,周建华,刘伯文,张立明. 基于模型诊断中结合问题特征的新方法[J]. 计算机研究与发展, 2017, 54(3): 502-513. |
| [8] | 陈冬火,刘全,金海东,朱斐,王辉. 具有程序的静态结构和动态行为语义的时序逻辑[J]. 计算机研究与发展, 2016, 53(9): 2067-2084. |
| [9] | 刘思光,欧阳丹彤,王艺源,贾凤雨,张立明. 结合SE-Tree结构特征的极小碰集求解算法[J]. 计算机研究与发展, 2016, 53(11): 2556-2566. |
| [10] | 王艺源,欧阳丹彤,张立明,张永刚. 利用CSP求解极小碰集的方法[J]. 计算机研究与发展, 2015, 52(3): 588-595. |
| [11] | 孙雪姣 刘惊雷. CP-nets的可满足性及一致性研究[J]. , 2012, 49(4): 754-762. |
| [12] | 王显志, 王忠杰, 徐晓飞, 刘英,. 面向多需求可满足性折中的服务组合方法[J]. , 2011, 48(4): 627-637. |
| [13] | 张立明 欧阳丹彤 白洪涛. 基于半扩展规则的定理证明方法[J]. , 2010, 47(9): 1522-1529. |
| [14] | 吕帅 刘磊 江鸿 史晶晶. 一种约简动作变元的命题规划编码方式[J]. , 2010, 47(10): 1756-1763. |
| [15] | 吕 帅 刘 磊 李 莹 石 莲. 基于模态逻辑D公理系统的Conformant规划方法[J]. , 2009, 46(7): 1160-1168. |
PDF全文下载地址:
https://crad.ict.ac.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3960
