人工智能第二章 知识表示方法1.pptVIP

华中师范大学计算机科学系 第二章 知识表示方法 内容简介 知识 知识的定义 知识要素 知识的特性 知识分类 知识表示 2.2 一阶谓词逻辑表示法 知识的谓词逻辑表示法 谓词公式 连词 非连词﹁ 或连词∨：用∨连接两个命题称为析取。 与连词∧：用∧连接两个命题称为合取。 蕴合连词→：它表示 “如果P，则Q”，其中P称为前件，Q称为后件。 量词 全称量词（ x）：表示对个体域 X 中的所有（或任一个）个体 x 。 存在量词（ x ）：表示在个体域X中存在个体 x 。 由下述规则得到的谓词公式称为合式公式： 单个谓词和单个谓词的否定称为原子谓词公式，原子谓词公式是合式公式。 若A是合式公式，则﹁A也是合式公式。 若A、B都是合式公式，则A∨B、A∧B、 A→B也都是合式公式。 若A是合式公式，x 是任一个体变元，则 x A和 x A也都是合式公式。 在合式公式中，连词的优先级别依序为： ﹁，∧，∨，→ 谓词公式的解释 在命题逻辑中，对命题公式中各个命题的一次真值指派称为命题公式的一个解释。 一个谓词公式的解释可能有很多个。对于每一个解释，谓词公式都可求出一个真值（T或F）。 谓词逻辑表示知识举例 例：用谓词公式表示下列知识 自然数是大于零的整数。 所有整数不是偶数就是奇数。 偶数除以2是整数。 （1） 定义谓词 N x 表示 x 是自然数 I x 表示 x 是整数 E x 表示 x 是偶数 O x 表示 x 是奇数 GZ x 表示 x 大于零 S x 表示 x 除以2 词逻辑表示法特点 2.3 产生式表示法 产生式的基本形式 产生式表示知识方法 产生式表示知识方法 系统的组成 产生式系统通常由规则库、数据库和推理机这3个基本部分组成。 系统的组成 规则库：产生式的集合 是产生式系统的基础 包含的知识要完整、一直，表达灵活准确； 构建规则库时，应对知识进行合理组织管理； 数据库：包含已知事实 包含的知识是动态变化的； 已知事实常用字符串、向量、矩阵等数据结构表示； 动物识别系统 该系统可以识别老虎、金钱豹、斑马、长颈鹿、企鹅、信天翁这6种动物。其规则库包含如下15条规则： r1 IF 该动物有毛发 THEN 该动物是哺乳动物 r2 IF 该动物有奶 THEN 该动物是哺乳动物 r3 IF 该动物有羽毛 THEN 该动物是鸟 r4 IF 该动物会飞 AND 会下蛋 THEN 该动物是鸟 r5 IF 该动物吃肉 THEN 该动物是食肉动物 r6 IF 该动物有犬齿 AND 有爪 AND 眼盯前方 THEN 该动物是食肉动物 r7 IF 该动物是哺乳动物 AND 有蹄 THEN 该动物是有蹄类动物 r8 IF 该动物是哺乳动物 AND 是嚼反刍动物 THEN 该动物是有蹄类动物 r9 IF 该动物是哺乳动物 AND 是食肉动物 AND 是黄褐色 AND 身上有暗斑点 THEN 该动物是金钱豹 r10 IF 该动物是哺乳动物 AND 是食肉动物 AND 是黄褐色 AND 身上有黑色条纹 THEN 该动物是虎 r11 IF 该动物是有蹄类动物 AND 有长脖子 AND 有长腿 AND 身上有暗斑点 THEN 该动物是长颈鹿 r12 IF 动物是有蹄类动物 AND 身上有黑色条纹 THEN 该动物是斑马 r13 IF 该动物是鸟 AND 有长脖子 AND 有长腿 AND 不会飞 AND 有黑白二色 THEN 该动物是鸵鸟 r14 IF 该动物是鸟 AND 会游泳 AND 不会飞 AND 有黑白二色 THEN 该动物是企鹅 r15 IF 该动物是鸟 AND 善飞 THEN 该动物是信天翁 其中，ri i 1,2,…….,15 是规则的编号 初始综合数据库包含的事实有： 动物有暗斑点，有长脖子，有长腿，有奶，有蹄 图中最上层的结点称为“假设”或“结论” 中间结点称为“中间假设”； 终结点称为“证据”或“事实”； 每个“结论”都是本问题的一个目标，所有“假设”构成