%0 Journal Article
%T A Correction and Extension to the Testing Theory for Model-Based Diagnosis<br>对基于模型诊断测试理论的修正与扩充
%A LI Zhan-shan
%A JIANG Yun-fei
%A <br>李占山
%A 姜云飞
%J 软件学报
%D 2000
%I 
%X Although McIlraith and Reiter characterized the test for model-based diagnosis, the limiting conditions of their researches are too strict. In this paper, the limiting conditions of relevant test theorem are relaxed and the revised releva nt test theorem and its proof are presented. As the extension of McIlraith's theories, the initial test condition of the Differential Diagnosis Principles is generalized, which improves the adaptability of differential diagnosis test.
%K Candidate diagnosis
%K discriminating test
%K relevant test
%K differential test
%K test condition<br>候选诊断
%K 判定测试
%K 相关测试
%K 鉴别测试
%K 测试条件.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=D9F73CB990E8C129&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=DF92D298D3FF1E6E&sid=CA0B5EEC0BAD621A&eid=88B4027FEBE4F5FF&journal_id=1000-9825&journal_name=软件学报&referenced_num=8&reference_num=9