西电人工智能14确定性推理part7.pptVIP

Artificial Intelligence (AI)人工智能 主讲：戚玉涛 内容提要 归结演绎推理 归结演绎推理 子句集及其化简 鲁滨逊归结原理 归结反演推理的归结策略 用归结反演求取问题的答案 用归结反演求取问题的答案 归结原理出了可用于定理证明外，还可用来求取问题答案，其思想与定理证明相似。其一般步骤为： (1) 把问题的已知条件用谓词公式表示出来，并化为子句集； (2) 把问题的目标的否定用谓词公式表示出来，并化为子句集； (3) 对目标否定子句集中的每个子句，构造该子句的重言式（即把该目标否定子句和此目标否定子句的否定之间再进行析取所得到的子句），用这些重言式代替相应的目标否定子句式，并把这些重言式加入到前提子句集中，得到一个新的子句集； (4) 对这个新的子句集，应用归结原理求出其证明树，这时证明树的根子句不为空，称这个证明树为修改的证明树； (5) 用修改证明树的根子句作为回答语句，则答案就在此根子句中。 用归结反演求取问题的答案 例1： 已知：“张和李是同班同学，如果x和y是同班同学，则x的教室也是y的教室，现在张在302教室上课。” 问：“现在李在哪个教室上课？” 解：首先定义谓词 C(x, y)：x和y是同班同学 At(x, u)：x在u教室上课。