%0 Journal Article
%T Characterizing Kernel Model-based Diagnosis<br>刻画基于模型的中心诊断*
%A OU-YANG Dan-tong
%A JIANG Yun-fei
%A <br>欧阳丹彤
%A 姜云飞
%J 软件学报
%D 1999
%I 
%X Although there is a spectrum of different logical definitions of model-based diagnosis, fortunately, there exists a unified abstract definition which generalizes the definitions proposed in the past. Based on this definition, the concept of kernel model-based diagnosis is proposed. Then by characterizing the process of kernel model-based diagnosis, the direct relationship between it and the prime implicants/implicates is also demonstrated. Therefore, the theoretical results in this paper can be linked with algorithms such as the ATMS (assumption-based truth maintenance system). Furthermore, it is pointed out that the characterization of kernel consistency-based diagnosis is only a special case of the characterization in this paper.
%K Model-based diagnosis
%K kernel model-based diagnosis
%K prime implicant/implicate<br>基于模型的诊断
%K 基于模型的中心诊断
%K 本原蕴含/蕴含式
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=100FDA84E378B294&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=CA4FD0336C81A37A&sid=67969BA850333433&eid=E44E40A2398D4F2A&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=13