第三讲_经典逻辑推理.ppt

第三讲 经典逻辑推理;如何实现推理？;柯南的推理过程;推理的一般形式;符号与形式语言;符号与形式语言;符号与形式语言;3.1 基本概念;3.1.2 推理方式及其分类;3.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 该动物是信天翁 ;3. 混合推理 先正向推理后逆向推理 先逆向推理后正向推理 4. 双向推理 正向推理与逆向推理同时进行，且在推理过程中的某一步上“碰头”。 5. 求解策略 只求一个解，还是求所有解以及最优解。 6. 限制策略 限制搜索的深度、宽度、时间、空间等等。;所谓模式匹配是指对两个知识模式(例如两个谓词公式、框架片断、语义网络片断)进行比较，检查这两个知识模式是否完全一致或者近似一致。 模式匹配可分为确定性匹配与不确定性匹配。 确定性匹配是指两个知识模式完全一致，或者经过变量代换后变得完全一致。 知识：IF father(x,y) and man(y) THEN son(y,x) 事实：father(李四，李小四) and man(李小四) 不确定性匹配是指两个知识模式不完全一致，但是它们的相似程度又在规定的限度内。;变量代换;令θ= {t1/x1,t2/x2,…,tn/xn}为一个代换，F为表达 式，则Fθ表示对F用ti代换xi后得到的表达式。 Fθ称为F的特例。 规则: IF father(x,y) and man(y) THEN son(y