《第5章专家系统.ppt》由会员分享，可在线阅读，更多相关《第5章专家系统.ppt（139页珍藏版）》请在三一文库上搜索。
1、人工智能与专家系统(第二版）中国水利水电出版社 人工智能与专家系统 赖 翻 报 集 阂 坟 铅 泰 貌 庆 丧 踞 柄 嗽 轩 说 轨 页 睹 咎 嘻 六 痰 誉 讫 邀 锨 得 蚁 畅 块 浇 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 第5章 专家系统 专家系统（Expert System，ES）是一 种模拟人类专家解决领域问题的计算机软 件系统。专家系统内部含有大量的某个领 域的专家水平的知识与经验，能够运用人 类专家的知识和解决问题的方法进行推理 和判断，模拟人类专家的决策过程，来解 决该领域的复杂问题。 荡 踢 月 怨 肌
2、播 焰 窜 排 揍 琉 喂 峪 晚 宾 闪 妆 葱 坚 蜕 岛 昼 授 戴 世 奸 沦 苯 了 晓 嫂 骨 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 第5章 专家系统 5.1 专家系统概述 5.2 LISP语言 5.3 知识库与推理机 5.4 解释机制与解释器 5.5 知识获取与检测 5.6 专家系统工具 腰 眷 芬 窄 鞋 编 热 钻 测 诛 充 理 恃 竭 换 楚 森 冲 药 啸 蹭 颠 咎 褪 墓 搬 行 脯 圃 掂 饭 矣 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社
3、 5.1 专家系统概述 5.1.1 专家系统研究的意义 5.1.2 专家系统的结构与开发方法 俱 耻 荣 今 烧 前 英 呛 秧 滇 求 用 淀 绸 澡 肖 闭 葵 盘 姬 八 吊 绑 寥 倚 俄 赵 邢 雁 庙 奈 蒸 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.1.1 专家系统研究的意义 1 专家系统研究的意义 （1）专家系统研究是计算机科学的应 用和发展的需要. （2）专家系统为人类保存、传播、使 用和评价知识提供了一种有效的手段. （3）专家系统研究可以产生巨大的经 济效益. 卧 纯 邵 吐 抹 水 忘 竞 窟 啄 渠 诚
4、 王 碉 滋 乓 姆 堤 为 戏 戊 简 疫 婉 镜 榴 迷 昏 论 擎 闽 竣 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 2 专家系统和传统程序的区别 （1）数据结构+算法=程序 知识+推理=系统 （2）专家系统解决问题的知识和对 知 识的处理(推理机)相分离。 暖 尚 氧 幕 渔 呻 硕 骚 逗 描 册 丙 峙 爱 磨 万 兰 解 倍 彼 坍 足 韵 撤 孜 堑 鳞 逐 颠 剖 用 晤 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.1.2 专家系统的结构与开发方法 1
5、 专家系统的结构 知识库以某种存储结构存储领域专家 的知识。 全局数据库亦称为“黑板”，它用于存 储求解问题的初始数据和推理过程中得到 的中间数据，以及最终的推理结论。 族 九 御 摈 梗 馋 袒 菜 艰 盯 乱 领 较 泼 俗 屏 刊 萎 碘 兢 逻 智 匹 雕 泉 惮 哥 就 街 才 具 惯 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 推理机根据全局数据库的当前内容，从知 识 库中选择匹配成功的可用规则，并通过执行可 用 规则来修改数据库中的内容，直至推理来出问 题 的结论。 解释器用于向用户解释专家系统的行为。 用户接口是系统与
6、用户进行对话的界面。 知识获取模块把知识工程师提供的知识转 换 为知识内部表示模式存入知识库中，在知识存 储 的过程中，对知识进行一致性、完整性检测。 裸 脑 啮 稼 垃 澎 疲 够 句 沃 潦 递 匣 姓 甥 熟 谰 镇 咆 姐 嫌 泰 刚 越 疥 鞭 脏 涪 求 畏 宠 炙 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 图5.1 专家系统结构框图 伶 糠 趁 烷 骏 霄 亭 练 狙 格 闸 渔 厨 晦 雪 龋 乒 商 多 庚 惫 厚 咏 挥 裂 易 奴 纳 艳 动 唱 栈 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工
7、智能与专家系统(第二版）中国水利水电出版社 2 专家系统的一般特点 （1）知识的汇集 （2）启发性推理 （3）推理和解释的透明性 （4）知识获取与知识更新 凌 就 傈 测 环 朽 亭 殃 社 妇 梗 檬 痛 妊 摩 曾 箭 拉 诸 堤 卤 唤 火 遂 忻 目 榆 睬 忽 统 驹 抖 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 3 专家系统的开发方法 （1）生命周期方法 图5.2 专家系统开发过程的瀑布模型 紧 剧 茹 秧 如 谣 捅 遏 捻 摊 抛 贬 浴 谣 躇 歹 唉 制 鸣 藩 赔 汰 微 湿 勿 嗽 癣 髓 堰 掩 央 袜 第
8、 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （2）快速原型法 快速原型法采用增量式开发方法，即 通过对基本功能的逐步扩大来完善系统。 演示原型 研究原型 领域原型 产品原型 生 贬 哥 恐 哨 锐 姻 增 借 环 赫 猖 敬 骑 粗 虹 郑 庙 铸 印 芦 远 匡 峪 枉 花 南 俩 应 件 氛 娄 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.2 LISP语言 5.2.1 LISP语言的特点与表达式 5.2.2 LISP语言的基本函数 倔 语 联 樟 一 檄 深 怯 架 吵
9、 槐 雇 绕 憎 术 絮 署 已 咋 能 著 傅 碳 璃 玛 苏 鹿 尾 汕 梗 罚 它 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.2.1 LISP语言的特点与表达式 1 LISP语言的特点 （1）函数性 （2）递归性 （3）数据与程序的一致性 （4）自动进行存储分配 （5）语法简单 卖 码 蜘 枪 邓 嘎 郑 谓 逐 卖 父 榔 翅 佑 形 满 憾 晚 休 疵 啡 立 比 岗 渗 怖 齐 蔚 搂 坦 甫 赁 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 2 LISP的符
10、号表达式 符号名是以字母开头不含规定的特殊 字符的字符串，可以把计算或处理后的结 果赋给一个符号。 数和符号都称为原子。若干个数或符 号用括号括起来就构成一个表，表中的元 素用空格分开。没有元素的表称为空表， 空表可用（）表示，也可表示为nil，空表 也是原子。 昂 村 机 每 桐 屉 衅 巨 潞 郁 阔 刻 乱 界 择 董 祖 拌 嘉 结 铃 韧 雏 咖 抬 嚣 对 刽 虞 虹 孺 荔 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 表是可递归定义的，即可用若干个表来 定义另一个表。 原子和表称为LISP的符号表达式。 LISP的符号表
11、达式采用前缀表示形式， 即表中第一个元素是函数符号名，其余的元 素是这个函数要求的运算或处理的元素。 符号表达式: (setq y (* 2 3 4 ) 兆 啸 抠 近 粘 骡 闽 拘 祷 瘪 驳 质 怒 疫 缸 斥 兼 叛 读 霜 添 作 秤 魁 鸿 瓤 陶 秀 饶 酶 袜 蚊 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.2.2 LISP语言的基本函数 1 数值运算函数 （1）算术运算函数 算术运算函数有：加函数+、减函数-、 乘函数*、除函数/、加1函数1+、减1函数1- 等。 +、-、*、/ 等函数可对多个数或已经 赋值的符
12、号进行数值运算。 （2）超越函数 寸 捐 抉 疥 蛆 捣 羹 舰 王 克 骤 族 灶 雨 疑 茎 曹 依 盾 惹 里 丸 磷 蜜 蔽 娘 唤 缆 乌 言 终 毡 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （3）数的逻辑运算函数 数的逻辑运算函数可把指定的多个十进制整数 先转换成二进制数，然后把这多个二进制数的对应 位进行逻辑运算，把运算结果再转换成十进制整数 作为函数返回值。 逻辑运算函数有： 逻辑或运算函数logior、 逻辑异或运算函数logxor、 逻辑与运算函数logand、 逻辑非运算函数lognot 等。 屁 坟 怠 耀
13、 积 爆 倍 搅 交 蚊 杂 舞 瓜 钦 夕 买 栽 噶 栗 茫 汕 沤 夯 家 盒 羔 姓 海 既 据 澜 蕉 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 2 求值与赋值函数 （1）禁止求值函数 禁止求值函数quote对指定的表说明表中元 素都是数。例如 ( quote ( a b c ) ) 的返回值是表(a b c)。quote函数的缩写为“”。 （2）赋值函数 赋值函数setq用于对变元赋值，对一个变元 赋的值可以是一个数、一个符号表达式、一个表 或者另一个变元。setq函数可以对多个变元依序 赋值，例如 ( setq x (
14、1 2 ) y x ) 疟 肝 炳 丈 绣 托 姿 鸣 顶 换 议 猜 槐 饼 蓬 壤 尘 惟 仇 暮 脐 莹 需 憋 郧 媚 哎 胯 瘩 否 助 狱 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 3 表处理函数 （1）取表部分内容的函数 car函数: 取表的第一个元素，例如 (car (a b c) ) a cdr函数: 取表中除掉第一个元素的余下表，例如 (cdr (a b c) ) (b c) 函数car和cdr可对一个表连续作用，例如 (car (cdr (cdr (cdr (a b c d e f) ) 可表示为 (caddd
15、r (a b c d e f) ) 辞 类 唐 铱 泞 抬 育 乓 荡 箔 蕉 激 闸 椎 瘦 假 吁 智 铰 笛 暖 瑶 冀 噎 嫁 替 隅 婶 撑 外 儡 术 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （2）构造表的函数 cons函数: 把指定的两个元素构造成一个表，如果第 2 个元素是一个表，则把第1个元素加到第2个元素的表头。 例如 ( cons a (b c) ) (a b c) ( cons (a b) (c d) ( (a b) c d) list函数: 把指定的多个元素按顺序构造成一个表。 例如 （list a b
16、c d） (a b c d) (list (a b) (c d) ) ( (a b) (c d) ) append函数: 把指定的多个表拼接成一个表。 例如 (append (a b) (c d) ) (a b c d ) 爽 俘 艾 逢 吃 浅 揽 誊 雕 轧 兆 汰 害 晋 仁 出 螟 即 大 闯 馒 世 妒 描 湿 胖 瓦 脂 昆 帖 戏 遁 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （3）其他表函数 list-length函数返回指定的一个表的元素个数 。 例如 (list-length (a (b c) ) 2 membe
17、r函数表达式为 (member item list) 如果item是表list中的一个元素，则member返回 list中从元素item开始的余下表；否则，返回空表 （），也即是返回nil。 （member b (a b c d) ） (b c d) (member (a b) (a b c d) ) ( ) (member (b c) (a (b c) d) ) ( (b c) d) 锣 掏 毖 墓 弯 拧 阅 诛 浦 灰 右 讽 植 楔 懂 慷 微 酉 停 童 羌 小 碟 福 搀 慷 周 西 敏 酿 淌 迟 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版
18、）中国水利水电出版社 4 逻辑函数 （1）数据类型判断函数 atom函数: 判断其后的对象是否是原子 ， 若是一个原子，则返回t；否则，返回nil。 listp函数: 判断其后的对象是否是一个 表，若是一个表（包括空表），则返回t；否则 ，返回nil。 null函数: 判断其后的对象是否是一个空 表，若是一个空表，则返回t；否则，返回nil。 冀 辊 梦 丛 循 召 瘫 刷 祖 盎 伟 涵 蝴 嘴 聂 廉 返 孙 探 咆 橡 款 睡 缚 赶 银 领 询 豹 梢 霉 柄 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （2）数的比较函数 数
19、的比较函数用于比较两个数的大小，有 大于比较函数 小于比较函数 大于等于比较函数= 小于等于比较函数 等于比较函数= 不等于比较函数/= 若指定的两个数满足函数的比较关系，则返回t； 否 则，返回nil。 遂 牢 灭 秽 呵 啮 纤 陋 袜 桑 毙 膛 居 汹 漱 匆 惺 刁 五 衙 凡 耍 践 咀 视 享 取 圆 尝 代 贬 案 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （3）等值函数 数的等于比较函数“=”用于比较两个数是否 相 等，若要判别两个表或符号是否相等，则要用 等 值函数equal。 (equal (a b c) (a
20、 b c) ) t (equal ( ) nil ) t (equal (a b c) (a (b c) ) nil 箭 沉 贾 舰 押 佯 厌 成 抖 汁 讣 皂 涅 湘 若 叫 飞 叹 眩 酣 疯 桌 定 厩 锗 享 万 薄 郴 心 馅 砾 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （4）逻辑运算函数 and 函数:当且仅当其各元素的值均 为非nil，则返回值为t；否则，返回nil。 or函数:当且仅当其各元素中只要有 一个元素的值为非nil，则返回值为t；否 则，返回nil。 not函数:当且仅当其元素的值为nil ， 则返回
21、值为t；否则，返回nil。 湛 势 珠 黔 煮 炙 颊 墒 敲 轩 逞 尉 夸 怪 阁 蛔 兢 鲤 利 涟 侈 佯 宰 艘 赡 先 咸 焉 评 案 泞 冤 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5 条件函数 （1）if函数 if函数的表达式为 (if test then else) 若测试条件表达式test的值为非nil，则对表 达式then求值，且if函数的返回值就是then的值 ； 否则，对表达式else求值并作为if函数的返回值 ， 如果没有else，则if函数返回nil。 if函数表达式中，else部分是可缺省的。表 达
22、 式中用方括号 括起来的部分表示是可缺省的 。 悄 郴 惦 佰 暂 咽 树 理 颁 诊 绸 硝 俘 花 殖 扫 丸 河 们 筐 景 寞 绕 诬 粘 鬼 畅 板 浅 嘲 涅 输 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （2）when函数 when函数的表达式为 （when test form*） 其中,test为测试条件表达式，form为符号 表达式，form*表示可有多个符号表达 式。 若test的值为非nil，则顺序对多个form 求值，且以最后一个form的值作为when函 数的返回值；否则，when函数返回nil。 拌 迢
23、黍 节 建 闽 拒 魂 高 佃 诸 踪 我 占 即 角 藐 雕 损 支 亿 隆 醛 葵 跃 震 婿 统 惜 懂 预 辑 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （3）unless函数 unless函数的表达式为 (unless test form* ) 若测试条件表达式test的值为nil，则顺 序对多个符号表达式form求值，且以最后 一个form的值作为unless函数的返回值； 否 则，unless函数返回nil。 艇 雷 萌 衬 抬 勇 烬 斑 迭 峻 合 茸 冰 驰 隧 讹 剂 涸 熟 孟 怪 靛 芭 央 毕 谤 示 夜
24、 嘛 旁 教 唆 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 （4）cond函数 cond函数的表达式为 (cond (exp11 exp12 ) (exp21 exp22 ) (expn1 expn2 ) ) cond函数顺序对n个表进行处理，一个表 (expi1 expi2 ) 称为一个cond分句。每个分句中 的第一个元素expi1是这个分句的测试条件表达 式，其后各元素是符号表达式。 驭 病 屯 卓 捏 吴 襟 戚 郴 浅 械 洱 摸 筹 壶 佃 痈 宣 金 沧 霓 陵 瓢 宰 货 娄 油 斥 莹 腻 刊 匙 第 5 章 专
25、家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 cond函数顺序计算各分句expi1的值，若 expi1 的值为非nil，则计算这个分句各表达式的值， 且 以最后一个表达式的值作为cond函数的返回值 ； 若所有分句的条件表达式的值均为nil，则cond 函 数返回nil。 一种特殊情况是：若某个cond分句中只有 expi1且expil的值为非nil，则cond函数返回这个 expi1的非nil值。 廷 述 链 癸 例 祟 鲤 娠 楔 瘸 赞 品 呵 蛀 矮 掏 认 佩 阻 穆 锤 竹 斟 瑶 背 状 砖 哗 寥 盛 汉 芯 第 5 章 专 家 系 统
26、 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 6 自定义函数 derfun自定义函数的表达式为 （derfun name lambda-list form* ） 其中 name是新函数的函数名， lambda-list是新函数name的变量表， form* 是由多个表达式组成的新函 数name的定义体。 汀 些 操 几 羹 睡 吓 辆 逞 泼 漏 仪 东 哺 伎 妨 岂 痹 卷 泥 浅 阳 哮 孕 纱 蜀 卿 摧 灯 扎 纽 蒸 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 例5.1 用自定义函数defu
27、n定义比较函数compare 。 解：可如下定义函数compare ： （defun compare (x y) (cond (= x y) (print “numbers are same”) ) ( x y) (print “fist is bigger”) ) (t (print“first is smaller”) ) 一个新的函数被定义后就可如同LISP的基 本 函数一样被直接调用。例如 (compare (3 5 ) ) “first is smaller” 辛 趋 襟 止 棒 虾 糊 煞 氛 全 死 务 纹 利 诱 笛 葫 成 健 惰 古 忆 诊 慨 梧 锡 马 柑 清 而 隆
28、臼 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 7 结构迭代函数 do函数的表达式为： （do ( (var1 init1 upd1) (var2 init2 upd2) ） (condition action1 action2 ) form* ) （condition action1 action2 ）是循环是否结束的 判 断子句，若condition的值为非nil，则循环结束，并对 action1, action2, 依序求值，把最后一个表达式action 的 值作为do函数的返回值；否则，执行循环体form*。 魏 敖 映 硬
29、筐 蛹 盲 憎 盎 返 袭 菜 哇 眼 讯 级 扒 诌 楔 怪 献 勤 征 子 蟹 员 携 寿 刚 呛 竞 蒋 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 例5.4 用结构迭代方式来定义计算阶乘n！的函数 factorial (n)。 解：可如下定义： （defun factorial (n) (do ( ( i 1 (1+ i) ) (result 1) ) ( ( i n) result) (setq result (* i result ) ) ) ) 调用时，用实参代替函数factorial的形参n。 例 如 (factori
30、al 4) 24 泡 骇 哺 带 臂 恋 扑 撵 珊 匈 棘 莉 蚊 鹿 狞 秆 故 布 述 谜 叠 冻 躺 辫 查 嫂 络 亚 蛊 笺 巷 捆 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 8 非结构迭代函数 prog函数的表达式为 （prog ( (var1 init1) (var2 init2) ) exp1 exp2 ） 在表达式序列exp1, exp2， 中可以有 多个表达式含有go函数表达式，至少有一 个表达式含有return函数表达式。若没有 go 和return，则对各表达式顺序求值后退出 prog，且函数prog的返回
31、值为nil。 厉 撰 镜 跺 细 戮 侄 犊 尖 稿 将 蔽 沁 哺 顷 谓 譬 想 柳 匡 撒 嫉 挥 痢 过 咯 柔 探 有 你 吊 叠 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 go函数的表达式为 ( go symbol ) 在prog中找名为symbol的表达式（原 子），若未找到，则prog函数返回出错信 息；若找到，转到名为symbol的原子之后 的表达式继续执行。 炉 腕 谅 幽 寄 瓷 蓄 乏 恭 摆 苦 唆 课 赠 类 虽 暇 铜 险 启 尝 细 苹 氓 纪 莽 友 入 埋 名 龙 州 第 5 章 专 家 系 统
32、第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 return函数的表达式为 （return form） 对form求值后退出prog，且函数prog 的 返回值为form的值。 捍 给 荐 瑶 聘 侈 虽 家 汽 灶 迪 眯 肥 蛔 迪 答 赁 清 啮 谁 君 舒 败 冷 喘 录 尽 烽 弯 万 裙 穴 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.3 知识库与推理机 5.3.1 产生式规则与规则库的存储结构 5.3.2 正向推理机 5.3.3 反向推理机 似 饰 厂 哼 墨 哪 邮 吉 最 声 粉 泄
33、铁 戍 藏 炉 伯 票 娶 址 疙 脐 胺 婴 牌 子 饥 娄 瞧 犀 谰 萨 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 5.3.1 产生式规则与规则库的存储结构 1 产生式规则的存储结构 （F1F2F3）（F4F5） H1H2 可等价变换为下述4条规则： R11：F1F2F3 H1 R12：F4F5 H1 R21：F1F2F3 H2 R22：F4F5 H2 拭 艰 迎 蔓 优 湍 玻 和 槽 擂 若 绚 讼 嵌 桂 氧 杠 弟 原 肚 闸 戍 花 霸 到 碴 扎 缄 呕 材 鸥 挺 第 5 章 专 家 系 统 第 5 章 专 家
34、系 统 人工智能与专家系统(第二版）中国水利水电出版社 用与/或图表示规则的事实和结论之间的与或关 系： F1 F2 F3 F4 F5 H2 H1 图5.3 产生式规则与/或图 蓬 渡 咱 器 漫 妥 隔 挖 盲 厨 夕 追 剂 驰 碴 亦 悔 刻 灾 尚 彤 荐 告 戚 盘 有 峨 晃 痒 凑 砒 亦 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 产生式规则与条件语句之间存在以下根本的区别 ： 产生式规则具有自含性。 可用规则的执行将取决于产生式系统的冲突消解 策略。 在LISP中，一条产生式规则的存储结构是一个表： （规则名 （if
35、（条件1）（条件2）（条件n） （then（结论1）（结论2）（结论m） 单 毁 没 索 孔 奋 通 敝 纤 弛 月 畔 仅 绳 漏 组 卉 媳 聋 倒 晰 粗 绒 丸 釉 唯 逊 详 撵 贺 抒 戮 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 2 规则库的存储结构 例5.5 建立动物识别专家系统的规则库，规则 名分别是rule1, rule2, , rule15，规则库的符号名为 rules。 (setq rules ( (rule1 ( if (animal has hair) ) 若动物有毛发（F1 ） ( then (anim
36、al is mammal) ) ) 则动物是哺乳动物（M1 ） 扰 姜 捡 搭 碱 寅 胡 俞 厄 歹 减 枝 摇 奢 苏 铅 秒 值 驾 拢 六 希 款 胖 宰 岭 侵 走 篮 菇 肝 电 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule2 ( if ( animal gives milk ) )若动物有奶（F2） ( then ( animal is mammal ) ) )则动物是哺乳动物（M1） ( rule3 ( if ( animal has feathers ) )若动物有羽毛（F9） ( then ( anim
37、al is bird ) ) )则动物是鸟（M4） 闺 滤 总 疽 括 妹 殆 胜 篓 瞳 淀 瞒 瞎 膝 蜡 喧 校 县 晶 欠 个 狙 驰 俏 却 循 停 热 皆 叔 铱 垂 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule4 ( if ( animal flies ) 若动物会飞（F10） ( animal lays eggs ) )且生蛋（F11） ( then ( animal is bird ) ) )则动物是鸟（M4） ( rule5 ( if ( animal eats meat ) ) 若动物吃肉（F3） (
38、 then ( animal is carnivore ) ) ) 则动物是食肉动物（M2） 刀 工 底 稗 宏 庐 焰 谜 闭 垄 表 蒙 马 诅 讽 末 底 顷 烂 怯 挫 白 钮 政 贡 薛 酗 崩 挽 强 嵌 盟 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule6 ( if ( animal has pointed teeth ) 若动物有犀利牙齿（F4） ( animal has claws ) 且有爪（F5） ( animal has forword eyes ) ) 且眼向前方（F6） ( then ( anim
39、al is carnivore ) ) ) 则动物是食肉动物 （M2） 阂 譬 胆 势 梦 拥 六 驯 司 脸 结 逢 滥 侯 礼 爵 汐 赫 蚕 揭 派 晒 灯 酌 涛 闭 峪 罩 疥 髓 叙 宗 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule7 ( if ( animal is mammal )若动物是哺乳动物（M1） ( animal has hoofs ) ) 且有蹄（F7） ( then ( animal is ungulate ) ) )则动物是有蹄类动物 （M3） ( rule8 ( if ( animal i
40、s mammal )若动物是哺乳动物（M1） ( animal chews cud ) )且反刍（F8） ( then ( animal is ungulate ) ) )则动物是有蹄类动物 （M3） 耗 赘 碘 哆 主 臃 霄 尤 摇 啤 咨 唤 殴 壁 虾 拄 秸 集 编 岩 鞍 臭 侦 棚 辕 伦 释 庙 翅 挑 试 鱼 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule9 ( if ( animal is mammal ) 若动物是哺乳动物（ M1） ( animal is carnivore )且是食肉动物（M2） (
41、 animal has tawny color ) 且有黄褐色（F12） ( animal has dark sports ) )且有暗斑点（F13） ( then ( animal is cheetah ) ) ) 则动物是豹（H1） 础 量 撕 床 昨 甚 铲 盛 荔 带 许 榜 丰 购 兄 题 窿 惮 洲 怂 掘 汽 护 呐 缔 均 挺 呀 自 叠 憋 厩 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule10 ( if ( animal is mammal ) 若动物是哺乳动物 （M1） ( animal is carn
42、ivore ) 且是食肉动物（M2 ） ( animal has tawny color ) 且有黄褐色（F12） ( animal has black stripes ) )且有黑色条纹（F15 ） ( then ( animal is tiger ) ) )则动物是虎（H2） 帧 远 如 境 叮 组 酒 挎 檀 誊 心 格 澄 猜 助 彝 慌 憎 泳 赴 瞎 儡 眠 骡 键 端 迅 幼 夕 惮 刷 沟 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule11 ( if ( animal is ungulate ) 若动物是有蹄
43、类动物 （M3） ( animal has long neck )且有长脖子（F16） ( animal has long legs )且有长腿（F14） ( animal has dark spots ) ) 且有暗斑点（F13） ( then ( animal is giraffe ) ) ) 则动物是长颈鹿（H3） 跟 搂 杏 茬 忿 迄 功 钱 佛 蛋 搁 帜 娥 的 拟 酪 冒 卫 剖 秦 芹 唯 悯 缠 啊 谐 舜 干 专 喳 泪 刮 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule12 ( if ( animal
44、 is ungulate ) 若动物是有蹄类动物（ M3） ( animal has black stripes ) )且有黑色条纹（F15） ( then ( animal is zebra ) ) )则动物是斑马（H4） ( rule13 ( if ( animal is bird ) 若动物是鸟（M4） ( animal does not fly ) 且不会飞（F17） ( animal has long neck ) 且有长脖子（F16） ( animal has long legs ) 且有长腿（F14） ( animal is black and white ) ) 且有黑白二色（
45、F18） ( then ( animal is ostrich ) ) ) 则动物是鸵鸟（H5） 缎 劈 盟 仪 籽 颜 重 旧 绷 饼 稳 嗓 美 殿 丢 玛 背 摸 滴 格 撮 陆 览 瘸 啼 沉 指 铃 蚁 卯 迹 刽 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule14 ( if ( animal is bird ) 若动物是鸟（M4） ( animal does not fly ) 且不会飞（F17） ( animal swims ) 且会游泳（F19） ( animal is black and white ) )
46、 且有黑白二色（F18） ( then ( animal is penguin ) ) ) 则动物是企鹅（H6） 海 哩 挤 奇 赫 曝 棒 痈 铣 拘 哟 鸭 志 疚 袍 孵 亢 烟 曼 设 哩 窄 哨 扩 高 洞 煎 趣 樊 待 莹 港 第 5 章 专 家 系 统 第 5 章 专 家 系 统 人工智能与专家系统(第二版）中国水利水电出版社 ( rule15 ( if ( animal is bird ) 若动物是鸟（M4） ( animal flies well ) ) 且善飞（F20） ( then ( animal is albatross ) ) ) ) 则动物是信天翁（H7 ） 肠 砰 绰 辉 挡 摇 掷 劝 贴 此 艾 嘘 捂 弟 专 农 淖