理性思维揭秘.pptVIP

第四章 典型逻辑推理;4.1基本概念;4.1.2推理方式及其分类;4.1.3推理的控制方略;正向推理示意图;2逆向推理;逆向推理示意图;动物识别的例子;3.混合推理

先正向推理后逆向推理

先逆向推理后正向推理

4.双向推理

正向推理与逆向推理同步进行，且在推理过程中的某一步上“碰头”。

5.求解方略

只求一种解，还是求所有解以及最优解。

6.限制方略

限制搜索的深度、宽度、时间、空间等等。;所谓模式匹配是指对两个知识模式(例如两个谓词公式、框架片断、语义网络片断)进行比较，检查这两个知识模式是否完全一致或者近似一致。

模式匹配可分为确定性匹配与不确定性匹配。

确定性匹配是指两个知识模式完全一致，或者经过变量代换后变得完全一致。

知识：IFfather(x,y)andman(y)THENson(y,x)

事实：father(李四，李小四)andman(李小四)

不确定性匹配是指两个知识模式不完全一致，但是它们的相似程度又在要求的程度内。;变量代换;;代换的复合;代换的例子;公式集的合一;最普通的合一;求取最普通合一;求取最普通合一的例子;4.1.5冲突消解方略;几个冲突消解方略;4.2自然演绎推理;;4.3归结演绎推理;4.3.1子句;子句集;把谓词