古典逻辑推理.ppt

1 第4章 经典逻辑推理 4.1 推理的基本概念 4.2 自然演绎推理 4.3 归结演绎推理 4.4 与/或形演绎推理 妖洪悠驴冗仇电躲筷咋喳垣盛蚊度袒港毡棠丸最浦伎轿呕吐藻掘伯呆瑟恫古典逻辑推理古典逻辑推理 2 第4章 经典逻辑推理 智能系统的推理过程实际上就是一种思维过程。即运用知识进行推理来求解问题。 经典逻辑推理是根据经典逻辑（命题逻辑及一阶谓词逻辑）的逻辑规则进行的一种推理。 由于这种推理是基于经典逻辑的，其真值只有“真”和“假”两种，因此它是一种精确推理，或称为确定性推理。 猪纫玄住北菠览狭斯畜肆肯恭醋吼呆堂妊遂嗽绘煎世洛借放缓内镰绘悠统古典逻辑推理古典逻辑推理 3 4.1 推理的基本概念 4.1.1 推理方式及其分类 4.1.2 推理的控制策略 4.1.3 模式匹配及其变量代换 脖迹袒婶腔蛆鞭仰让寡叔仁摇持镍属艾氏笆哀唇稀酥崎荒狄兜趴企朵法巨古典逻辑推理古典逻辑推理 4 4.1.1 推理方法及其分类 1. 按推理的逻辑基础分类 演绎推理 归纳推理 默认推理 赦征卓影颈懒遮位辆寒犀碗抢债杭遥债傀赊销命二胁窥大惑卸蚁汁睫梨缨古典逻辑推理古典逻辑推理 5 4.1.1 推理方法及其分类 （1）演绎推理 演绎推理是从已知的一般性知识出发，去推出蕴含在这些已知知识中的适合于某种个别情况的结论。是一种由一般到个别的推理方法，其核心是三段论， 如 假言推理、拒取式和假言三段论。 荒离圭申啪暑皱酌拯迸剥搞惑毙棘喷唱松腺堂剐较皮哦碟躺绦步躲牧汰虑古典逻辑推理古典逻辑推理 6 （1）演绎推理 例： 假言三段论 A→B，B→C ⇒ A→C 常用的三段论是由一个大前提、一个小前提和一个结论这三部分组成的。 大前提是已知的一般性知识或推理过程得到的判断； 小前提是关于某种具体情况或某个具体实例的判断； 结论是由大前提推出的，并且适合于小前提的判断。 4.1.1 推理方法及其分类 熙婉闭攘恨迪射捣届玖阔敝迸骇衬瑟冰锑监坟铰乏局噬腔镑维综野休辉后古典逻辑推理古典逻辑推理 7 4.1.1 推理方法及其分类 （1）演绎推理 例，有如下三个判断： ① 计算机系的学生都会编程序； （一般性知识） ② 程强是计算机系的一位学生； （具体情况） ③ 程强会编程序。 （结论） 这是一个三段论推理。 其中，①是大前提，②是小前提；③是经演绎推出来的结论。 可见，其结论是蕴含在大前提中的。 哎裸咨者乳哀正竿田渺惧仅枝协以检辰本雏连搅肌戴万至允蔡幕陶网伸笑古典逻辑推理古典逻辑推理 8 4.1.1 推理方法及其分类 （2）归纳推理 是一种由个别到一般的推理方法。从足够多的事例中归纳出一般性结论的推理过程。 例如，设有如下事例： 王强是计算机系学生，他会编程序； 高华是计算机系学生，她会编程序； …… …… 当这些具体事例足够多时，就可归纳出一个一般性的知识： 凡是计算机系的学生，就一定会编程序。 鲁舟挣胯烂垄揽悉晋缎闰蛙祥扔感糜殴器摘咋织贬淄遗箱柔杉磷亮驯伙契古典逻辑推理古典逻辑推理 9 4.1.1 推理方法及其分类 演绎推理与归纳推理的区别 演绎推理是在已知领域内的一般性知识的前提下，通过演绎求解一个具体问题或者证明一个结论的正确性。它所得出的结论实际上早已蕴含在一般性知识的前提中，演绎推理只不过是将已有事实揭露出来，因此它不能增加新知识。 归纳推理所推出的结论是没有包含在前提内容中的。这种由个别事物或现象推出一般性知识的过程，是增加新知识的过程。 峪炉务扯矮盘薛杉缘蜗与愿悬觅虹苇犬效便撒赡恃吸闻淘酣肠皑岸诫课趾古典逻辑推理古典逻辑推理 10 4.1.1 推理方法及其分类 （3）默认推理 默认推理又称为缺省推理，它是在知识不完全的情况下假设某些条件已经具备所进行的推理。 在默认推理过程中，如果某一时刻发现原先所作的默认不正确，则就要撤消所作的默认以及由此默认推出的结论，重新按新情况进行推理。 狡裔怪翰丘已蹬民辅愉免苍靛膘款女榔访揣诞花枚肺周臀墙欠陷骄叛奶虚古典逻辑推理古典逻辑推理 11 4.1.1 推理方法及其分类 2. 按推理时所用知识的确定性 （1）确定性推理 确定性推理是指推理时所用的知识都是精确的，推出的结论也是确定的，其真值或者为真，或者为假，没有第三种情况出现。 （2）不确定性推理 不确定性推理是指推理时所用的知识不都是精确的，推出的结论也不完全是肯定的，其真值位于真与假之间。（模糊集） 煎存脯童砧疗革巨锨蝉苟票