西电人工智能4知识表示方法part2.pptVIP

谓词逻辑法 谓词公式 例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