第五章 专家系统开发工具

（1）创造性 建立知识模型，重要的是想象，是 创造。 （2）多解性 对一项设计，可能有多种方案能符合 技术上和经济上的要求。 （3）近似性 设计过程中，往往伴随着从众多参数 中筛选出主要参数，以抓住主要矛盾， 减少设计的复杂性。这样得出的结果， 就具有近似性。
一个好的设计，经常是权衡可期望的程度 与可接受的精度来选定的。 （4）综合性 设计是一个多目标的综合和优化的问题。 （5）经验性 创造和评价模型的依据，除了遵循各种理论 条规之外，常常带有经验性。这些特性在设 计初期（即构思性设计）阶段表现得尤为明 显，直接影响着设计质量。
领域专家
知识工程师 知识库 开发机制 （智能）编辑器 知识库维护程序 推理机制
专家系统开发工具 用 户 界 面
上下文 数据库
跟踪释机构
用户
专家系统开发工具结构示意图
5. 2. 2专家系统开发工具的分类 （一）骨架结构 基本设计思想是：从一个已经研 制成功的专家系统出发，抽去该系统中知 识库的专门知识，留下一个固化了的知识 表示框架及相应的推理机制和可能的知识 获取及解释机制。当在骨架系统中填入另 一领域的专门知识并调试，完善形成一个 新的知识库时，就形成了一个新的专家系 统。
知识获取策略分为四级：
1.概念模型生成级
2.属性生成级
3.依赖关系生成级 4.元控制生成级
5.7.5 高效推理机
GMDES的推理机结构如图示，其中PB, FB, FDB分别表示过程库，事实库与函数库。
用户 用户接口
元级推理
元知识
黑 板 问题求解日程表 中间状态数据表 设计结果数据 事实表 推理路径表
5.4.3 产生式及产生式存储
产生式是OPS系统的基础，也可以认为是 OPS仅有的一种语句形式。 1.产生式的结构 2.产生式的左部LHS 3.匹配规则 4.产生式的右部RHS
5.4.4 用户过程 5.4.5 OPS5的解释程序 一般产生式系统的解释程序的执行过 程是循环地执行“识别—动作循环” （一）识别—动作循环 1.解决冲突 2.执行动作 3.匹配 4.判别循环
离散工具 (如测试器 编辑器)
全生命周期支 持(Genesis)
工具箱 (Interlisp)
基于知识的工 具(KBE macs)
80年代
智能全生命 周期支持
1960年--1975年
1975年--1982年
将来
5.2专家系统开发工具的分类
5. 2. 1专家系统开发工具的基本结构 一个专家系统开发工具是一个能够 生成专家系统的系统，包括五个方面。
1.有一种（或几种）固定的知识表示方法，并有 相应的内部编码形式。 2.有一个知识编辑器，最好能获取领域专家或其 它非知识工程师用户以交互方式输入的知识并自 动建立知识库。
3.具有一个知识库维护或管理机制，帮助专家或 知识工程师发现知识库中的矛盾，冗余及其它不 一致和知识的存贮，调度。 4.提供一套或几套推理机制，与编辑器或智能编 辑器建立的知识库一起实现实际问题求解。 5.设置一个跟踪解释机制，通过例子或实际问题 求解的运行，一方面帮助用户理解的求解结论以 实现系统的透明性，另一方面便于专家或知识工 程师定位知识库中的错误和不完善。
<稀疏矩阵>: :＝<表> <表>: :=<子表> <表> <子表>: :=( <TAG> (<行下标> <名称> <稀疏行向量>)) <TAG>: :=Condition|Action <稀疏行向量>: := (( <列下标> <非零元素>) <稀疏行向量>) 利用决策表方法不仅能够检查规则中冗余 和矛盾情况，还能对库中知识的完整性给出 定量分析。
（二）解决冲突的策略 1. LEX是根据时标表按字典的 顺序来排列示例激活的优先度的，是 标准的字典顺序比较策略。 2. MEA强调了产生式中第一条 件元的重要性，与习惯上把重要条件 放在首位的作法是一致的。
5.4.6 用户命令
5.5组合开发工具AGE
AGE是用INTERLISP语言实现并在 PDP-10机和VAX机上运行的辅助型专 家系统工具。 目前，AGE已用来设计医疗诊断，密 码翻译，军事科学等方面的专家系统。
在规则表达方面，EMYCIN的规则行为 部分之后，有一个确定性因子，而KAS 的规则行为部分之前，有两个值域为[0， +00）的规则强度，前一强度LS表示前提 为真实结论的可信度，后一强度LN表示 前提为假设结论的可信度。 KAS工具系统主要组成： （一）.常驻内存网络编辑程序 1.结构编辑程序 2.自动簿记系统（BS） 3.会话管理系统（DMS）
5.7.9 系统用户接口
提问 解 释 系 统 控 制 回答 器
输出
词典
动态信息解释产 生器 静态信息解释产 生器
2D、3D绘图包 显示
黑 板 问题 中间 求解 日程表 数据 目标推理
KBMS 信息修改分析 决策与评价
KB概念设计、 详细设计、 性能评价、 再设计 文件库 程序库
结果
执行
ቤተ መጻሕፍቲ ባይዱ
5.7.3 机械设计知识的集成表示方法 集成知识表示方法就是将规则表示，框架 表示,过程表示相结合，根据不同类型知识 的特点，采用相应的表示方法，而且使规 则可以调用规则，框架，过程，是框架又 可以调用框架，规则，过程。如：
5.7.6 多级模糊综合评价 多级模糊综合评价是采用产品评价树 （如图） D
A W
B
F C W
C
B
e2
e1
e3 e4 e5
产品评价树
评价树叶节点集合为(e1,e2…,en);系统 输出方案的指标(值集合)为(ev1, ev2, …evn); 隶属度函数为ui(evi)(i =1,2…,n);权向量为 （ew1,ew2,…ewn)
（6）分析评价模块 （7）决策模块 （8）解释模块 （9）绘图模块
5.7示例—GMDES通用的机械设计专 -家系统的骨架结构
5.7.1 研制GMDES骨架系统的必要性
为了对机械设计专家系统的共同理论进行 深入研究，提出解决共性问题的有效途径， 又能集中较多人力和时间对专门问题的个 性进行探讨，推动各种实用专家系统的开 发，提高专家系统的质量与效能。为此， 华东工学院计算机系研制了一个通用的机 械设计专家系统骨架系统，即CMDES骨架系 统。
1. PTM框架中嵌入PL规则
PTM (AKO(VALUE(PL))) (FORMULA (VALUE ((HPQ ASK))((WOASK))((WASK)) ((TEMFB))((DTA F200))((MIK F2)) (IF—NEEDED(F6))) (RULE (VALUE(RKBPL))))
（二）MATCHER在知识获取中的应用
1.维护概率一致性
2.装配知识库
3.辅助设计陈述的语义网络表示
5.4通用知识表示语言OPS5
5.4.1概述 OPS是一种基于产生式的程序设计 语言，OPS5是OPS语言系列中最有影响 和应用最广的一种版本。 OPS5语言可分为语言本身和推理或 执行机构两大部分。语言结构十分简单， 只有一种形式的语句，即产生式：
5.7.7 模糊决策 模糊决策的方法主要有两种：
（一）相似优先决策
（二）优先定序决策
5.7.8 知识库的管理与维护
由于GMDES的知识库内知识量相当庞大， 故除设置了功能较强的管理系统外，还考虑 了知识库内容的更新、知识的完整性与一致 性的检查。GMDES系统的设计者在基于一阶 谓词理论的基础上，提出并采用了一种对规 则库进行定量维护的决策表算法。决策表可 分为条件表、动作表如逻辑值表、在计算机内 部采用稀疏矩阵形式存放。它的BNF范式为：
5.6机械设计专家系统的骨架系统的建造
5.6.1 机械设计的特殊性
1.机械设计是一门古老的科学技术，该 领域所涉及的知识十分繁杂，有概念性知 识，有量化的图表，有确认的公理，有因 时因地的经验。
2.机械设计是一个创造模型和完成模 型的过程（这个模型包括数学模型和知识 模型），也是一项综合性工作，它具有以 下几方面的特性
PB FB FDB 用户接口
目标推理器
系统采用元级控制策略，针对用户所 要求的设计目标，通过元推理机队知识 的推理，得到一张由设计目标转换而来 的若干子问题求解日程表存放在黑板中， 元级控制又按问题求解日程表控制目标 级推理机依次求解，直到所有子问题都 求解完毕。
本推理机还采用了正向，反向，混合 三种推理策略来进一步提高效率。
（二）通用知识表示语言 是一类把控制知识也作为一种显 式知识同知识库级知识一样进行表示和 推理的专家系统开发工具。 （三）组合开发工具 是比骨架系统和通用表示语言的通 用性更强的一类专家系统开发工具。
5.3骨架系统EMYCIN和KAS
5. 3. 1 EMYCIN EMYCIN是用INTERLISP等语言实现 并在PDP-10机和VAX机上运行的基于规则 的骨架型专家系统工具。 在EMYCIN系统中，领域知识用事实 和规则表示。事实由属性—对象—值三元 组组成，且附带一个值域为 [-1,1]的确定性 因子。规则用似然（PLAUSIBLE）逻辑联 结词将整个事实关联起来，由前提部分和 行为部分组成。
2. BB1规则中嵌入过程SIN
( RULE12 BB1 （ IF (( V0800 )) ( THEN ( SET ! BB1 (－B( / ( * BB Q V0V0(SIN ALF)) ( * N TT H))))))
5.7.4 基于多种知识表示的多级知识获取 子系统 该子系统允许专家在不同的知识结构层 次上获取知识 。多级知识获取策略建立在 概念模型描述领域的基本实体，实体性质， 相关信息，解算方法等。
5.7.2 GMDES骨架系统的总体结构 GMDES骨架系统总体结构如图示，由知
识获取子系统，知识库及其管理维护子系
统，推理机，信息解释子系统，评价决策
子系统，2D,3D绘图子系统六部分组成。
用户 用户接口 元级推理 专家 知识 获取 control 输入信息暂存器 Exchange知识表示 MKB元级 知识库
5. 3. 2 KAS KAS是用INTERLISP语言实现并在 PDP-10机和VAX机上运行的基于规则的骨 架型专家系统工具。
同EMYCIN类似，KAS也用事实和规则表 达领域知识。但KAS把EMYCIN中表达事 实的属性—对象—值三元组扩充为语义网 络，故可描述任意多个对象之间的N元关系， 其中相关对象再用一个网络按集与子集关 系表达，从而方便了推理机作演绎推理。
如果<条件>
表示成
则<动作>
<条件> <动作>
或
LHS

