AI(确定性推理2).pdfVIP

第3章确定性推理 第3章确定性推理 本章内容： 3.1 推理的基本概念 3.2 推理的逻辑基础 3.3 自然演绎推理 3.4 归结演绎推理 3.5 基于规则的演绎推理 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理 从一组已知为真的事实出发，直接运用经典 逻辑中的推理规则推出结论的过程称为自然演绎 推理。 自然演绎推理最基本的推理规则是三段论推 理，它包括： 假言推理 P, P→Q ⇒Q 假言三段论 P→Q, Q→R ⇒P→R 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理的例子： 设已知如下事实： 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为真 3.3 自然演绎推理 3.3 自然演绎推理 例3.6 设已知如下事实： (1) 只要是需要编程序的课，王程都喜欢。 (2) 所有的程序设计语言课都是需要编程序的课。 (3) C是一门程序设计语言课。 求证：王程喜欢C这门课。 证明：首先定义谓词 Prog(x) x是需要编程序的课 Like(x, y) x喜欢y Lang(x) x是一门程序设计语言课 3.3 自然演绎推理 3.3 自然演绎推理 把已知事实及待求解问题用谓词公式表示如下： 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这门课。 3.3 自然演绎推理 3.3 自然演绎推理 自然演绎推理 优点：定理证明过程自然，易于理解，并且有丰 富的推理规则可用(例如P72 中3.2.3的推理规则) 。 缺点：是容易产生知识爆炸，推理过程中得到的 中间结论一般按指数规律递增，对于复杂问题的推 理不利，甚至难以实现。 第3章确定性推理 第3章确定性推理 本章内容： 3.1 推理的基本概念 3.2 推理的逻辑基础 3.3 自然演绎推理 3.4 归结演绎推理 3.5 基于规则的演绎推理 3.4 归结演绎推理 3.4 归结演绎推理 归结演绎推理(消解原理) 一