基于模型诊断的诊断算法与诊断策略

论文摘要

基于模型诊断是人工智能的一个重要的研究方向,是为克服第一代诊断专家系统的严重缺陷而产生的智能推理方法,广泛应用于通信,网络,交通,电子设备,航天等诸多领域。本文首先介绍了关于基于模型诊断的一些基本理论和概念,然后介绍了几种基于模型诊断的系统,GDE,DRUM,REVISE,LIVINGSTONE 等。接下来是关于扩展逻辑编程的研究,介绍了两种计算冲突的算法,并对其进行了比较,对扩展逻辑编程中某些不合理的地方进行了修改。然后,本文又介绍了在诊断过程中诊断策略的使用,并以电路诊断为例,提出了几种在诊断中用来控制诊断过程的策略。

论文目录

• 第一章 引言
• 1.1 研究背景
• 1.1.1 基于模型诊断的理论研究
• 1.1.2 基于模型诊断的应用
• 1.1.3 基于模型诊断的主要研究方向
• 1.2 本文主要内容
• 第二章 基于模型诊断
• 2.1 基本概念
• 2.1.1 基于一致性诊断
• 2.1.2 溯因诊断
• 2.2 诊断的计算
• 2.2.1 基于冲突识别的方法
• 2.2.2 建模
• 2.3 测试
• 2.4 小结
• 第三章 基于模型诊断的引擎和系统
• 3.1 GDE
• 3.2 REVISE
• 3.3 DRUM
• 3.4 LIVINGSTONE2
• 3.5 TEAMS
• 3.6 DART
• 第四章 扩展逻辑编程
• 4.1 简介
• 4.2 扩展逻辑编程的语法
• 4.3 Revise
• 4.3.1 自底向上的算法
• 4.3.2 自上而下的证明过程
• 4.3.3 自上向下的算法
• 第五章 诊断策略
• 5.1 简介
• 5.2 策略语言
• 5.2.1 状态转换系统
• 5.2.2 转换系统的一致性
• 5.2.3 诊断过程的结果
• 5.3 诊断中所使用的策略
• 5.3.1 确定性策略
• 5.3.2 非确定性策略
• 5.3.3 多视图策略
• 5.3.4 结构细化策略
• 5.3.5 优先策略
• 5.4 操作语义和算法
• 5.4.1 特征公式
• 5.4.2 策略复合
• 5.5 策略语言的扩展
• 第六章 总结与展望
• 6.1 总结
• 6.2 展望
• 参考文献
• 摘要
• ABSTRACT
• 致谢
• 导师及作者简介