RHS
OPS一般都以解释执行的形式来实现。 一般产生式系统的解释程序是循环地执行 “
识别—动作循环”：
1.匹配
2.解决冲突
3.执行动作
5.4.2 工作存储及工作存储元
工作存储是OPS5程序的加工对象，它在解 释过程中是动态改变的。工作存储是一些工作 存储元构成的集合。
第五章
专家系统开发工具
本章主要内容
5.1 专家系统开发工具的作用 5.2 专家系统开发工具的分类 5.3 骨架系统EMYCIN和KAS 5.4 通用知识表示语言OPS5 5.5 组合开发工具AGE 5.6 机械设计专家系统的骨架系统的建造
5.7 示例—GMDES通用的机械设计专家系统
的骨架结构
5.1专家系统开发工具的作用
3. 机械设计的目标定义不完备，设计方案也 不唯一。不同的设计专家经常设计出不同 的方案，而这些方案可能各有长短，但都 是好的。作为机械设计专家的骨架系统需 要能处理这种不完备定义问题。 4. 机械设计决策过程包括过程决策和技术 决策。
5.6.2 机械设计专家系统的骨架系统的建造
充分考虑到机械设计的特殊性，采用 1.多种知识的混合表示方法 2.“设计—评价—再设计”的设计过程模型 3.模块化的组织结构。包括以下几个模块： （1）元级知识库及其管理、维护模块 （2）目标级知识库及其管理、维护模块 （3）黑板 （4）推理模块 （5）I/O 模块
5.1.1专家系统工具的概念
专家系统工具是辅助专家系统构造的软件 设施。如果将构造专家系统的过程抽象为总结 知识，输入知识，设计专家系统几大步骤，则 专家系统工具也就可以相应地抽象为辅助这几 步骤进行的设施。
5.1.2专家系统开发工具的作用
可使建立专家系统的时间和造价降 低。
5.1.2国外软件开发环境的情况