人工智能及应用ch33.pptVIP

经典逻辑推理 归结反演求取问题的答案 归结演绎推理的策略 基于规则的演绎推理 归结反演求取问题的答案 归结原理还可以用于求取问题答案，其思想与定理证明相似，求解步骤为； 把已知前提用谓词公式表示，并化为子句集S； 把待求解的问题用谓词公式表示，然后把它的否定与谓词ANWSER析取构成析取式，ANWSER的变元与问题谓词的变元完全一致； 把此析取式化为子句集，并添加到S中，构成新的子句集S1； 对S1使用归结原理，直到得到归结式ANWSER，则问题答案在谓词ANWSER中。 归结反演求取问题的答案-示例 例：已知王先生是小李的老师，小李与小张是同班同学，如果x与y是同班同学，则x的老师也是y的老师。求小张的老师是谁？ 解：定义谓词 T(x,y):x是y的老师； C(x,y):x与y是同班同学。 归结反演求取问题的答案-示例 用谓词表示已知条件 T(Wang,Li):王先生是小李的老师; C(Li,Zhang):小李与小张是同班同学; (?x) (?y) (?z)(C(x,y)ΛT(z,x)→T(z,y)):如果x与y是同班同学，则x的老师也是y的老师。 归结反演求取问题的答案-示例 化子句集 T(Wang,Li) C(Li,Zhang) ?C(x,y)V?T(z,x)VT(z,y) 表达待求解问题 　(?u)T(u,Zhang) ? (?u)T(u,Zhang)VAN