4知识表示方法part2人工智能课件西电.ppt

谓词逻辑法 谓词公式 例2：用谓词逻辑描述右图中的房子的概念 个体 ：A , B 谓词 ： SUPPORT x,y ：表示 x 被 y支撑着 WEDRE x ：表示 x 是楔形块 BRICK y ：表示 y 是长方块 其中 x , y是个体变元，它们的个体域｛A,B｝ 房子的概念可以表示成一组合式谓词公式的合取式： SUPPORT A,B ∧WEDGE A ∧BRICK B 谓词逻辑法 合式公式的性质 若P、Q是两个合式公式，则由这两个合式公式所组成的复合表达式可由下列真值表给出。 P Q ?P P∨Q P∧Q P→Q P?Q T T F T T T T T F F T F F F F T T T F T F F F T F F T T 谓词逻辑法 合式公式的性质 如果两个合式公式，无论如何解释，其真值表都是相同的，那么我们就称此两合式公式是等价的。 应用上述真值表可以确立下列等价关系： （1）否定之否定： ? ? P P （2） P ? Q ? P ? Q ，或者 ? P ? Q P ? Q ） （3）狄 ? 摩根定律： ? P ? Q ? P ? ? Q ? P ? Q ? P ? ? Q （4）分配律： P ? Q ? R P ? Q ? P ? R P ? Q ? R P ? Q ? P ? R 谓词逻辑法 （5）交换律： P ? Q Q ? P P ? Q Q ? P （6）结合律： P ? Q ? R P ? Q ? R P ? Q ? R P ? Q ? R （7）逆否率： P ? Q ? Q ? ? P （8）泛界律： P ? F P , P ? T P P ? F F , P ? T T （9）互余律： P ? ? P T, P ? ? P F 谓词逻辑法 此外还可以确立下列等价关系： ? ? x P x ?x [ ? P x ] ? ?x P x ? x [ ? P x ] ?x [ P x ? Q x ] ?x P x ? ?x Q x ?x [ P x ? Q x ] ?x P x ? ?x Q x ?x P x ?y P y ? x P x ? y P y 谓词逻辑法 置换与合一 置换 推理规则：用合式公式的集合产生新的合式公式 假元推理 全称化推理 综合推理 W2 W1 W1 ? W2 W A ?x W x 任意常量A W2 A W1 A ?x W1 x ? W2 x 寻找A对x的置换，使W1 A 与W1 x 一致 谓词逻辑法 置换与合一 置换（Substitution） 置换的定义：置换是用变元、常量、函数来替换变元，使该变元不在公式中出现。 置换是形如 t1/x1, t2/x2, …， tn/xn 的有限集合。 t1，t2，…… ， tn是项 x1，x2，…… ， xn是互不相同的变元 ti/xi表示用ti项替换变元xi，不允许ti和xi相同，也不允许变元xi循环地出现在另一个tj中 谓词逻辑法 置换与合一 置换（Substitution） 例如 a/x , f b /y ，w/z 是一个置换 g y /x , f x /y 不是一个置换 g a /x , f x /y 不是一个置换 谓词逻辑法 置换与合一 置换（Substitution） 例2.2（P40），表达式 P[x, f y , B]的置换为 s1 z/x, w/y ； s2 A/y ；s3 q z /x , A/y ； s4 c/x , A/y 用Es表示一个表达式E用置换s所得到的表达式的置换。于是，P[x, f y , B]的4个置换如下： P[x, f y , B] s1 P[z, f w , B] P[x, f y , B] s2 P[x, f A , B] P[x, f y , B] s3 P[q z , f A , B] P[x, f y , B] s4 P[c, f A , B] 谓词逻辑法 置换与合一 置换（Substitution） 置换是可结合的 用s1s2表示两个置换s1和s2的合成，L表示一个表达式，则有 （Ls1）s2