第三讲 经典逻辑推理.ppt

第四章 经典逻辑推理;如何实现推理？;柯南的推理过程;推理的一般形式;符号与形式语言;符号与形式语言;符号与形式语言;4.1 基本概念;4.1.2 推理方式及其分类;4.1.3 推理的控制策略;正向推理示意图;;2 逆向推理;逆向推理示意图;动物识别系统; r9： if 该动物是哺乳动物 and 是食肉类动物 and 是黄褐色 and 身上有暗斑点 then 该动物是金钱豹 r10： if 该动物是哺乳动物 and 是食肉类动物 and 是黄褐色 and 身上有黑色条纹 then 该动物是虎 r11： if 该动物是有蹄类动物 and 有长脖子 and 有长腿 and 身上有暗斑点 then 该动物是长颈鹿 r12： if 该动物是有蹄类动物 and 身上有黑色条纹 then 该动物是斑马; r13： if 该动物是鸟 and 有长脖子 and 有长腿 and 不会飞 then 该动物是鸵鸟 r14： if 该动物是鸟 and 会游泳 and 不会飞 and 有黑白两色 then 该动物是企鹅 r15： if 该动物是鸟 and 善飞 then 该动物是信天翁 ;;所谓模式匹配是指对两个知识模式(例如两个谓词公式、框架片断、语义网络片断)进行比较，检查这两个知识模式是否完全一致或者近似一致。 模式匹配可分为确定性匹配与不确定性匹配。 确定性匹配是指两个知识模式完全一致，或者经过变量代换后变得完全一致。 知识：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域上