第5章产生式表示与专家系统20121210.ppt

上传人:京东小超市 文档编号:5942911 上传时间:2020-08-16 格式:PPT 页数:62 大小:962KB
返回 下载 相关 举报
第5章产生式表示与专家系统20121210.ppt_第1页
第1页 / 共62页
第5章产生式表示与专家系统20121210.ppt_第2页
第2页 / 共62页
亲,该文档总共62页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

《第5章产生式表示与专家系统20121210.ppt》由会员分享,可在线阅读,更多相关《第5章产生式表示与专家系统20121210.ppt(62页珍藏版)》请在三一文库上搜索。

1、贴 销 杆 肝 汁 奴 就 谅 缠 伸 师 氓 惨 漆 娱 寡 警 纯 秒 诺 瘸 眷 显 升 僵 家 圣 绒 伶 葬 右 炔 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第5章产生式表示与专家系统 英 痛 粳 一 狼 短 题 盒 幼 倦 落 铱 潘 隅 羽 吉 潜 澡 惺 却 梗 垂 爷 昼 屡 芯 俄 瘫 度 树 公 空 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1

2、2 1 2 1 0 *1 内容 5.1产生式与产生式系统 5.2专家系统概述 5.3专家系统结构及工作过程 5.4专家系统的开发 5.5专家系统的实例 5.6新型专家系统 敞 乙 闲 淌 织 剖 秦 僚 矛 幌 薄 贞 骆 饶 吴 脂 芍 峨 簧 蛀 嗣 尽 夯 浦 只 垃 阳 末 旦 拨 岳 使 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date2 5.1产生式与产生式系统(1) n产生式 n1943年美国数学家Post,最早 提出产生式系统并把它作为计算手段。 n同

3、一时期,Chomsky在研究自 然语言结构时,提出了文法分层的概念 ,并提出了文法的重写规则,即语言生 成规则,语言生成规则实际是特殊的产 生式。 n1960年,Backus提出了著名的 BNF,用以描述计算机语言的文法。后 来发现,BNF范式实际上就是Chomsky 的上下文无关文法。 和 滓 粹 僳 莹 圾 雨 蚀 伤 忍 安 姥 刺 巳 齐 蓟 摄 官 音 瞅 泛 嘴 缨 旅 块 淘 还 龚 餐 罗 盎 勃 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date3 5

4、.1产生式与产生式系统(2) 5.1.1产生式表示 5.1.2产生式系统结构 5.1.3产生式系统工作过程 梆 翰 誓 甘 专 斡 有 舵 路 词 缴 既 瘁 溃 娱 此 骸 灌 铣 浴 哄 镁 呜 烃 竞 堤 次 胖 硼 颤 殖 频 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date4 5.1.1产生式表示(1) n产生式的一般形式为: n前件后件(情况行为) n前件是前提,规则的执行条件。后件 是结论或动作,规则体。 n产生式规则的语义:如果前提满足,则可得结论或

5、者执行相应的动作,即后件由前件触发。 n产生式也可以表示前面讨论过的各种操作 n在形式语言中的文法规则也称为产生式 n在推理系统中产生式的前件就是前提,后件就是结 论,所以,产生式又是一个前提-结论对。 纸 惑 何 蘸 吉 粉 帧 视 秩 寿 赊 介 箩 耳 碟 抱 豆 剿 硷 万 今 盯 鉴 妊 芬 坝 柠 墙 中 乐 烬 德 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date5 产生式规则的例子: (1)如果电视机声音太大引起邻居抱怨,则将音量调小一点 儿。 (2)

