人工智能与专家系统第二章知识表示方法.pptVIP

人工智能与专家系统;第2章 知识表示方法; 知识表示是对知识的一种描述，或者 说是一组约定，是一种计算机可以接受的 用于描述知识的数据结构。 知识外部表示模式：是与软件开发与 运行的软件工具与平台无关的知识表示的 形式化描述。 知识内部表示模式：是与开发软件工 具与平台有关的知识表示的存储结构。;2.1 一阶谓词逻辑表示方法;2.1.1 一阶谓词逻辑;;;;;;;;;例2.1 设变元x和y的个体域是D={1，2}，谓词P（ x ，y）表示x 大于等于y，给出公式A=( x)( y)P(x ,y)在D上的解释，指出每一种解释下公式A的真值。; 例2.2 设个体域D={1,2}，给出公式 R=( x )(P(x )→Q(f(x ),B))在D上的一个解释，指出公式R在此解释下的真值。; 上述指派就是对公式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 动物