week8-北航6系人工智能幻灯片.pptVIP

第 三 章 基于逻辑的问题求解方法;认知区域 功能 研究学派 -------------------------------------------------------;基于逻辑的问题求解方法;逻辑是人工智能的重要基础;逻辑是人工智能的重要基础;基于逻辑的问题求解方法; 字符表;一阶谓词逻辑的符号体系 - 字符表;;项、谓词合式公式;等价公式;演绎推理;解释与赋值;解释与赋值;;;谓词公式的子句形式;子句的标准范式;合式谓词公式化子句集步骤 ( p43 );合式公式化子句集实例;习题：将谓词公式化为子句形式;; 核心思想： 要证 B = ? A1，A2 ，… An ? |= ? 语义证明方法1： |= A1 ? A2 ? … ? An ? ? 语义证明方法2： A = A1 ? A2 ? … ? An ?? ? |= F;命题逻辑归结原理;命题逻辑归结原理;命题逻辑归结原理;命题逻辑归结原理;命题逻辑归结原理应用实例;问题：;;谓词公式变量的置换与合一;谓词公式变量的置换与合一;谓词公式中变量的置换与合一;谓词公式中变量的置换与合一;变量的置换与合一;变量的置换与合一;演绎推理技术;;合一匹配算法：;合一匹配算法：;赋初值： ? Ei ?= ? E1， E2 ? k = 0, ? k = ? = ? ;例1: 设{Ei}={P(f(a),g(x)),P(y,y)} 置换 ? 0 = ? = ?; 分歧集 D0 = { f(a), y } 置换合成 ? 1 = ?{ f(a)/y } 实例{Ei}? 1 = {P(f(a),g(x)),P(f(a),f(a))} 分歧集 D1 = { g(x), f(a) } 打印“{Ei}不可合一”。;合一匹配算法应用习题：;;一阶谓词归结原理;一阶谓词归结原理演算实例;;设公式集 S 和待证目标公式 W， 将公式集 ? S, ? W ? 化成子句集 S0； CLAUSES = S0 ； Until ? ? CLAUSES, do: begin 从 CLAUSES中选择两个不同的可归结子句 C1和 C2； 对 C1 和 C2 中互反文字进行归结，获归结式 C，且 CLAUSES = CLAUSES ? ? C ? ； end;一阶谓词归结证明系统应用实例（1）;一阶谓词归结证明系统应用实例（2）;一阶谓词归结证明系统应用实例（3）;;归结证明系统的推理策略;推理策略实例（1）;一阶谓词描述： (?x)(R(x) ? L(x))； (?x)(D(x) ? ? L(x)) (? x)(D(x) ? I(x)) 求证： (? x)(I(x) ? ? R(x)));推理策略实例- 宽度优先策略（1）;推理策略实例- 宽度优先策略（2）;推理策略分析改进（1）;推理策略实例 - 支持集策略（1）;推理???略实例-支持集策略（2）;推理策略分析改进（2）;推理策略实例- 单元归结策略（1）;推理策略分析改进（3）;线性归结策略（1）;线性归结策略（2）;利用线性归结策略求证下列公式永真: (?x)(P(x) ? (Q(A) ? Q(B))) ? (? x)(P(x) ?Q(x)) ;;基于规则的演绎推理系统;基于规则的演绎推理 - PROLOG;基于规则的演绎推理 - PROLOG;已知事实库: F1: Dog(sid); F2: ? Barks(sid); F3: Tail(sid); F4: Meows(mik).;基于规则的逆向演绎系统实例;基于规则的演绎系统小结;AI中的应用逻辑;习题1：将谓词公式化为子句形式;利用线性归结策略求证下列公式永真: (?x)(P(x) ? (Q(A) ? Q(B))) ? (? x)(P(x) ?Q(x)) ;习题3：合一匹配算法应用