补充：知识库系统.ppt

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