专家系统开发工具OKPS.ppt

专家系统开发工具OKPS 史忠植 肖春艳 胡斌 谭宁 中国科学院计算所 智能信息处理重点实验室 系统的各功能模块 系统的总体结构 系统中的诊断知识库 系统中的诊断推理机 推理控制语言ICL 系统中的学习模块 远程设备诊断 诊断知识库的主要内容 知识表示 知识获取 知识的管理和维护 诊断知识库 ---- 知识表示 知识表示的定义: 用机器表示知识的可行的、有效的、通用的原则和方法 知识的分类: 事实知识 规则知识 控制知识 元知识 诊断知识库 ---- 知识表示 AI中常用的知识表示法 逻辑表示 产生式表示法 语义网络 框架理论 面向对象的知识表示 状态空间 过程表示法 混合表示方法的适宜性 高度模块化 面向对象结构 符合认知模式 推理方法灵活 易于知识的维护 知识对象的结构 Class(属性类) Slot(槽) Facet(侧面) 诊断知识库的结构 获取和管理工具 ODBC接口 关系型数据库 知识对象表 诊断知识库 知识库由多个子知识库组成 每个子知识库是一棵知识树 知识对象通过对象类之间的语义联系和约束关系，被组织成知识树 知识对象的逻辑结构由类（Class）、槽（Slot）、侧面（Facet）组成 ,分别对应数据库中的三个表:对象表(Class Base)、属性表(Slot Base)和方法表(Facet Base) 定义自身属性和行为的方法来表达知识对象属性结构、相关领域知识、操作过程及知识使用方法 诊断知识库的获取和管理工具 可视化的知识获取 所见即所得 方便添加、删除和修改诊断知识,浏览各种对象和属性等管理维护工作 关系数据库和通用接口的选择有利于系统的移植和分布式知识库的实现 知识库的内存访问策略 对象树导航技术 对象类的双向链表存储 建立知识对象索引表，存放知识对象的的属性起始记录指针（记录号）和属性总数 在内存中只对当前结点推理，对修改过的属性槽和侧面更新 从知识对象索引表中得到下一结点的属性槽在槽库中的首记录指针，将其所有槽和侧面调入内存继续 系统的总体结构 系统中的诊断知识库 系统中的诊断推理机 推理控制语言ICL 系统中的学习模块 远程设备诊断 系统中的推理机 推理机是指基于知识的推理的计算机实现,包括推理与控制两方面 在推理过程中解释和执行用某种语言表示的一系列推理规则 面向对象知识表达的诊断推理过程是一个面向知识库系统的，基于假设产生--假设证实机制的，由高层到底层逐步求精的递推过程 推理机的系统结构 推理控制 规则解释 控制黑板 知识库接口 当前结点缓存 用户接口 面向对象的诊断推理 消息传递推理 继承推理 方法推理 面向对象的诊断推理 为增加推理灵活性，适应不同的推理控制,每个结点的对象都有三个特殊的方法： 先序（Preorder）方法 中序（Inorder）方法 后序（Postorder）方法 在推理过程中是按照不同的次序执行 推理机的搜索策略 盲目搜索方法 深度优先 广度优先 有限深度优先 随机深度优先 启发式的搜索方法 爬山法 最近邻居搜索 推理机的搜索策略 搜索结果： 结点1: 先序方法 结点6: 先序方法 结点2: 先序方法 …… 结点3: 先序方法 结点3: 后序方法 结点9: 先序方法 结点2: 中序方法 …… 结点4: 先序方法 结点4: 后序方法 结点1: 后序方法 结点2: 中序方法 结点5: 先序方法 结点5: 后序方法 结点2: 后序方法 结点1: 中序方法 系统的总体结构 系统中的诊断知识库 系统中的诊断推理机 推理控制语言ICL 系统中的学习模块 远程设备诊断 推理控制语言ICL 描述知识对象的方法或监控的过程式的语言 基本上是C语言的一个子集 通过一个ICL语言编译器将源代码编译成二进制代码后被执行 推理控制语言ICL ICL工作流程 词法分析器 语法分析器 推理控制语言ICL ICL 函数实现的功能包括 控制台输入/输出 数据类型转换 图表/图象演示 黑板存取 文件操作 数据库存取 网络通信 推理控制 知识库存取 系统的总体结构 系统中的诊断知识库 系统中的诊断推理机 推理控制语言ICL 系统中的学习模块 远程设备诊断 系统中的自学习模块 智能水平的高低在于系统拥有知识的数量和质量 传统的、通过知识工程师获取知识的方法不能完全满足需求 自动获取知识成为的新的研究目标 智能故障诊断与机器学习方法结合 诊断系统中学习策略