- 11
- 0
- 约1.55万字
- 约 81页
- 2021-09-01 发布于北京
- 举报
第三章 确定性推理 按照推理过程所用知识的确定性,推理可分为确定性推理和不确定性推理。 自然演绎推理和归结推理是经典的确定性推理,它们以数理逻辑的有关理论、方法和技术为理论基础,是机械化的、可在计算机上加以实现的推理方法。 本章在讨论有关推理的一般概念以及命题和谓词逻辑的基础上,介绍自然演绎推理方法和基于一阶谓词逻辑的归结推理方法。3.1 推理概述 3.1.1 推理的基本概念 推理是指从已知事实出发,运用已掌握的知识,推导出其中蕴含的事实性结论或归纳出某些新的结论的过程。其中,推理所用的事实可分为两种情况,一种是与求解问题有关的初始证据;另一种是推理过程中所得到的中间结论,这些中间结论可以作为进一步推理的已知事实或证据。 人工智能系统的构成:推理机---一些程序来完成的;综合数据库---存放有用于推理的事实或证据;知识库---存放有用于推理所必须的知识。 3.1 推理概述 3.1.2 推理的方法及其分类 1. 按照推理的逻辑基础分类 可分为演绎推理、归纳推理和默认推理。 (1)演绎推理 演绎推理是从已知的一般性知识出发,推理出适合于某种个别情况的结论的过程。它是一种由一般到个别的推理方法。3.1 推理概述 (2)归纳推理 归纳推理是从大量特殊事例出发,归纳出一般性结论的推理过程,是一种由个别到一般的推理方法。其基本思想是:首先从已知事实中猜测出一个结论,然后对这个结论的正确性加以证明确认,数学归纳法就是归纳推理的一种典型例子。 归纳推理又可分为: 从特殊事例考察范围看:完全归纳推理、不完全归纳推理; 从使用的方法看:枚举归纳推理、类比归纳推理。3.1 推理概述 (3)默认推理 默认推理又称缺省推理,是在知识不完全的情况下假设某些条件已经具备所进行的推理。也就是说,在进行推理时,如果对某些证据不能证明其不成立的情况下,先假设它是成立的,并将它作为推理的依据进行推理,但在推理过程中,当由于新知识的加入或由于所推出的中间结论与已有知识发生矛盾时,就说明前面的有关证据的假设是不正确,这时就要撤消原来的假设以及由此假设所推出的所有结论,重新按新情况进行推理3.1 推理概述 2. 按所用知识的确定性分类 按推理时所用知识的确定性来划分,推理可分为确定性推理、不确定性推理。3. 按推理过程的单调性 按照推理过程中所推出的结论是否单调地增加,或者说按照推理过程所得到的结论是否越来越接近最终目标来分类,推理可分为单调推理与非单调推理。 9、要学生做的事,教职员躬亲共做;要学生学的知识,教职员躬亲共学;要学生守的规则,教职员躬亲共守。10、阅读一切好书如同和过去最杰出的人谈话。11、一个好的教师,是一个懂得心理学和教育学的人。12、要记住,你不仅是教课的教师,也是学生的教育者,生活的导师和道德的引路人。13、He who seize the right moment, is the right man.谁把握机遇,谁就心想事成。14、谁要是自己还没有发展培养和教育好,他就不能发展培养和教育别人。15、一年之计,莫如树谷;十年之计,莫如树木;终身之计,莫如树人。16、提出一个问题往往比解决一个更重要。因为解决问题也许仅是一个数学上或实验上的技能而已,而提出新的问题,却需要有创造性的想像力,而且标志着科学的真正进步。17、儿童是中心,教育的措施便围绕他们而组织起来。2、Our destiny offers not only the cup of despair, but the chalice of opportunity. (Richard Nixon, American President )命运给予我们的不是失望之酒,而是机会之杯。二〇二一年六月十七日2021年6月17日星期四3、Patience is bitter, but its fruit is sweet. (Jean Jacques Rousseau , French thinker)忍耐是痛苦的,但它的果实是甜蜜的。10:516.17.202110:516.17.202110:5110:51:196.17.202110:516.17.20214、All that you do, do with your might; things done by halves are never done right.----R.H. Stoddard, American poet做一切事都应尽力而为,半途而废永远不行6.17.20216.17.202110:5110:5110:51:1910:51:195、You have to believe in yourself. Thats the secret of success. ----Charles Chaplin人必须相
原创力文档

文档评论(0)