第3章_确定性推理方法1.ppt

第 3 章 确定性推理方法;第3章 确定性推理方法;归 结 演 绎 推 理;归 结 演 绎 推 理;3.1 推理的基本概念;医疗专家系统;3.1 推理的基本概念;（1）演绎推理 (deductive reasoning) : 一般 → 个别 三段论式（三段论法） 足球运动员的身体都是强壮的 ； 高波是一名足球运动员； 所以，高波的身体是强壮的。 ;3.1.2 推理方式及其分类;3.1.2 推理方式及其分类;3.1.2 推理方式及其分类;X：鸟 → X：会飞 → X: 企鹅 ;3.1.2 推理方式及其分类;3.1 推理的基本概念;3.1.3 推理的方向;3.1.3 推理的方向;17;3.1.3 推理的方向;3.1.3 推理的方向;20;3.1.3 推理的方向;3.1.3 推理的方向;23;24; 双向推理：正向推理与逆向推理同时进行，且在推理过程中的某一步骤上“碰头”的一种推理。;3.1 推理的基本概念;3.1.4 冲突消解策略;3.1.4 冲突消解策略;第3章 确定性推理方法;自然演绎推理：从一组已知为真的事实出发，运用经典逻辑的推理规则推出结论的过程。 推理规则：P规则、T规则、假言推理、拒取式推理 ;（1） 如果下雨，则地上是湿的（ P→Q ）； （2）没有下雨（﹁P ）； （3）所以，地上不湿（﹁Q ）。 ;3.2 自然演绎推理;3.2 自然演绎推理;3.2 自然演绎推理;;归 结 演 绎 推 理;归 结 演 绎 推 理;归 结 演 绎 推 理;3.3 谓词公式化为子句集的方法;3.3 谓词公式化为子句集的方法; （4）消去存在量词 a. 存在量词不出现在全称量词的辖域内。 b. 存在量词出现在一个或者多个全称量词的辖域内。;3.3 谓词公式化为子句集的方法;3.3 谓词公式化为子句集的方法;3.3 谓词公式化为子句集的方法;3.3 谓词公式化为子句集的方法;归 结 演 绎 推 理;;3.4 海伯伦（Herbrand）定理 ;3.4 海伯伦（Herbrand）定理 ;3.4 海伯伦（Herbrand）定理 ;3.4 海伯伦（Herbrand）定理 ;3.4 海伯伦（Herbrand）定理;归 结 演 绎 推 理;3.5 鲁宾逊归结原理;3.5 鲁宾逊归结原理; 推论1：设C1与C2是子句集S中的两个子句，C12是它们的归结式，若用C12代替C1与C2后得到新子句集S1，则由S1不可满足性可推出原子句集S的不可满足性，即： ;3.5 鲁宾逊归结原理;3.5 鲁宾逊归结原理;3.5 鲁宾逊归结原理;3.5 鲁宾逊归结原理;归 结 演 绎 推 理;3.6 归结反演;3.6 归结反演;;3.6 归结反演;3.6 归结反演;3.6 归结反演;归 结 演 绎 推 理;3.7 应用归结原理求解问题; 例14 已知： ：王（Wang）先生是小李（Li）的老师。 ：小李与小张（Zhang）是同班同学。 ：如果 与 是同班同学，则 的老师也是 的老师。;3.7 应用归结原理求解问题; 把上述公式化为子句集： ;3.7 应用归结原理求解问题; THE END