基于模型的实质诊断 |
| |
作者姓名: | 欧阳丹彤 |
| |
作者单位: | 吉林大学计算机科学系, |
| |
基金项目: | 中国博士后科学基金、国家自然科学基金(批准号:69903005)、教育部高等学校骨干教师资助计划基金及高等学校重点实验室访问学者基金资助项目 |
| |
摘 要: | 在扩展的因果理论上,基于模型的实质诊断的刻画具有一般性,适用于已知每个部件的各种行为方式情形下的诊断.对于需逻辑推出的观测子集取空集和整个观测集这两种极端情形,本方法则可得到基于一致性实质诊断和实质溯因诊断.同时还论证了该诊断过程与本原蕴涵/蕴涵式的直接关系,从而将其与算法实现联系起来.
|
关 键 词: | 基于模型的诊断 扩展的因果理论 本原蕴涵/蕴涵式 诊断空间 |
本文献已被 维普 万方数据 等数据库收录! |
| 点击此处可从《自然科学进展》浏览原始摘要信息 |
|
点击此处可从《自然科学进展》下载全文 |
|