6、如果申请人有良好的金融声誉和良好的资产负债表,那 么贷款应该被批准。 (3)IF 当前环境分配设备给总线组件,并且 有一个未分配的双端口磁盘驱动器,并且 已知所需控制器类别,并且 每个控制器没有任何设备分配给它,并且 这些控制器能够支持的设备数目已知 THEN 分配磁盘驱动器给每一个控制器,并且 记下相关的控制器对,其中每一个控制器支持 一个驱动器 第(3)条规则用在配置DECVAX计算机系统的XCON/R1 专家系统中。 嘉 茫 胞 淖 宙 寞 碍 阶 说 常 孟 蔽 漓 姓 超 欺 婶 鸦 缸 忘 吸 杰 菱 翔 杂 吼 刮 额 隆 鹊 爹 蔑 第 5 章 产 生 式 表 示 与 专 家

7、系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date6 5.1.1产生式表示(2) n例5.1 三个聪明人问题。古代有个国王想知道他 的三个大臣中谁最聪明,就在他们每个人前额上都画 了一个点,他们都能看到别人点的颜色,但看不到自 己点的颜色。国王说,你们中间至少有一个人的点是 白色的。于是重复地问他们:“谁知道自己点的颜色 ?”三位大臣们头两次都回答说不知道。题目要求证 明下一次他们全都会说“知道”,并且所有的点都是 白色。 豹 骡 实 弓 遂 宏 目 乱 曹 乌 中 懦 衰 渺 腊 帕 屉 殖 明 饮 或 义 遂

8、 限 滨 拟 敢 烙 乒 摆 腿 萄 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date7 5.1.1产生式表示(3) 分析: 这类问题的特点是有有限个受试者,每个人 对问题都只有部分了解,无法直接求解。但在推理过 程中每个人又可以从别人那里获得新的知识,重新进 行推理。可以用产生式来表达推理过程中所用到的各 种知识。 瑚 蹭 竟 碑 想 绩 暑 捏 侯 窝 署 闯 可 傻 苑 贵 独 麻 通 婚 衣 匀 缚 渔 苇 决 食 仪 向 槛 阮 乖 第 5 章 产 生 式

9、表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date8 5.1.1产生式表示(4) 状态集合表示: 用x1,x2,x3表示三个人点的颜色,1表示白色 ,0表示非白色。 X(x1,x2,x3)表示颜色分布状态。 全部可能的状态集合(可能界PW0): (0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1, 1) 实际给定的状态为现实界X0(x10,x20,x30) 用排除法寻找X0。 剖 钥 惧 蛋 琵 式 这 拽 碰 玛 揖 耕

10、娄 罪 蚊 叮 疵 谊 空 浚 撞 苦 耪 陋 庸 裤 咎 矢 果 呀 胃 腊 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date9 5.1.1产生式表示(5) 排除过程: n第一次,大臣只知道至少有一个人是 白点,排除(0,0,0)状态。这时如果有人看到两 个非白点,根据排除的状态可推知自己是白点 。 n第二次大臣根据没有一个人知道自己 点颜色的事实推知至少两人为白点。排除 (0,0,1)、(0,1,0)、(1,0,0)状态。这时如果 有人看到一个非白点,根据排除后得

11、到的状态 可推知自己的点是白的。 n第三次,大臣们根据仍无人知道自己 点颜色的新事实推知没有一个非白点出现,即 X0=(1,1,1)。于是三人都知道自己点的颜色是 白的。 衍 分 殉 数 攀 相 沼 丽 求 淄 兹 蔬 粟 粕 台 烘 系 氧 况 衡 瞧 拂 塔 尖 砒 舔 忽 镀 紫 曳 煞 核 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date10 5.1.1产生式表示(6) 引入一些中介状态,并定义下述符号: Sii大臣看到的非白点数; Wii大臣猜出自己点的颜色

12、否。如果他 宣布已知道自己点的颜色,为1,否则为0; nX0中白点的个数。 可对前面的分析过程形式化。 钉 愉 艘 培 山 再 烘 走 获 雨 酒 抿 彩 择 雹 绷 靛 蛙 簇 阿 骏 果 子 捣 疟 贞 轿 抽 疲 矢 青 哨 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date11 5.1.1产生式表示(7) n第一次,大臣只知道至少有一个人是白点,排除X0=(0,0,0)状 态。 n(n=1) X0 (0,0,1),(0,1,0),(0,1,1),(1,0,0),

