Algorithm of Computing Minimal Conflict Sets Based on the Structural Feature of Fault Output

被引：0
|
作者：
Xu Y. [1 ,2 ]
Ouyang D. [1 ,2 ]
Liu M. [1 ,2 ]
Zhang L. [1 ,2 ]
Zhang Y. [1 ,2 ]
机构：
[1] College of Computer Science and Technology, Jilin University, Changchun
[2] Key Laboratory of Symbolic Computation and Knowledge Engineering (Jilin University), Ministry of Education, Changchun
来源：
Zhang, Yonggang (zhangyg@jlu.edu.cn) | 2018年 / Science Press卷 / 55期
基金：
中国国家自然科学基金;
关键词：
Component independent of fault output; Minimal conflict set; Model-based diagnosis; SAT solver; SE-Tree;
D O I：
10.7544/issn1000-1239.2018.20170381
中图分类号：
学科分类号：
摘要：
Model-based diagnosis is an important research in the field of artificial intelligence, and the diagnosis based on minimal conflict is a classical method to solve the problem of diagnosis. Therefore computing minimal conflict is an important step in model-based diagnosis. After studying the characteristics of the circuit model, this paper proposes an algorithm of computing minimal conflict sets based on the structural feature of fault output (MCS-SFFO) based on the CSRDSE algorithm. Firstly, the pruning rule of CSRDSE algorithm is improved, and it avoids the access to child leaf nodes of leaf nodes which are not conflict sets. Secondly, the concepts of component set independent of fault output and related to fault output are presented, and the method of computing component set independent of fault output is provided according to the system description and observation. Finally, a theorem about non-conflict set is proposed, that is, the component set independent of fault output and its subset are not conflict sets. MCS-SFFO algorithm that computes minimal conflict set is presented according to the non-conflict set theorem. Compared with CSRDSE algorithm, MCS-SFFO algorithm further prunes the non-solution space and reduces the number of calls to the SAT solver. Experimental evidence indicates that MCS-SFFO algorithm has better computational efficiency than CSRDSE algorithm. © 2018, Science Press. All right reserved.
引用
收藏
页码：2386 / 2394
页数：8
相关论文
共 14 条
  • [1] Console L., Dressler O., Model-based diagnosis in the real world: Lessons learned and challenges remaining, Proc of the 16th Int Joint Conf on Artificial Intelligence, pp. 1393-1400, (1999)
  • [2] Liu M., Ouyang D., Liu B., Et al., Grouped diagnosis approach using the feature of problem, Acta Electronica Sinica, 46, 3, pp. 589-594, (2016)
  • [3] Reiter R., A theory of diagnosis from first principles, Artificial Intelligence, 32, 1, pp. 57-96, (1987)
  • [4] Genesereth M.R., The use of design descriptions in automated diagnosis, Artificial Intelligence, 24, 1, pp. 411-436, (1984)
  • [5] Haenni R., A query-driven anytime algorithm for argumentative and abductive reasoning, Proc of the 1st Int Conf on Computing in an Imperfect World, pp. 114-127, (2002)
  • [6] Luan S., Dai G., An approach to diagnosing a system with structure information, Chinese Journal of Computers, 28, 5, pp. 801-808, (2005)
  • [7] Fang M., A practical method to identify the minimal conflict, Journal of Hefei University of Technology: Natural Science, 22, 1, pp. 39-43, (1999)
  • [8] Hou A., A theory of measurement in diagnosis from 1st principles, Artificial Intelligence, 65, 2, pp. 281-328, (1994)
  • [9] Han B., Lee S.J., Deriving minimal conflict sets by CS-Trees with mark set in diagnosis from first principles, IEEE Transactions on Systems, Man and Cybernetics, Part B(Cybernetic), 29, 2, pp. 281-286, (1999)
  • [10] Zhao X., Ouyang D., A method of combining SE-Tree to compute all minimal hitting sets, Progress in Natural Science, 16, 2, pp. 169-174, (2006)
12