利用归结原理求解问题

求解问题的步骤

(1) 已知前提 F 用谓词公式表示并化为子句集 S (2) 把待求解的问题 Q 用谓词公式表示，并否定 Q, 在与 ANSWER 构成析取式 (\neg Q \vee ANSWER); (3) 把 (\neg Q \vee ANSWER) 化为子句，并入到子句集 S 中，得到子句集 S'; (4) 对子句集 S' 应用归结原理进行归结； (5) 若得到归结式 ANSWER, 则答案就在 ANSWER 中。

例子

(1) 已知： F_1: 王先生（Wang）是小李（Li）的老师 F_2: 小李与小张（Zhang）是同班同学 F_3: 如果 x 与 y 是同班同学，则 x 的老师也是 y 的老师。 求：小张的老师是谁？

析取：

把上述公式化为子句集啊啊啊：

C_1:T(Wang,Li) C_2:C(Li,Zhang) C_3:\neg C(x,y)\vee \neg T(z,x)\vee T(z,y) C_4:\neg T(u,Zhang)\vee ANSWER(u)

应用归结原理进行归结：

C_13 :\neg C(Li,y) \vee T(Wang,y) C_134 :\neg C(Li,Zhang) \vee ANSWER(Wang) C_1234 :ANSWER(Wang)

故小张的老师是王老师。