第三讲（古典逻辑推理）.pptVIP

第四章 经典逻辑推理;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={