人工智能与专家系统.pptx

;第2章 知识表示方法;;2.1 一阶谓词逻辑表示方法;2.1.1 一阶谓词逻辑;;;;;;;;;;; 上述指派就是对公式R的一个解释。在此解 释下，由于当 x =1时，有 P(1)=F，Q(f (1),1)=Q(2,1)=F 所以P(1)→Q(f (1),1)的真值为T。 当 x =2时，有 P(2)=T, Q(f (2),1)=Q(1,1)=T 所以P(2)→Q(f (2),1)的真值也为T。 即对个体域D中的所有 x 都有 P(x )→Q(f (x ),B)的真值为T。 所以公式R在此解释下的真值为T。; 可见：谓词公式的真值是针对某一个解释而言的，它可能在某一个解释下的真值为T，在另一个解释下的真值为F。;; 定义2.3 : 对于谓词公式P，如果至少 存在一个解释使得公式P在此解释下的真值 为T，则称公式P是可满足的。 定义2.4 :如果谓词公式P对于个体域D 上的任何一个解释都取得真值F，则称公式 P在域D上是永假的。如果P在每个非空个体 域上均永假，则称P是永假的。 谓词公式的永假性又称为不可满足性。;; ;;;;;;2.1.2 一阶谓词逻辑表示方法;;;; 解： （1） 定义谓词 N(x ) 表示 x 是自然数 I(x ) 表示 x 是整数 E(x ) 表示 x 是偶数 O(x ) 表示 x 是奇数 GZ(x ) 表示 x 大于零;; 例2.5 已知 F1：王（Wang）先生是小李（Li）的老师。 F2：小李与小张（Zhang ）是同班同学。 F3：如果 x与y是同班同学，则 x 的老师也 是y 的老师。 求：小张的老师是谁？;解： （1） 定义谓词 T(x , y) x是y的老师。 C(x , y) x与y是同班同学。;; 例2.6 设A，B，C三人中有人从不说真话，也有人从不说假话，某人向这三人分别提出同一个问题：谁是说谎者？A答：“B和C都是说谎者”；B答：“A和C都是说谎者”；C答：“A和B中至少有一个是说谎者”。求谁是老实人，谁是说谎者？;解：（1） 定义谓词 T(x ) 表示 x 说真话。 （2）谓词公式知识表示 如果A说的是真话，则有 T(A)→ ﹁ T(B)∧ ﹁ T(C) 如果A说的是假话，则有 ﹁ T(A)→ T(B)∨T(C) 对B和C说的话作相同的处理，可得： T(B)→ ﹁T(A)∧ ﹁ T(C) ﹁ T(B) → T(A)∨T(C) ﹁ T(C ) → T(A) ∧ T(B) T(C ) → ﹁ T(A) ∨ ﹁ T(B); ;;2.2 产生式表示方法;2.2.1 产生式与产生式系统;; 例2.7 建立一个动物识别系统的规则库，用以识别虎、豹、斑马、长颈鹿、企鹅、鸵鸟、信天翁等7种动物。;解： 为了识别这些动物，可以根据动物识别的特 征，建立包含下述规则的规则库： 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