期刊文献+

刻画基于模型的中心诊断 被引量:3

下载PDF
导出
摘要 虽然对基于模型的诊断存在一系列不同的逻辑定义,但所幸的是存在一个统一的抽象定义,它概括了以往的不同定义.在该定义基础上提出了基于模型的中心诊断的概念.通过刻画基于模型的中心诊断过程,论证了基于模型的中心诊断与本原蕴含/蕴含式的直接关系,从而将其理论结果与ATMS(asumption-basedtruthmaintenancesystem)这类算法联系起来.进一步指出。
出处 《软件学报》 EI CSCD 北大核心 1999年第1期74-77,共4页 Journal of Software
基金 国家自然科学基金 国家教委博士点基金
  • 相关文献

同被引文献37

  • 1李占山,王涛,孙吉贵,林海,冯果忱.利用元件替换测试求诊断[J].软件学报,2005,16(9):1599-1605. 被引量:2
  • 2[1]Hamscher W C, Console L, de Kleer J eds. Readings in model-based diagnosis. San Mateo. CA, USA: MorganKaufmann Publishers, 1992.
  • 3[2]Console L, Dressler O. Model-based diagnosis in the real world: lessons learned and challenges remaining. In:Thomas Dean ed. Proc. 16th IJCAI, Stockholm, Sweden: Morgan-Kaufmann Publishers, 1999. 1393~ 1400.
  • 4[3]Struss P. Knowledge-based diagnosis: an important challenge and touchstone for AI. Proc. 10th European Conf. on AI. , Vienna, 1992,863~874.
  • 5[4]de Kleer J,Mackworth A K,Reiter R. Characterizing diagnosis and systems. Artificial Intelligence, 1992,56 (2~3) :197~222.
  • 6[8]Karp R. M. Reducibility among combinatorial problems.In:Miller Thacher eds. Complexity of Computer Computations. New Yourk: Plenum Press, 1972.85~103.
  • 7[9]Reiter R. A Theory of diagnosis from first principles.Artificial Intelligence. 1987,32(1) :57~96.
  • 8[10]Greiner R,Smith B A,et al.. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 1989,41(1):79~88.
  • 9[11]Slagle J. R, Chang C, Lee R C. A new algorithm for generating prime implicants. IEEE Trans. On Computers, 1970,19(4).
  • 10[12]欧阳丹彤.Kernel model-based diagnosis.Progress in Natural Science,2002,12(2):141~145(被SCI、EI收录).

引证文献3

二级引证文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部