第三讲[经典逻辑推理].ppt

第四章 经典逻辑推理;4.1 基本概念;4.1.2 推理方式及其分类;4.1.3 推理的控制策略;正向推理示意图;2 逆向推理;逆向推理示意图;;;所谓模式匹配是指对两个知识模式(例如两个谓词公式、框架片断、语义网络片断)进行比较，检查这两个知识模式是否完全一致或者近似一致。 模式匹配可分为确定性匹配与不确定性匹配。 确定性匹配是指两个知识模式完全一致，或者经过变量代换后变得完全一致。 知识：IF father(x,y) and man(y) THEN son(y,x) 事实：father(李四，李小四) and man(李小四) 不确定性匹配是指两个知识模式不完全一致，但是它们的相似程度又在规定的限度内。;变量代换;;代换的复合;代换的例子;公式集的合一; 最一般的合一;求取最一般合一;求取最一般合一的例子;4.1.5 冲突消解策略;几种冲突消解策略;4.2 自然演绎推理;;4.3 归结演绎推理;4.3.1 子句; 子句集;把谓词公式化成子句集的步骤(1);把谓词公式化成子句集的步骤(2);把谓词公式化成子句集的步骤(3); 子句集的性质; 子句集的意义;4.3.2 Herbrand理论;海伯伦域;为研究子句集的永假性，引入H域上的原子谓词公式实例集A:　A={所有出现于S中原子谓词公式的实例} 若原子公式是命题（不包含变量），则其实例就是其本身； 若原子公式形如P(t1, t2,…, tm), ti是变量（i=1，2，…m）,则其实例通过让ti=ki∈H(即H∞)来形成（i=1，2，…，m）。例如，对于上述例4.3，有： 　A={P(a), Q(f(a)), Q(f(f(a))),…}　　;;在H域上进行解释的意义;4.3.3 鲁滨逊归结原理;命题逻辑中的归结原理;;;;谓词逻辑中的归结原理;二元归结式的定义;若子句C含有可合一的文字，则在进行归结之前应先对这些文字进行合一。记其最一般的合一为σ，称Cσ子句C的因子。 C1=P(x)VP(f(a))VQ(x), C2= ?P(y) VR(b) σ={ f(a)/x } C1σ=P(f(a)) VQ(f(a)) C12 = Q(f(a)) VR(b) ;;4.3.4 归结反演;归结反演的例子;4.3.5 应用归结原理求取问题的答案;用归结原理求解问题的例子(1);用归结原理求解问题的例子(2);;练习:;2.张某被盗，公安局派出五个侦察员去调查。研究案情时，侦察员 A 说“赵与钱中至少有一人作案”；侦察员 B 说“钱???孙中至少有一人作案”；侦察员 C 说“孙与李中至少有一人作案”；侦察员 D 说“赵与孙中至少有一人与此案无关”；侦察员 E 说“钱与李中至少有一人与此案无关”。如果这五个侦察员的话都是可信的，试用归结演绎推理求出谁是盗窃犯。 ;;4.3.6 归结策略;一个归结的例子;删除策略;支持集策略;支持集策略示例;线性输入策略;单文字子句策略;祖先过滤策略;优点： 简单，便于在计算机上实现。 缺点： 必须把逻辑公式化成子句集。 不便于阅读与理解。 ?P(x)∨Q(x)没有P(x)→Q(x)直观。 可能丢失控制信息。 下列逻辑公式： (?A∧?B)→C ?A→(B∨C) (?A∧?C)→B ?B→(A∨C) (?C∧?B)→A ?C→(B∨A) 化成子句后都是: A∨B∨C;4.4 与/或形演绎推理;与/或形演绎推理的特点;