人工智能知识表示方法.pptVIP

例2.5 已知 F1：王（Wang）先生是小李（Li）的老师。 F2：小李与小张（Zhang ）是同班同学。 F3：如果 x与y是同班同学，则 x 的老师也 是y 的老师。 求：小张的老师是谁？ 解： （1） 定义谓词 T(x , y) x是y的老师。 C(x , y) x与y是同班同学。 （2）谓词公式知识表示（已知前提及待求解问题） F1：T (Wang , Li) F2：C (Li, Zhang ) F3：( x )( y)( z)(C (x , y)∧T(z, x )→ T(z , y)) G ： ( x )T(x , Zhang ) 例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)