人工智能导论-第二章 002-2014研讨.pptxVIP

第二章 知识表示方法 2.1 知识和知识表示 2.2 状态空间表示 2.3 问题归约表示 2.4 谓词逻辑表示 2.5 语义网络表示 2.6 产生式表示 2.7 框架表示 2.8 面向对象表示 2017-4-7 人工智能导论 - 刘珊 1 产生式 产生式通常用于表示事实、规则以及它们的不确定性度量，适合于表示事实性知识和规则性知识。 事实 断言一个语言变量的值或断言多个语言变量之间关系的陈述句。 规则 领域知识 2017-4-7 人工智能导论 - 刘珊 2 2.6 产生式表示 四元组表示：（对象，属性，值，置信度） 或者： （关系，对象1，对象2，置信度） 例：老李年龄很可能是40岁: (Li，age，40，0.8) 老李和老王不大可能是朋友: (friend，Li，Wang，0.1) 产生式表示 2017-4-7 人工智能导论 - 刘珊 3 1. 确定性事实性知识的产生式表示 2. 不确定性事实性知识的产生式表示 三元组表示：（对象，属性，值） 或者：（关系，对象1，对象2） 例： 老李年龄是40岁： （Li，age，40） 老李和老王是朋友：（friend，Li，Wang） 2.6 产生式表示 产生式表示 2017-4-7 人工智能导论 - 刘珊 4 3. 确定性规则知识的产生式表示 4. 不确定性规则知识的产生式表示 基本形式： IF P THEN Q 或者：P?Q 例如： r4：IF 动物会飞 AND 会下蛋 THEN 该动物是鸟 基本形式： IF P THEN Q （置信度） 或者： P?Q （置信度） 例如： IF 发烧 THEN 感冒 （0.6） 2.6 产生式表示 产生式与蕴含式 区别1 除逻辑蕴含外，产生式还包括各种操作、规则、变换、算子、函数等。 区别2 蕴含式只能表示精确知识，而产生式不仅可以表示精确的知识，还可以表示不精确知识。 蕴含式的匹配总要求是精确的。产生式匹配可以是精确的，也可以是不精确的，只要按某种算法求出的相似度落在预先指定的范围内就认为是可匹配的。 2017-4-7 人工智能导论 - 刘珊 5 2.6 产生式表示 产生式的形式描述及语义——巴科斯范式BNF 2017-4-7 人工智能导论 - 刘珊 6 产生式::= 前提 ?结论 前 提 :: = 简单条件|复合条件 结 论 :: = 事实|操作 复合条件 :: = 简单条件AND简单条件[AND简单 条件…)]|简单条件OR简单条件[OR 简单条件…)] 操 作 :: = 操作名[(变元, …)] 符号“::=”表示“定义为”； 符号“|”表示“或者是”； 符号“[ ]”表示“可缺省”。 2.6 产生式表示 产生式系统的基本结构 2017-4-7 人工智能导论 - 刘珊 7 2.6 产生式表示 8 产生式系统的组成 综合数据库 它含有与具体任务有关的信息随着应用情况的不同，这些数据库可能简单，或许复杂。 规则库 用于对数据库进行操作运算。每条规则由左部鉴别规则的适用性或先决条件以及右部描述规则应用时所完成的动作。 控制、推理机 确定应该采用哪一条适用规则，当数据库的终止条件满足时，停止计算。 2017-4-7 人工智能导论 - 刘珊 2.6 产生式表示 控制和推理机的工作 从规则库中选择与综合数据库中的已知事实进行匹配。 匹配成功的规则可能不止一条，进行冲突消解。 执行某一规则时，如果其右部是一个或多个结论，则把这些结论加入到综合数据库中：如果其右部是一个或多个操作，则执行这些操作。 对于不确定性知识，在执行每一条规则时还要按一定的算法计算结论的不确定性。 检查综合数据库中是否包含了最终结论，决定是否停止系统的运行。 2017-4-7 人工智能导论 - 刘珊 9 2.6 产生式表示 简单的动物识别 例：设有以下两条规则 r3：IF 动物有羽毛 THEN 动物是鸟 r15：IF 动物是鸟 AND 动物善飞 THEN 动物是信天翁 其中，r3和r15是上述两条规则在动物识别系统中的规则编号。 假设已知有以下事实：动物有羽毛，动物善飞，求满足以上事实的动物是何种动物？ 2017-4-7 人工智能导论 - 刘珊 10 2.6 产生式表示 动物识别系统 例：识别虎、金钱豹、斑马、长颈鹿、鸵鸟、企鹅、信天翁的产生式系统 201