人工智能与专家系统ppt课件.ppt

《人工智能与专家系统ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三章基本推理方法3.1推理的基本概念3.2推理方式和分类3.3推理控制策略3.4自然演绎推理13.1推理的基本概念推理是指从已知的事实出发，通过运用已掌握的知识，找出其中蕴含的事实，或归纳出新的事实，这一过程就称为推理。已知事实和知识是推理的两个基本要素。推理包括两种判断：一种是已知的判断，它包括已掌握的求解问题有关的知识和关于问题的已知事实；另一种是由已知判断推出新的判断，即推理的结论。23.2推理方式和分类按推理机制划分（1）演绎推理：是从全称判断推导出特称或单称判断的过程。这是从一般到个别的推理。（2）归纳推理；是从足够的事例中归纳出一般性结论的推理过程。这

2、是一种从个别到一般的推理。（3）缺省推理：又称默认推理，它是在知识不完全的情况下假设某些条件已经具备所进行的推理。3演绎推理就是前提与结论之间有蕴涵关系的推理或有必然联系的推理。其关键在于推理的前提正确，形式结构合乎逻辑规则。它是由普通性的前提推出特殊性结论的推理。演绎推理有三段论、假言推理和选言推理等形式。4三段论三段论是指由两个简单判断作前提和一个简单判断作结论组成的演绎推理。三段论中三个简单判断只包含三个不同的概念，每个概念都重复出现一次。大前提：已知的一般性知识或假设。小前提：关于研究的具体情况或个别事实的判断结论：有大前提推出的适合小前提所示情况的新判断。

3、5三段论的特点任何一个三段论都包含着三个不同的词项：大项、小项和中项。结论中的谓项叫做大项，用“P”表示。结论中的主项叫做小项，用“S”表示。前提中出现两次而结论不出现的词项叫做中项，用“M”表示。任何一个三段论都包含着三个不同的判断，即大前提、小前提和结论。三段论的词项有两个主要特点：任何三段论必须有也只能有三个不同的词项。任何三段论，其中的每一个词项必须并且只能在两个性质判断中各出现一次。6三段论的规则规则1：在一个三段论中,仅能有三个不同的项,否则会犯“四项错误”。规则2：中项在前提中至少要周延一次,否则,会犯“中项不周”之误。规则3：前提中不周延的项,在结论

4、中也不得周延,否则,会犯“大项扩大”或“小项扩大”之误。7实例1中国人是勤劳的我是中国人=>我是勤劳的张三是人人不是东西=>张三不是东西8规则1中国人是勤劳的我是中国人=>我是勤劳的评:「中国人」在大前提是集合概念但在小前提是非集合概念此「中国人」的意涵与彼「中国人」不尽相同例:张三是人人不是东西=>张三不是东西评:「人」「人」不同9实例2民意代表是为民服务的张三是为民服务的=>张三是民意代表10规则二:中项在前提中至少要周延一次,否则,会犯「中项不周」之误民意代表是为民服务的张三是为民服务的=>张三是民意代表评:「为民服务的」在前

5、提中均为肯定判断的谓项,此为不周延的项.结论是不可靠的11实例3年青人是需要认真工作的我不是年青人=>我不需要认真工作评:「需要认真工作」在大前提中是肯定判断的谓项,故不周延但在结论中是否定判断,却周延了.12实例甲:「吃鱼的好处是什麼」乙:「可以预防近视.」甲:「为什麼」乙:「你有看过近视的猫吗」评:猫不会近视猫是吃鱼的=>吃鱼不会近视「吃鱼」在小前提中是肯定判断的谓项,故不周延但在结论中是全称否定判断,却周延了犯「小项扩大」之误13实例例题：若风大，就放飞风筝。若气温高，就不放飞风筝。若天空不晴朗，就不放飞风筝。假设以上说法正确，若放

6、飞风筝，则以下哪些说法是正确的：（  ）Ⅰ风大  Ⅱ天空晴朗  Ⅲ气温高A、Ⅰ  B、Ⅱ    C、Ⅲ    D、Ⅰ和Ⅲ14推理思路分析一下三个前提：第一个，风大，放飞风筝，第二个，气温高，就不放飞风筝第一个前提被第二个前提限定，也就是说风大，但气温高，不能放飞风筝，答案D是不成立的。有些人只考虑第一个前提，而没有考虑第二个前提，就会选择A。第二个前提，气温高，不放飞风筝；但气温不高的时候，是否放飞风筝不确定。第三个前提，若天空不晴朗，就不放飞风筝；可以推出，天空晴朗，就放飞风筝。而且，第三个条件不受第一和第二个条件的限制。15演绎推理的例子被称为“世

7、界屋脊”的青藏高原，包括横亘其间的喜玛拉雅山系的地层，经大量实地考察发现都有鱼类、贝壳类等海生生物化石。据此，科学家经推理，作出该地区原来是古海洋，大约几千万年前才变成陆地的结论。连续铸钢总是由有色金属连续铸造原理演绎推理而来，浮法制造玻璃是根据液体自由流平的原理演绎而来，钢笔主要是根据毛细管原理演绎而来等等。演绎推理还使人们产生新的创意或新的发现。如一种被称为“铜草”的植物，是铜矿的“指示剂”，因为它们之间相互依存、相伴而生。发现生长良好的“铜草”，往往就能找到铜矿。16演绎推理:从一般到特殊例:凡金属都会导电(一般)木头不导电=>木头不是金属(特殊)1