第5章知识库系统N.ppt

1 1 基本概念 什么是知识知识的分类知识的属性什么是知识表示 2 基本概念 什么是知识这里所谈的知识是知识处理的特殊对象 与日常生活的知识有较大的区别 知识是以各种不同方式把多个信息关联在一起的信息结构 或者表达为 知识是多个信息之间的关联 如果把 不与任何其他信息关联 即单独的一个信息也被认为是一种特殊的关联方式 不关联 则单个的信息也可以看做是知识的特例 将此称之为 原子事实 如 他是军人 穿军装 等 如果把这两种信息用 如果 则 这种因果关系联系起来就成了一条知识 规则 即 如果他是军人 则穿军装 3 基本概念 知识的分类事实 是指人类对客观事物的值或状态的描述 这种知识一般不包含任何变量 可以用一个值为真的命题陈述或一种状态的描述来表达 如今天天气很热 他今年50岁等 都表示一个事实 它描述了客观事物在某种条件下各种属性或状态的真实值 规则 指可以分为前提 条件 和结论两部分 用来表达因果关系的知识 它的一般形式为 如果A则B A表示前提 B表示结论或应采取的动作 规律 上述的规则知识一般还可以分为不带变量和带变量的规则两种 把带变量的规则称为规律 规律中的变量一旦被实例化为一个具体的值 则规律就变成了一条具体的不带变量的规则 因此由规律可以引出许多具体的规则 4 基本概念 知识的属性真实性相对性不完全性模糊性可表示性表示方式 各种符号的逻辑组合 用图形表示 物理表示方式引申另外三种属性 可存储性 可传递性和可处理性 5 基本概念 什么是知识表示所谓知识表示实际上就是对知识的一种描述 即用一些约定的符号把知识编码成一组计算机可以接受的数据结构 6 2 知识表示方法 产生式规则语义网络 7 知识表示方法 知识表示方法有 一阶谓词逻辑 产生式规则 语义网络 框架理论 面向对象等多种表示方法 8 2 1产生式规则 产生式规则的出现产生式 Production 一词 首先是由美国数学家波斯特 E Post 提出来的 波斯特根据替换规则提出了一种称为波斯特机的计算模型 模型中的每一条规则当时被称为一个产生式 后来 这一术语几经修改扩充 被用到许多领域 例如 形式语言中的文法规则就称为产生式 产生式也称为产生式规则 或简称规则 9 产生式的一般形式前件 后件 P Q 其中 前件就是前提 后件是结论或动作 前件和后件可以是由逻辑运算符AND OR NOT组成的表达式 产生式规则的语义是 如果前提满足 则可得结论或者执行相应的动作 即后件由前件来触发 所以 前件是规则的执行条件 后件是规则体 产生式规则 10 例如 下面就是几个产生式规则 1 如果银行存款利率下调 那么股票价格上涨 2 如果炉温超过上限 则立即关闭风门 3 如果键盘突然失灵 且屏幕上出现怪字符 则是病毒发作 4 如果胶卷感光度为200 光线条件为晴天 目标距离不超过5米 则快门速度取250 光圈大小取f16 一条产生式规则就是一条知识 用产生式可以实现推理和操作 产生式规则是知识表示形式 产生式规则 11 产生式规则 产生式规则的与或树表示一组产生式规则可形象地用一棵 与或树 表示如图 这里用带弧线的表示 与 关系 不带弧线的表示 或 关系 12 产生式规则 产生式规则组 B1 B2 A B3 B4 B5 A C1 C2 B1 C3 B2 C4 C5 C6 B3 C7 B4 C8 B4 C9 C10 B5D1 D2 C5 D3 C5 D4 D5 D6 C8 13 产生式规则 产生式规则的左右端都可以为空 后件 表示后件是一个无条件成立的结论 即一个事实 或是一个无条件执行的动作 前件 表示一个问题 什么情况下会使前件成立 为真 14 产生式系统的组成产生式系统由三部分组成 产生式规则库 推理机和动态数据库 其结构如图所示 产生式规则 15 产生式系统结构 产生式规则库 推理机 动态数据库 产生式规则库亦称产生式规则集 由领域规则组成 在机器中以某种动态数据结构进行组织 推理机亦称控制执行机构 它是一个程序模块 负责产生式规则的前提条件测试或匹配 规则的调度与选取 规则体的解释和执行 即推理机实施推理 并对推理进行控制 它也就是规则的解释程序 动态数据库是动态数据结构 用来存放初始事实数据 中间结果和最后结果等 16 产生式系统的运行过程产生式系统运行时 除了需要规则库以外 还需要有初始事实 或数据 和目标条件 目标条件是系统正常结束的条件 也是系统的求解目标 产生式系统启动后 推理机就开始推理 按所给的目标进行问题求解 推理机的一次推理过程 可如图所示 产生式规则 17 产生式规则 18 产生式系统的运行过程一个实际的产生式系统 其目标条件一般不会只经一步推理就可满足 往往要经过多步推理才能满足或者证明问题无解 产生式系统的运行过程就是从初始事实出发 寻求到达目标条件的通路的过程 所以 产生式系统的运行过程也是一个搜索的过程 但一般把产生式系统的整个运行过程也称为推理 产生式规则 19 控制策略与常用算法产生式系统的推理可分为正向推理和反向推理两种基本方式 正向推理就是从初始事实数据出发 正向使用规则进行推理 即用规则前提与动态数据库中的事实匹配 或用动态数据库中的数据测试规则的前提条件 然后产生结论或动作 朝目标方向前进 下面我们给出产生式系统正向推理和反向推理的常用算法 产生式规则 20 正向推理算法 步1 把用户提供的初始证据放入综合数据库 动态数据库 步2 检查综合数据库中是否包含了问题的解 若已包含 则求解结束 并成功退出 否则执行下一步 步3 检查知识库中是否有可用知识 若有 形成当前可用知识集 执行下步 否则转步5 步4 按照某种冲突消解策略 从当前可用知识集中选出一条知识进行推理 并将推出的新事实加入综合数据库中 然后转步5 步5 询问用户是否可以进一步补充新的事实 若可补充 则将补充的新事实加入综合数据库中 然后转步3 否则表示无解 失败退出 规则的选择策略成为冲突消解策略 产生式系统的推理方式 搜索策略及冲突消解策略等 一般统称为推理控制策略 简称控制策略 控制策略体现在推理机的算法描述中 产生式规则 21 正向推理的动态数据库 控制策略与常用算法可以看出 随着推理的进行 动态数据库的内容或者状态在不断变化 如果把动态数据库的每一个状态作为一个节点的话 则上述推理过程就是一个从初始状态 初始事实或数据 到目标状态 目标条件 的状态图搜索过程 产生式规则 22 控制策略与常用算法例 动物分类问题的产生式系统描述及其求解 设由下列动物识别规则组成一个规则库 推理机采用上述正向推理算法 建立一个产生式系统 该产生式系统就是一个小型动物分类知识库系统 规则如下 产生式规则 23 r1 若某动物通过哺乳养育后带 则它是哺乳动物 r2 若某动物有毛发 则它是哺乳动物 r3 若某动物有羽毛 则它是鸟 r4 若某动物会飞且生蛋 则它是鸟 r5 若某动物是哺乳动物且有爪且有犬齿且目盯前方 则它是食肉动物 r6 若某动物是哺乳动物且吃肉 则它是食肉动物 r7 若某动物是哺乳动物且有蹄 则它是有蹄动物 r8 若某动物是有蹄动物且反刍食物 则它是偶蹄动物 产生式规则 24 r9 若某动物是食肉动物且黄褐色且有黑色条纹 则它是老虎 r10 若某动物是食肉动物且黄褐色且有黑色斑点 则它是金钱豹 r11 若某动物是有蹄动物且长腿且长脖子且黄褐色且有暗斑点 则它是长颈鹿 r12 若某动物是有蹄动物且白色且有黑色条纹 则它是斑马 r13 若某动物是鸟且不会飞且长腿且长脖子且黑白色 则它是驼鸟 r14 若某动物是鸟且不会飞且会游泳且黑白色 则它是企鹅 r15 若某动物是鸟且善飞且不怕风浪 则它是海燕 产生式规则 25 再给出初始事实 f1 某动物有毛发 f2 吃肉 f3 黄褐色 f4 有黑色条纹 目标条件为 该动物是什么 易见 该系统的运行结果为 该动物是老虎 其推理树如图所示 产生式规则 26 动物分类正向推理树 老虎 食肉动物 哺乳动物 有毛发 吃肉 黄褐色 有黑色条纹 27 控制策略与常用算法反向推理算法反向推理就是从目标出发 反向使用规则进行推理 即用规则结论与目标匹配 又产生新的目标 然后对新目标再作同样的处理 朝初始事实或数据方向前进 产生式规则 28 产生式规则 控制策略与常用算法反向推理算法 步1 将要求证的目标 称为假设 构成一个假设集 步2 从假设集中选出一个假设 检查该假设是否在动态数据库中 如在 则该假设成立 此时 若假设集为空 则成功退出 否则仍执行步 若该假设不在数据库中 则执行下一步 步3 检查该假设是否可由规则库的某个知识导出 若不能由某个知识导出 则询问用户该假设是否为可由用户证实的原始事实 若是 该假设成立 并将其放入动态数据库 再重新寻找新的假设 若不是 则转入步5 若能由某个知识导出 则执行下一步 29 产生式规则 控制策略与常用算法反向推理算法 步4 将规则库中可以导出该假设的所有知识构成一个可用知识集 步5 检查可用知识集是否为空 若空 失败退出 否则执行下一步 步6 按冲突消解策略从可用知识集中取出一个知识 继续执行下一步 在推理的某一步 如果知识库中有多条知识可用 则称发生了冲突 步7 将该知识的前提中的每个子条件都作为新的假设放入假设集 转入步2 可以看出 上述反向推理算法的推理过程也是一个图搜索过程 而且一般是一个与或树搜索如下图所示的反向推理树 30 动物分类反向推理树 31 可以看出 与正向推理不同 这次的推理树是从上而下扩展而成的 而且推理过程中还发生过回溯 反向推理也称为后向推理 反向链 目标驱动的推理等 从上面的两个算法可以看出 正向推理是自底向上的综合过程 而反向推理则是自顶向下的分析过程 除了正向推理和反向推理外 产生式系统还可进行双向推理 双向推理就是同时从初始数据和目标条件出发进行推理 如果在中间某处相遇 则推理搜索成功 产生式规则 32 产生式系统的应用由上述产生式系统与图搜索的关系可见 产生式系统完全可以作为问题求解的表示模型和求解模型 而且可作为人工智能问题求解系统的通用模型 用产生式系统也可实现基于谓词逻辑的演绎推理和证明 事实上 当一个产生式系统中的规则是逻辑蕴含式时 其运行过程就是演绎推理的过程 这时目标值已知时就是证明 当目标值未知时就是推理求值 由于产生式系统既可用于操作性问题求解 也可用于推理性问题求解 因此 产生式系统也是专家系统的基本结构形式 产生式规则 33 产生式规则的程序语言实现上面我们对产生式的讨论 只是用自然语言进行描述并仅在概念层次上进行阐述 而并未涉及它的具体结构和程序语言实现问题 现在讨论产生式规则的程序语言实现问题 首先 讨论产生式规则的结构问题 一般来讲 产生式规则的前提和结论部分可以是一个复杂的逻辑表达式 但为了使表达简单规范 且便于推理 在实践中人们往往把规则的前提部分作成形如 产生式规则 34 产生式规则的程序语言实现条件1AND条件2AND AND条件n或条件1OR条件2OR OR条件m的形式 其中的条件可以带否定词 把规则结论部分作成形如 断言1 动作1AND断言2 动作2AND AND断言k 动作k或断言1 动作1OR断言2 动作2OR OR断言k 动作k的形式 或者进一步简化成断言 动作即仅有一项的形式 2 2产生式规则 35 产生式规则的程序语言实现由于含OR关系的规则也可以分解为几个不含OR关系的规则 所以 产生式规则也可仅取下面的一种形式 条件1AND条件2AND AND条件n 断言 动作即前件是若干与关系的条件 后件仅有一个断言或动作 产生式规则 36 产生式规则 练习1 有如下规则 R1 35 55岁的人称为中年人 R2 中年人是老练的 R3 中年人是细心的R4 老练而细心并有驾驶技术的人是不会出交通事故的事实 F1 吴先生43岁 F2 吴先生有驾驶技术 目标条件为 吴先生会出交通事故吗 利用正向推理求证上述假设 37 产生式规则 38 产生式规则 练习2 规则 R1 如果你丢了自行车钥匙 并且车胎没气 那么自行车不能骑R2 如果自行车不能骑 并且你只有步行去学校 那么你上课会迟到事实 F1 你丢了自行车钥匙F2 车胎没气目标条件 你上课会迟到吗 利用反向推理求证 你上课会迟到 这一假设 39 产生式规则 习题3R1 如果总成绩 350 则可以非定向R2 如果是非定向 且单科成绩 55 则可以录取 R3 如果总成绩 320 则可以委培 R4 如果是委培 且单科成绩 50 则可以录取 如果是免试生 则可以直接录取 事实 F1 总成绩400分F2 单科成绩最低52分 目标条件 该生可以录取吗 利用正反推理求证上述假设 40 2 2语义网络 语义网络的概念语义网络是一种采用网络的形式表示人类知识的方法 它是由节点和边 也称有向弧 组成的一种有向图 其中节点表示事物 对象 概念 行为 性质 状态等 有向弧表示节点之间的某种联系或关系 如下图就是一个语义网络 其中 弧上的标记就是弧的语义 41 苹果的语义网络 42 语义网络 鸟的语义网络示意图 43 语义网络的概念语义网络的概念最先是由Quillian提出来的 他于1968年在他的博士论文中 把语义网络作为人类联想记忆的一个显式心理模型 所以 语义网络也称联想网络 语义网络 44 语义网络 几种关系型的语义网络抽象地说 语义网络可表示事物之间的关系 因此 关系 或联系 型的知识和能化为关系型的知识都可以用语义网络来表示 下面我们就给出常见的几种 45 1 实例关系实例关系表示类与其实例 个体 之间的关系 这是最常见的一种语义关系 例如 小华是一个大学生 就可表示为图所示 其中 关系 是一个 一般标识为 is a 或ISA AISAB 表示A是B的一个特例 B是比A更抽象的一个概念 所以从A到B是一个抽象化的过程 通过 ISA 关系 可以实现层层抽象化 表示实例关系的语义网络 46 2 分类 或从属 泛化 关系分类关系是指事物间的类属关系 下图就是一个描述分类关系的语义网络 在图中 下层概念节点除了可继承 细化 补充上层概念节点的属性外 还出现了变异的情况 鸟是鸵鸟的上层概念节点 其属性是 有羽毛 会飞 但鸵鸟的属性只是继承了 有羽毛 这一属性 而把鸟的 会飞 变更为 不会飞 其中 关系 是一种 一般标识为 a kind of 或AKO AAKOB表示A是一种B A与B之间有属性继承和属性更改权 47 表示分类关系的语义网络 48 3 组装关系如果下层概念是上层概念的一个方面或者一部分 则称它们的关系是组装关系 例如图所示的语义网络就是一种组装关系 其中 关系 一部分 一般标识为 a part of xA part ofX 表示x是X的一部分 部件 表示组装关系的语义网络 49 4 属性关系属性关系表示对象的属性及其属性值 例如 图表示simon是一个人 男性 40岁 职业是教师 表示属性关系的语义网络 50 表示集合 成员关系的语义网络 5 集合与成员关系意思是 是 的成员 它表示成员 或元素 与集合之间的关系 例如 张三是计算机学会会员 可表示为下图 其中 关系 是成员 一般标识为 a member of xa member ofX表示x是X的一个成员 元素 x是一个特定的个体 X是一个类或集合 他们之间也有属性继承权与属性更改权 51 6 逻辑关系如果一个