1、用归结反演求取问题的答案归结演绎推理 1 子句集及其化简 2 鲁滨逊归结原理 3 归结反演推理的归结策略 4 用归结反演求取问题的答案用归结反演求取问题的答案（ 1/4） 1) 把问题的 已知条件 用谓词公式表示出来，并化为相应的子句集；用归结反演求取问题的答案（ 1/4） 1) 把问题的已知条件用谓词公式表示出来，并化为相应的子句集； 2) 把问题的 目标的否定 用谓词公式表示出来，并化为子句集；用归结反演求取问题的答案（ 1/4） 1) 把问题的已知条件用谓词公式表示出来，并化为相应的子句集； 2) 把问题的目标的否定用谓词公式表示出来，并化为子句集； 3) 对目标否定子句集中的每个子句，
2、 构造该子句的重言式 ，用这些重言式代替相应的目标否定子句式，并把这些重言式加入到前提子句集中，得到一个新的子句集；用归结反演求取问题的答案（ 1/4） 1) 把问题的已知条件用谓词公式表示出来，并化为相应的子句集； 2) 把问题的目标的否定用谓词公式表示出来，并化为子句集； 3) 对目标否定子句集中的每个子句，构造该子句的重言式，用这些重言式代替相应的目标否定子句式，并把这些重言式加入到前提子句集中，得到一个新的子句集； 4) 对这个新的子句集， 应用归结原理求出其证明树 ，这时证明树的根子句不为空，称这个证明树为修改的证明树；用归结反演求取问题的答案（ 1/4） 1) 把问题的已知条件用谓
3、词公式表示出来，并化为相应的子句集； 2) 把问题的目标的否定用谓词公式表示出来，并化为子句集； 3) 对目标否定子句集中的每个子句，构造该子句的重言式，用这些重言式代替相应的目标否定子句式，并把这些重言式加入到前提子句集中，得到一个新的子句集； 4) 对这个新的子句集，应用归结原理求出其证明树，这时证明树的根子句不为空，称这个证明树为修改的证明树； 5) 用修改的 证明树的根子句 作为回答语句，则答案就在此根子句中。用归结反演求取问题的答案（ 2/4） 例 24 已知：“张和李是同班同学，如果 x和 y是同班同学，则 x的教室也是 y的教室，现在张在 302教室上课。” 问：“ 现在李在哪个
4、教室上课？ ”用归结反演求取问题的答案（ 2/4） 例 24 已知：“张和李是同班同学，如果 x和 y是同班同学，则 x的教室也是 y的教室，现在张在 302教室上课。” 问：“现在李在哪个教室上课？”解：首先定义谓词：C(x, y) x和 y是同班同学；At(x, u) x在 u教室上课。用归结反演求取问题的答案（ 2/4） 例 24 已知：“张和李是同班同学，如果 x和 y是同班同学，则 x的教室也是 y的教室，现在张在 302教室上课。” 问：“现在李在哪个教室上课？”解：首先定义谓词：C(x, y) x和 y是同班同学；At(x, u) x在 u教室上课。把已知前提用谓词公式表示：C(
5、zhang, li)(x) (y) (u) (C(x, y)At(x, u)At( y,u)At(zhang, 302)用归结反演求取问题的答案（ 2/4） 例 24 已知：“张和李是同班同学，如果 x和 y是同班同学，则 x的教室也是 y的教室，现在张在 302教室上课。” 问：“现在李在哪个教室上课？”把已知前提用谓词公式表示如下：C(zhang, li)(x) (y) (u) (C(x, y)At(x, u)At( y,u)At(zhang, 302) 把目标的否定用谓词公式表示如下： (v)At(li, v) 用归结反演求取问题的答案（ 3/4） C(zhang, li) C(x, y
6、) At(x, u)At(y, u) At(zhang, 302)用归结反演求取问题的答案（ 3/4） C(zhang, li) C(x, y) At(x, u)At(y, u) At(zhang, 302) 目标的否定：用重言式 At(li,v) At(li,v) 用归结反演求取问题的答案（ 3/4） C(zhang, li) C(x, y) At(x, u)At(y, u) At(zhang, 302) 目标的否定：用重言式 At(li,v) At(li,v) At(li,v)At(li,v) C(x, y) At(x, u)At(y, u)At(li,v) C(x, li) At(x,
7、v)li/y,v/u用归结反演求取问题的答案（ 3/4） C(zhang, li) C(x, y) At(x, u)At(y, u) At(zhang, 302) 目标的否定：用重言式 At(li,v) At(li,v) At(li,v)At(li,v) C(x, y) At(x, u)At(y, u)At(li,v) C(x, li) At(x, v) C(zhang, li) At(zhang,v)At(li, v)li/y,v/uZhang/x用归结反演求取问题的答案（ 3/4） C(zhang, li) C(x, y) At(x, u)At(y, u) At(zhang, 302) 目标的否定：用重言式 At(li,v) At(li,v) At(li,v)At(li,v) C(x, y) At(x, u)At(y, u)At(li,v) C(x, li) At(x, v) C(zhang, li) At(zhang,v)At(li, v) At(zhang, 302)At(li, 302)li/y,v/uZhang/x302/v人工智能基础
