人工智能导论课件(李俊丽)ch4-推理.ppt

本章学习要点 掌握谓词公式的概念及可满足性的定义、置换与合一的概念，掌握求取最一般合一置换的方法。 掌握归结原理及归结推理方法。（重点在谓词逻辑中） 掌握利用归结原理进行定理证明的方法。 掌握利用归结原理进行问题求解的方法。 了解归结过程中的控制策略。 主 要 内 容 4.1 推理概述 4.1.2 推理的分类 【演绎推理实例】 音乐系的学生至少会演奏一种乐器；（大前提） 李聪是音乐系的一名学生；（小前提） 李聪至少会演奏一种乐器。（结论） 2）归纳推理： 从大量特殊事例出发，归纳出一般性结论的推理过程。 即从个别到一般的推理过程。 3）默认推理： 按所用知识的确定性分类 按推理过程的单调性分类 按推理中所用知识是否具有启发性分类 主 要 内 容 4.2 确定性推理 【推理的逻辑基础】 逻辑是推理科学的研究。逻辑研究主要是研究推理的过程是否正确，推理过程中各个语句之间的关系，而不考虑某一个语句是否正确。 命题逻辑和谓词逻辑属于经典逻辑，是最先应用于人工智能的两种逻辑。其中谓词逻辑是在命题逻辑的基础上发展起来的，是一种表达能力很强的形式语言。 4.2.1 命题逻辑基础 2. 连接词 连接词的优先级别 3. 命题公式 【命题公式实例】 4.2.2 一阶谓词逻辑基础 4.量词辖域与约束变元 5. 谓词公式的永真性 6. 谓词公式的等价性 7. 谓词公式型式： 5.换名规则 6.基本规则和等价式 4.2.3 自然演绎推理方法 从一组已知为真的事实出发，直接运用命题逻辑或谓词逻辑中的推理规则推出结论的过程。 最基本的推理规则有： ◆ 假言三段论 ◆ T规则 ◆ 假言推理 ◆ P规则 ◆ 拒取式 【演绎推理实例】 如果一个人大学毕业，则他就具有独立生活的能力。 如果一个人具有独立生活的能力，则他就可以离开父母。 如果一个人大学毕业，则他就可以离开父母。 【演绎推理实例】 如果S是音乐系学生，则S至少会演奏一样乐器。 张艺是音乐系学生。 张艺至少会演奏一样乐器。 【演绎推理实例】 如果S是音乐系学生，则S至少会演奏一样乐器。 张艺不会演奏任何乐器。 张艺不是音乐系学生。 【演绎推理常见错误】 如果S是音乐系学生，则S至少会演奏一样乐器。 张艺会演奏电子琴。 张艺是音乐系学生。 【演绎推理常见错误】 如果S是音乐系学生，则S至少会演奏一样乐器。 张艺不是音乐系学生。 张艺不会演奏任何一样乐器。 【实例】 设已知如下事实： R, S, R→T, S∧T →P, P →Q 求证：Q为真。 【演绎推理的特点】 只是将蕴涵在一般性知识前提中的事实揭示出来，不能增殖新的知识； 由已知事实推出的结论可能有多个； 优点在于符合人的思维习惯，易于理解； 缺点在于容易产生知识或规则爆炸，不利于对复杂问题的求解。 4.2.4 归结推理方法 归结法是与自然演绎法完全不同的新的逻辑演算算法。 归结法的基本原理是采用反证法（也称为反演推理方法）：将待证明的表达式转换成为逻辑公式（谓词公式），然后再进行归结，归结能顺利完成，则证明原公式是正确的。 1. 范式 谓词演算公式的标准型，即范式。一般有2种范式： 前束型范式 一个谓词公式，如果它的所有量词均非否定地出现在公式的最前面，且它的辖域一直延伸到公式之末，同时公式中不出现连接词?、??，这种形式的谓词公式称为前束型范式。 Skolem范式 【Skolem范式的获取步骤】 【Skolem范式的获取实例】 2.子句与子句集 【子句集S的求取】 【实例】 【子句集S与谓词公式G的关系】 3. Robinson归结原理（消解原理） 检查子句集S中是否有空子句，若有，则表明S是不可满足的；若没有，就在子句集中选择合适的子句对其进行归结推理，如果能推出空子句，就说明子句集是S是不可满足的。 （1）命题逻辑中的归结原理 若P是原子公式，则称P与 为互补文字。 设C1,C2是命题逻辑中的两个子句，C1中有文字L1，C2中有文字L2，且L1与L2互补，从C1,C2中分别删除L1,L2，再将剩余部分进行析取，构成一个新子句为C12，这一过程称为归结，所得到的子句C12称为C1,C2的归结式(或消解式)，C1,C2称为其归结式C12的亲本子句， L1,L2称为消解基。 设