中文会议： 人工智能进展

会议日期： 2001-02-01

会议地点： 北京

主办单位： 中国计算机学会

出版方 ： 清华大学出版社

出版日期： 2001-02-01

出版地： 北京

作　　者： ; ; ; ;

机构地区： 中山大学

出　　处： 《第六届中国人工智能职合学术会议》

摘　　要： 本文对基于模型诊断的一般过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现联系起来,进一步指出该结果具有一般性,不仅能够计算只已知部件的部分故障行为方式时的基于模型的诊断,还能够计算已知每个部件的各种故障行为方式这种情形下的基于模型的诊断,以往对基于一致性的中心诊断过程,中心溯因诊断过程以及对基于模型的中心诊断过程的形式化仅仅是文中所给出的形式化的特殊情形.

关 键 词： 溯因符号 本原蕴涵 蕴涵式 基于模型诊断

分 类 号： [TP306]

领　　域： [自动化与计算机技术] [自动化与计算机技术]