[1] Console L,Dressler O.Model-based diagnosis in the real world:lessons learned and challenges remaining[A].Proceedings of the 16th International Joint Conference on Artificial Intelligence[C].Stockholm,Sweden,1999.1393-1400.
[2] DeKleer J.Local Methods for Localizing Faults in Electronic Circuits[D].Cambridge,MA,MIT AI Memo 394,1976.
[3] Raymond Reiter R.A theory of diagnosis from first principles[J].Artificial Intelligence,1987,32(1):57-95.
[4] Genesereth M R.The use of design descriptions in automated diagnosis[J].Artificial Intelligence,1984,24(1-3):411-436.
[5] Haenni R.A query driven anytime algorithm for argument-active and abduction[A].Proceedings of the 17th National Conference on Artificial Intelligence[C].Texas,2000.337-342.
[6] 赵相福,欧阳丹彤.使用SAT求解器产生所有极小冲突部件集[J].电子学报,2009,37(4):804-810. ZHAO Xiang-fu,OUYANG Dan-tong.Deriving all minimal conflict sets using satisfiability algorithms[J].Acta Electronica Sinica,2009,37(4):804-810.(in Chinese)
[7] 姜云飞,林笠.用布尔代数方法计算最小碰集[J].计算机学报,2003,26(8):919-924. JIANG Yun-fei,LIN Li.The computation of hitting sets with boolean formulas[J].Chinese Journal of Computers,2003,26(8):919-924.(in Chinese)
[8] Jannach D,Schmitz T,Shchekotykhin K M.Parallelized hitting set computation for model-based diagnosis[A].Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence[C].Austin Texas,USA,2015,15:1503-1510.
[9] 刘娟,欧阳丹彤,王艺源,张立明.结合特征学习的粒子群求解极小碰集方法[J].电子学报,2015,43(5):841-845. LIU Juan,OUYANG Dan-tong,WANG Yi-yuan,ZHANG Li-ming.Computing minimal hitting sets with particle swarm optimization combined characteristics learning[J].Acta Electronica Sinica,2015,43(5):841-845.(in Chinese)
[10] Zhao X F,Ouyang D T.Deriving all minimal hitting sets based on join relation[J].IEEE Transactions on Systems Man Cybernetics-Systems,2015,45(7):1063-1076.
[11] Smith A,Veneris A,Ali MF,et al.Fault diagnosis and logic debugging using boolean satisfiability[J].IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2005,24(10):1606-1621.
[12] 严晓浪,郑飞君,葛海通,杨军.结合二叉判决图和布尔可满足性的等价性验证算法[J].电子学报,2004,32(8):1233-1235. YAN Xiao-lang,ZHENG Fei-jun,GE Hai-tong,Yang Jun.Combining binary decision diagrams and boolean satisfiability for equivalence checking[J].Acta Electronica Sinica,2004,32(8):1233-1235.(in Chinese)
[13] Cook S A.The complexity of theorem-proving procedures[A].Proceedings of the 3rd Annual ACM Symposium on Theory of Computing[C].New York,1971.151-158.
[14] Zhang J,Ma F,Zhang Z.Faulty interaction identification Via constraint solving and optimization[A].Theory and Applications of Satisfiability Testing-SAT 2012[M].Berlin Heidelberg:Springer,2012.186-199.
[15] Luo C,Cai S,Wu W,et al.Double configuration checking in stochastic local search for satisfiability[A].Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence[C].Québec,Canada,2014.2623-2629.
[16] Feldman A,Provan G,de Kleer J,et al.Solving model-based diagnosis problems with max-sat solvers and vice versa[A].Proceedings of the International Workshop on the Principles of Diagnosis[C].Artificial Intelligence,2010.185-192.
[17] Siddiqi S A,Huang J.Hierarchical diagnosis of multiple faults[A].Proceedings of the 20th International Joint Conference on Artificial Intelligence[C].Hyderabad:India,2007.581-586.
[18] ZHAO Xiangfu,ZHANG Liming,et al.Deriving all minimal consistency-based diagnosis sets using SAT solvers[J].Progress in Natural Science,2009,19(4):489-494.
[19] Metodi A,Stern R,Kalech M,et al.A novel sat-based approach to model based diagnosis[J].Journal of Artificial Intelligence Research,2014,51(1):377-411.
[20] 周建华,欧阳丹彤,刘伯文,张立明.基于模型诊断中结合问题特征的新方法[J].计算机研究与发展,2017,54(3):502-513. ZHOU Jianhua,OUYANG Dantong,LIU Bowen,ZHANG Liming.A new algorithm combining with the characteristic of the problem for model-based diagnosis[J].Journal of Computer Research and Development,2017,54(3):502-513.(in Chinese)
[21] Rymon R.Search through systematic set enumeration[A].Proceedings of the 3rd Intenational Conference on Principles of Knowledge Representation and Reasoning[C].San Franasco:Morgan Kaufmann,1992.539-550.
[22] Biere A.PicoSAT essentials[J].Journal on Satisfiability,Boolean Modeling and Computation,2008,4:75-97. |