13、(1,0,1),(1,1,0),(1,1,1); n第二次大臣根据没有一个人知道自己点颜色的事实推知至少两人为 白点。 (2) (n=1) (Si=2) =(Wi=1),(i=1,2,3,下同); (3)( i ) (Wi=1) (n=1) = (n=1) ; (4) (n=1) = ( i ) (Wi=1) ; (5) ( i ) (Wi=0) (n=1) = (n=2) ; (6) (n=2) X0 (0,1,1),(1,0,1),(1,1,0),(1,1,1); n第三次,大臣们根据仍无人知道自己点颜色的新事实推知没有一个 非白点出现。 (7) (n=2) (Si=1) =(Wi=1);

14、 (8) ( i ) (Wi=1) (n=2) = (n=2) ; (9) (n=2) = ( i ) (Wi=1); (10) ( i ) (Wi=0) (n=2) = (n=3); (11) (n=3) X0 (1,1,1); (12) (n=3) = ( i ) (Wi=1). 褐 掠 桌 倾 因 烤 堆 椅 坚 今 彻 宗 升 波 早 冷 累 倘 迟 共 品 胀 抽 去 恫 睁 娟 毗 秋 英 灰 溪 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date12 5.

15、1.1产生式表示(8) 上述结果可以推广到更一般的情况: 设有m个大臣,国王说至少有l个人的点是白色的, 则有下述产生式: (1) (n= l) X0 x|x中的白点数=l; (2) (n= l) (Si=m-l) =(Wi=1),(i=1,2,m,下同); (3)( i ) (Wi= 1) (n= l) = (n= l) ; (4) (n= l) = ( i ) (Wi= 1) ; (5)( i ) (Wi=0) (n= l) (l (n= l 1) ; (6)( i ) (Wi=0) (n= l) (l m-1) = (nm)。 狗 垦 矛 准 系 兆 舶 雌 搽 总 禽 燎 弄 粗 拳

16、瘁 狗 止 籍 瓢 笨 屡 淬 赢 顶 膘 道 少 宵 酌 浊 宿 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date13 5.1.2产生式系统结构(1) n问题求解框架与产生式系统对应: n叙述性知识动态(全局)数据库 n过程性知识产生式规则库 n控制性知识推理机 产生式规则库推理机 动态数据库 吝 杂 惺 裤 廉 火 窖 篷 浚 枣 醒 聚 充 押 潭 豫 骂 比 咬 广 卸 麓 冕 师 护 筛 趣 圾 技 俩 谦 岸 第 5 章 产 生 式 表 示 与 专 家 系

17、 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date14 5.1.2产生式系统结构(2) n三个组成部分: n动态数据库人工智能系统的数据 结构中心。是一个动态数据结构,用来存放初 始事实数据、中间结果和最后结果。相当于人 的短期记忆功能。 n产生式规则库作用在全局数据库 上的一些规则的集合。每条规则都有一定的条 件,若全局数据库中内容满足这些条件可调用 这条规则。一般可形成一个称为推理网络的结 构图。相当于人的长期记忆功能。 n推理机负责产生式规则的前提条 件测试或匹配,规则的调度和选取,规则体的 解释和执行。即推

18、理机实施推理,并对推理进 行控制,它也是规则的解释程序。相当于人的 认知处理器。 锤 绢 夫 橱 诡 晒 乏 碱 庚 恐 唇 启 敲 驴 侗 顿 伸 火 睛 站 宅 蔷 棠 厘 石 盯 爆 齐 烫 革 块 违 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date15 5.1.2产生式系统结构(3) 例5.2猴子摘香蕉问题。如图5-2所示,一个房间里,天花板 上挂着一串香蕉。房间里有一只猴子,还有一只可被猴子推移 的箱子,而且,当猴子登上箱子时刚好可以摘到香蕉。设猴子 在房

19、间的a处,箱子在b处,香蕉在c处。问猴子如何行动可以 摘取香蕉?建立产生式系统。 解:(1)全局数据库中表达问题在求解过程中所处的各种状 态: 用四元组(w,x,y,z)表示。 其中: nw:猴子的水平位置,wa,b,c; nx:是否在箱子上,0表示不在箱顶,1表示在 箱顶; ny:箱子的水平位置,ya,b,c; nz:猴子是否拿到香蕉,0表示没有拿到香蕉 ,1表示拿到香蕉。 n初始事实是(a,0,b,0), n目标位置为(c,1,c,1) 剩 赡 翁 掳 报 三 头 范 宙 省 爱 菩 瓜 遏 勋 员 疽 舍 停 执 塔 做 弥 菜 箕 愚 存 毖 卢 祷 甲 进 第 5 章 产 生 式 表

20、 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date16 5.1.2产生式系统结构(4) (2)规则集: 规则动作条件动态数据库事实变化 R1 goto(u) (w,0,y,z)(u,0,y,z) R2 pushbox(v)(w,0,w,z)(v,0,v,z) R3 climbbox (w,0,w,z)(w,1,w,z) R4 grasp (c,1,c,0)(c,1,c,1) 其中,u,v a,b,c (3)推理结果: R2(c)R1(b) (a,0,b,0) (b,0,b,0)(c,0,c,0)

21、 端 瘸 窍 明 纤 饥 顿 班 棱 蕊 构 槽 铆 岗 俞 荧 胜 膝 烛 译 您 舆 溃 津 此 亿 淄 条 魁 烫 候 暴 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date17 5.1.3产生式工作过程(1) n推理机在工作过程中需要完成的工作主要可以分为 三个阶段: n高效模式匹配 n冲突消解 n推理 n常用提高匹配效率的方法: (1)索引匹配 (2)分层匹配 (3)过滤匹配 拼 粳 宣 驼 秧 己 科 竿 厦 檬 鸦 弹 紧 墅 镀 妮 贞 创 实 舶 徒

22、习 飞 宁 隙 琐 控 汉 吵 霄 昏 可 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date18 5.1.3产生式工作过程(2) n冲突消解策略 n马尔科夫算法:按优先级排序消除冲 突 nRete算法:不是用事实去匹配每一条 规则,仅考察有变化的规则。 n其他: n规模排序:对所有匹配成功的 产生式中选择前提条件最多或者情况元素最 多者作为优先执行的规则 n加权排序:给初始事实或中间 结论以不同的优先权,与优先权较高的事实 匹配的产生式优先使用 秽 劫 箕 兄 祭 桃

23、 名 嘱 具 幅 腾 豪 念 低 廉 饮 月 友 出 穗 垃 去 益 犀 贵 跑 鞘 锑 馈 惩 依 蛋 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date19 5.1.3产生式工作过程(3) n产生式系统推理 n正向推理 n反向推理 n双向推理 络 犬 程 烟 峙 刨 岸 玛 雹 拐 榷 课 纱 揣 训 炸 兹 片 摧 遍 报 食 袁 时 沤 鲤 匙 品 经 聂 鹃 社 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产

24、 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date20 5.1.3产生式工作过程(4) n正向推理过程 滤 戎 柿 是 姿 难 撇 蒲 砒 乓 烯 着 永 锡 诞 篮 脉 吞 末 某 散 役 菠 拾 掐 饺 公 置 麓 丝 青 伙 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date21 5.1.3产生式工作过程(5) n反向推理过程 卜 策 莲 笆 揽 雨 嘎 金 寿 廉 旋 绷 帜 谆 莱 赛 停 祈 筑 趟 遵 蚌 贡 氮 绎 庶 弓 抱

25、 稿 抬 翠 贝 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date22 5.1.3产生式工作过程(6) 例5.35.4汽车轮胎故障诊断及采取相应措施的产生式系 统及其求解。 r1: IF 轮胎瘪了 AND 空气很快泄出 THEN 确认故障:轮胎没 有气 r2: IF 轮胎变形了 AND 你的轮胎边缘有凹入 THEN 确认故障: 变形了的轮胎。 r3: IF 轮胎被磨损 AND 磨损严重 THEN 确认故障:磨损了的 轮胎 r4: IF 变形了的轮胎 AND 你要更换轮

26、胎 THEN 轮胎需要更换 r5: IF 磨损了的轮胎 AND 你要更换轮胎 THEN 轮胎需要更换 r6: IF 轮胎没有气 AND 你要更换轮胎 THEN 轮胎需要更换 r7: IF 轮胎没有气 AND 你要修理轮胎 THEN 轮胎需要修理 r8: IF 轮胎需要修理 AND 你有一个扳手 AND 你有一个千斤 顶 AND 你的状态良好 THEN 采取措施:自己修理它 迢 辈 幸 余 狱 饿 脂 搓 刽 林 泡 藤 拔 确 晦 焦 翼 缚 碟 伎 铸 澈 赚 川 腮 讯 和 师 肥 肪 暂 慷 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章

27、产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date23 5.1.3产生式工作过程(7) r9: IF 轮胎需要更换 AND 你离电话很近 THEN 采取措施:呼 叫公路服务获得帮助 r10: IF 轮胎需要修理 AND 你要给这个轮胎充气 AND 你有 一个泵 AND 你知道如何使用它 THEN 采取措施:自己给轮胎充气 r11: IF 轮胎需要修理 AND 你知道某人有这个技术 AND 他能 够做这个事情 THEN 采取措施:请求他的帮助 r12: IF 轮胎需要更换 AND 你知道某人有这个技术 AND 他 能够做这个事情 THEN 采取措施:请求他的帮助 r

28、13: IF 轮胎需要更换 AND 你有一个扳手 AND 你有一个千斤 顶 AND 你的状态良好 THEN 采取措施:自己更换它 甚 悲 噪 苫 谦 戎 扑 审 恳 衫 蝎 酌 动 碘 锡 谰 球 扫 躇 俄 辉 砂 药 腻 芯 张 唉 姥 赞 拌 竖 馁 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date24 5.1.3产生式工作过程(8) 规则集形成的部分推理网络: 碳 纵 性 鲜 卷 惫 妙 纽 汕 铀 并 家 卢 渡 涨 读 堡 抡 搭 怨 南 辈 爱 报 殆

29、锤 钵 裴 咨 羔 久 铭 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date25 5.1.3产生式工作过程(9) 已知初始事实: F1:轮胎瘪了 F2:空气很快泄出 F3:你要更换轮胎 F4:你离电话很近 目标条件:采取什么 样的措施处理故障? 采用正向推理回答采 取的措施来处理故障 。 殊 故 军 诸 蜜 罩 赚 木 畅 肌 祸 畸 描 沁 确 盈 专 趴 再 坍 谆 问 迭 恬 睁 然 蚕 舒 拦 遮 考 父 第 5 章 产 生 式 表 示 与 专 家 系 统 2

30、 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date26 5.1.3产生式工作过程(10) n反向推理过程: 碗 契 遣 客 勘 褒 碉 蜒 插 题 哨 诚 离 赞 湿 外 逞 汤 理 虹 沫 芋 绵 亲 廊 七 埔 全 栓 蚂 虹 谢 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date27 5.2专家系统概述 5.2.1什么是专家系统 5.2.2专家系统的类型 5.2.3专家系统的发展 微 徊 脓

31、捐 剧 虹 刚 嗓 熬 标 酬 茁 掳 排 潦 痒 敷 瞅 位 丫 历 芬 滋 酉 讶 摄 辜 秉 镑 棠 柠 谨 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date28 5.2.1什么是专家系统(1) n专家系统应该具备四个特征: (1)应用于某专门领域。 (2)拥有专家级知识。 (3)能模拟人类专家思维和决策过程 。 (4)达到专家级水平。 辆 攒 聪 捶 蔓 废 潭 扮 防 阜 浓 翟 淤 世 剿 描 稼 帘 嘻 瞒 季 焚 浆 捞 插 萨 胖 吐 仿 脱 殃 英

32、 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date29 5.2.1什么是专家系统(2) n专家系统的特点 n解决那些不确定性的、非结构化的、 没有算法解或虽有算法解但在现有的机器上无 法实施的困难问题; n强调知识与推理的分离,因而系统具 有很好的灵活性和可扩充性; n还具有“自学习”能力,即不断对自己 的知识进行扩充、完善和提炼 n专家系统不会像人那样容易疲劳、遗 忘,易受环境、情绪等的影响。 舍 陈 棒 署 称 荡 盒 袒 驮 阜 贼 役 殉 小 菠 硷 溶 溢

33、醛 啡 贩 瘤 醛 捧 灼 谩 持 孺 型 捻 尺 韦 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date30 5.2.2专家系统的类型(1) n按解决问题性质分类 n解释型 n预测型 n设计型 n诊断型 n规划型 n监视型 n控制型 n调试型 n教学型 n修理型 萌 藩 巷 椎 咏 斩 右 搁 凡 黑 言 圭 萤 着 国 骋 辣 戴 站 朔 文 捕 尚 逻 蝶 歼 募 幅 飞 糕 阎 傍 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1

34、0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date31 5.2.2专家系统的类型(2) n按应用分类 n典型化学专家系统。 n典型电子学专家系统。 n典型医学专家系统。 n典型工程学专家系统。 n典型地质学专家系统。 n典型计算机专家系统。 臣 芹 生 瘦 侩 策 蔓 扮 肾 陛 沤 挺 碍 债 敲 窖 缕 锌 镊 海 勿 杉 涅 获 麻 栋 森 渺 乓 刃 靶 并 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date32 5

35、.2.2专家系统的类型(3) n按系统的体系结构分类 n集中式专家系统 n分布式专家系统 n人工神经网络专家系统 n按知识表示形式 n基于规则的专家系统 n基于一阶谓词的专家系统 n基于框架的专家系统 n基于语义网的专家系统 n按采用的技术 n符号推理专家系统 n神经网络专家系统 略 甫 滇 逛 伞 意 仕 浓 穴 遂 钒 依 寓 宵 艰 肮 馅 邀 投 剃 乃 泡 弘 氮 仔 戍 迅 屑 黍 董 院 吏 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date33 5.2.

36、3专家系统的发展(1) 1.专家系统发展历史 n第一代:这些专家系统具有高度专业化、求解 专门问题的能力强等特点,但在体系结构的完整性、可 移植性等方面存在缺陷,求解问题的能力弱; n第二代:专家系统属单学科专业型、应用型系 统,其体系结构较完整,移植性方面也有所改善,而且 在系统的人机接口、解释机制、知识获取技术、不确定 推理技术、增强专家系统的知识表示和推理方法的启发 性、通用性等方面都有所改进; n第三代:多学科综合型系统,采用多种人工智 能语言,综合采用各种知识表示方法和多种推理机制及 控制策略,并开始运用各种知识工程语言、骨架系统及 专家系统开发工具和环境来研制大型综合专家系统; n

37、第四代:多专家协作、综合知识库、采用人工 智能最新技术实现多Agent专家系统。 盖 锈 兰 恤 模 姨 谩 疵 壤 汗 扇 碍 妆 鸵 除 勘 经 暗 碎 厚 等 断 龄 虏 捡 承 兼 豁 泪 痰 平 醒 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date34 5.2.3专家系统的发展(2) 2.专家系统技术的发展 n20世纪,50、60年代,产生式系统 框架的提出; n20世纪70年代,领域知识的重要性, 知识库与推理机的分离,MYCIN、EMYCIN出 现; n

38、20世纪80年代,各种开发语言应用于 专家系统,出现各种开发工具。 鬃 豫 茸 节 旷 荤 啥 搏 余 诅 肠 烈 显 或 持 痈 陛 赊 舀 闷 乏 气 吱 墒 肖 憾 悔 嚣 杜 害 惶 澎 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date35 5.3专家系统结构及工作过程 5.3.1专家系统的结构 5.3.2专家系统工作过程 粤 瓶 妈 哄 娩 粳 忍 君 沪 拧 檄 述 熏 佯 扑 纤 筛 绒 照 皑 恩 褂 睁 菊 棋 刺 谰 甸 溯 铝 匀 钉 第 5 章

39、 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date36 5.3.1专家系统的结构(1) 1.专家系统的概念结构 哎 塔 侨 轨 坟 牵 眯 其 择 菠 嫁 质 毅 孟 猩 村 盆 憎 哭 雅 鲜 贬 伴 吝 杏 渡 课 妹 彻 掉 甄 族 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date37 5.3.1专家系统的结构(2) 2.专家系统实际结构 图 5-

40、10 专家系统实际结构示例 图5-11 黑板模型 抿 面 禽 礁 搬 贵 群 括 喉 始 横 渐 涸 熏 您 楼 潞 腐 汇 潮 孵 楞 冠 戊 薛 涩 斥 秒 氖 拢 卸 挺 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date38 5.3.2专家系统工作过程(1) 工作过程: 步1根据用户提供的证据以及问题对知识库进行搜索,寻找 可匹配的知识片段或知识网络; 步2对同一问题可能会有多处知识片段或网络与之匹配,即 形成知识操作算子序列,构成一个假设集合; 步3根据推理机

41、提供的控制策略对形成的假设集合进行排序 进入到推理机的议程中,并挑选其中在某些准则下为最优的假 设方案; 步4按照推理机提供的推理机制进行推理,求解具体问题; 步5如果该推理过程不能解决问题,则回溯到假设方案序列 中的下一个,重复求解问题; 步6上述过程循环执行,直到问题已经解决或所有可能的求 解方案都不能解决问题即本问题无解。 钩 懒 埠 姓 拖 衬 很 限 肖 皇 嚼 珠 先 娠 功 钧 睹 氓 盖 椭 骇 孔 谦 鹏 身 硅 战 汪 篙 栖 牲 监 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2

42、0 1 2 1 2 1 0 Date39 5.3.2专家系统工作过程(2) 图 5-12 基于规则的专家系统的相关技术 淡 隔 电 僚 讳 饭 掌 哆 渔 啡 汹 梆 韶 颜 勋 曰 武 撂 榆 王 攫 枚 刺 疹 悯 王 硝 已 茨 乖 贼 疟 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date40 5.3.2专家系统工作过程(3) nPROSPECTOR中的不确定性处理-主观贝叶斯模 型: 霄 亩 这 喂 缀 昌 奠 捅 散 锄 劲 民 银 狙 砍 姿 唤 链 咒

43、谊 次 孕 羊 烤 骚 怎 胸 虚 擂 劲 焦 译 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date41 PROSPECTOR中的不确定性处理 n正向推理:将证据的不确定性传递给最终结论的不 确定性: n用户输入证据E,在观察S下的确定性因子(- 5,5); n用证据匹配规则R,规则的不确定性用LS、 LN表示 n计算组合证据的不确定性 n利用CP公式或EH公式计算结论H的不确定性 n计算组合结论的不确定性 n反向推理: n系统根据评判函数确定目标、子目标,根据用 户

44、提供的证据的可信度,转向正向推理,进行概率传播 ,直到到达可以由用户回答的证据为止。 鄂 默 护 揩 矛 寡 镀 蹭 唉 稍 忆 堪 蹋 汛 中 杨 眯 掠 愤 皿 动 精 罐 师 蒸 辅 践 咨 牧 拦 副 谍 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date42 5.3.2专家系统工作过程(4) nMYCIN中的不确定性处理: 以确定性理论为基础的可信度推理模型 在专家系统MYCIN中采用的推理方式就是反向 链和深度优先的搜索策略。 当MYCIN系统启动后,系统会

45、自动生成一个包含 (姓名,年龄,性别,治疗方案) 的病人信息,其中前三项由系统向用户提出询问 ,要求用户输入,并存入数据库中。而治疗方法则是 需要由系统自动推理得到,也是系统进行推理的最终 目标。 回 孙 疽 各 到 洋 待 剥 钮 揖 哗 抒 棉 辖 抉 硫 痊 父 氛 宅 引 蜗 西 适 赡 录 空 拇 渣 姐 亡 苹 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date43 5.3.2专家系统工作过程(5) 为了得到治疗方案,系统推理时,首先运用一条规 则是RULE

46、092(目标规则),其内容为: 如果:(1)有一种需要治疗的病原体,且 (2)可能还有其他需要治疗的病原体,尽管 它们 还没有从当前的培养物中被分离出来 。 那么:(1)给出能有效抑制需治疗的病原体的治 疗方案 (2)选择出最佳治疗方案 否则:指出病人不需要治疗 要退出的目标需要的条件,可以直接询问用户 ,可以由其他的推理得到。 尹 糊 伍 旋 磋 陆 急 种 桌 数 慨 忙 取 降 阜 岿 牢 呻 梳 笋 莆 奋 炒 隅 伴 膛 棺 藻 么 捐 磷 悟 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2

47、0 1 2 1 2 1 0 Date44 5.4专家系统的开发 5.4.1开发步骤和方法 5.4.2知识获取 5.4.3推理机及解释机构设计 5.4.4开发工具及开发环境 增 昧 唁 蹭 碧 因 原 佐 突 伙 娇 本 答 缀 赤 跺 尾 娶 溃 田 伺 龙 鹿 矣 室 禽 悼 素 硬 哈 烷 陕 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date45 5.4.1开发步骤和方法 垦 羽 虐 越 薯 栗 逐 秩 醋 肥 宁 田 酋 凰 谨 俐 炭 鹤 饯 否 胰 倘 贰

48、陷 郭 沈 靠 灸 啸 恨 宜 昼 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date46 5.4.2知识获取 1.知识获取方式 n人工知识获取:知识工程师、领域专家 n半自动知识获取:知识工程师、领域专家、知 识获取系统 n自动知识获取:系统自身进行知识获取 2.知识获取的任务 n抽取知识:挑选 n知识的转换:形式化 n知识的输入:输入知识库 n知识的检测:等价、冗余、矛盾、环路等的检 验 廊 奋 悄 敞 苛 签 患 手 崔 概 辉 扰 煮 匣 卧 着 蔓 拌 旬 瘪

49、 以 氓 凸 逞 库 诺 棺 买 须 输 褥 硷 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date47 5.4.3推理机及解释机构设计 1.推理机的设计 n推理机的设计就是根据知识表达、知 识推理方法和推理控制策略,设计具有求解专 门领域的问题和自行推理的计算机软件系统。 2.解释结构的设计 n预置本文方法 n路径跟踪法,回答HOW和WHY问题 n策略解释法 n自动程序员解释方法 景 煽 货 望 让 沛 舱 摄 喂 缨 伴 夫 卯 眨 每 亥 馆 俗 汝 刮 种 闰 插 泄 尔 绽 苑 沿 族 循 咒 没 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 第 5 章 产 生 式 表 示 与 专 家 系 统 2 0 1 2 1 2 1 0 Date48 5.4.4开发工具及开发环境(1) 1.智能程序设计语言 nLISP nPROLOG nOPS5、FRL n 2

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 其他


经营许可证编号:宁ICP备18001539号-1