第四章-确定性推理.pptVIP

4.3 自然演绎推理 自然演绎推理 从一组已知为真的事实出发，直接运用经典逻辑中的推理规则推出结论的过程称为自然演绎推理。 自然演绎推理最基本的推理规则是三段论推理，它包括： 假言推理 P, P→Q ? Q 拒取式 ﹁ Q, P→Q ? P 假言三段论 P→Q, Q→R ? P→R 自然演绎推理的例子 例3.5 设已知如下事实： A, B, A→C, B∧C→D, D→Q 求证：Q为真。 证明：因为 A, A→C? C 假言推理 B, C? B∧C 引入合取词 B∧C，B∧C→D ? D 假言推理 D, D→Q ? Q 假言推理 因此，Q为真 * 4.3 自然演绎推理 例4.6 设已知如下事实： (1) 只要是需要编程序的课，王程都喜欢。 (2) 所有的程序设计语言课都是需要编程序的课。 (3) C是一门程序设计语言课。 求证：王程喜欢C这门课。 证明：首先定义谓词 Prog(x) x是需要编程序的课。 Like(x, y) x喜欢y。 Lang(x) x是一门程序设计语言课 把已知事实及待求解问题用谓词公式表示如下： Prog(x)→Like(Wang , x) (?x)( Lang(x)→Prog(x)) Lang(C) 应用推理规则进行推理： Lang(y)→Prog(y) 全称固化 Lang(C)，Lang(y)→Prog(y) ? Prog(C) 假言推理 {C/y} Prog(C), Prog(x)→Like(Wang , x) ? Like(Wang , C) 假言推理 {C/x} 因此，王程喜欢C这门课。 * 4.3 自然演绎推理 优点：定理证明过程自然，易于理解，并且有丰富的推理规则可用。 缺点：是容易产生知识爆炸，推理过程中得到的中间结论一般按指数规律递增，对于复杂问题的推理不利，甚至难以实现。 * 第4章 确定性推理 4.1 推理的基本概念 4.2 推理的逻辑基础 4.3 自然演绎推理 4.4 归结演绎推理 3.5 基于规则的演绎推理 * 4.4 归结演绎推理 归结演绎推理是一种基于鲁宾逊（Robinson）归结原理的机器推理技术。鲁宾逊归结原理亦称为消解原理，是鲁宾逊于1965年在海伯伦（Herbrand）理论的基础上提出的一种基于逻辑的“反证法”。 在人工智能中，几乎所有的问题都可以转化为一个定理证明问题。定理证明的实质，就是要对前提P和结论Q，证明P→Q永真。 由3.2节可知，要证明P→Q永真，就是要证明P→Q在任何一个非空的个体域上都是永真的。这将是非常困难的，甚至是不可实现的。 为此，人们进行了大量的探索，后来发现可以采用反证法的思想，把关于永真性的证明转化为关于不可满足性的证明。 即要证明P→Q永真，只要能够证明P∧﹁Q是不可满足的就可以了(原因是﹁ (P→Q) ? ﹁(﹁ P∨Q) ? P∧﹁ Q 。 这方面最有成效的工作就是鲁宾逊归结原理。它使定理证明的机械化成为现实。 * 4.4 归结演绎推理 4.4.1 子句集及其化简 4.4.2 鲁滨逊归结原理 4.4.3 归结反演推理的归结策略 4.4.4 用归结反演求取问题的答案 * 第4章 确定性推理 智能系统的推理过程实际上就是一种思维过程。按照推理过程所用知识的确定性，推理可分为确定性推理和不确定性推理。对于推理的这两种不同类型，本章重点讨论前一种，不确定性推理放到下一章讨论。 4.1 推理的基本概念 4.2 推理的逻辑基础 4.3 自然演绎推理 4.4 归结演绎推理 4.5 基于规则的演绎推理 * 4.1 推理的基本概念 4.1.1 什么是推理 4.1.2 推理方法及其分类 4.1.3 推理的控制策略及其分类 4.1.4 正向推理 4.1.5 逆向推理 4.1.6 混合推理 * 4.1.1 什么是推理 推理的概念 是指按照某种策略从已知事实出发去推出结论