基于模型诊断的分步求解-软件学报.pdfVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.19, No.3, March 2008, pp.584−593 DOI: 10.3724/SP.J.1001.2008.00584 Tel/Fax: +86-10 © 2008 by Journal of Software . All rights reserved. ∗ 基于模型诊断的分步求解 1,2+ 1 1 2 张学农 , 姜云飞 , 陈蔼祥 , 张立成 1( 中山大学 软件研究所,广东 广州 510275) 2(广东药学院 网络中心,广东 广州 510006) A Gradual Approach for Model-Based Diagnosis 1,2+ 1 1 2 ZHANG Xue-Nong , JIANG Yun-Fei , CHEN Ai-Xiang , ZHANG Li-Cheng 1(Institute of Software Research, Zhongshan University, Guangzhou 510275, China) 2(Network Center, Guangdong Pharmaceutical University, Guangzhou 510006, China) + Corresponding author: Phn: +86-20 E-mail: zxnxlq@163.com Zhang XN, Jiang YF, Chen AX, Zhang LC. A gradual approach for model-based diagnosis. Journal of Software, 2008,19(3):584−593. /1000-9825/19/584.htm Abstract : This paper investigates the decomposition of diagnosis problem and gives a theorem for decomposition and combination of the diagnosis. On the basis of the above work, an algorithm using gradual approach to decomposing the diagnosis problem is proposed. Besides, the correctness, completeness and complexity of the algorithm are proved in this paper. The experimental results indicate that the algorithm can apparently improve the effectiveness of diagnosing multi-output system. Comparing with the method of decomposition by assuming instantiations of some variables, the algorithm is more efficient and applies to more general diagnosis problems. Key words: model-based diagnosis; diagnosis decompositi