消解(归结)原理课件

消解(归结)原理26、我们像鹰一样，生来就是自由的，但是为了生存，我们不得不为自己编织一个笼子，然后把自己关在里面。——博莱索27、法律如果不讲道理，即使延续时间再长，也还是没有制约力的。——爱·科克28、好法律是由坏风俗创造出来的。——马克罗维乌斯29、在一切能够接受法律支配的人类的状态中，哪里没有法律，那里就没有自由。——洛克30、风俗可以造就法律，也可以废除法律。——塞·约翰逊消解(归结)原理消解(归结)原理26、我们像鹰一样，生来就是自由的，但是为了生存，我们不得不为自己编织一个笼子，然后把自己关在里面。——博莱索27、法律如果不讲道理，即使延续时间再长，也还是没有制约力的。——爱·科克28、好法律是由坏风俗创造出来的。——马克罗维乌斯29、在一切能够接受法律支配的人类的状态中，哪里没有法律，那里就没有自由。——洛克30、风俗可以造就法律，也可以废除法律。——塞·约翰逊消解(归结)原理归结推理归结推理是一种定理证明方法,1965年由Robinson提出,从理论上解决了定理证明问题对于定理证明问题,如果用一阶谓词逻辑表示的话,就是要求对前提P和结论Q证明P→Q是永真的。然而要证明这个谓词公式的永真性,这是极基困难的。为化简题,我们考虑反证即我们先否定逻辑结论Q,再由否定的逻辑结论~Q及前提条件P出发推出矛盾即可,也就是说,只要证明P∧~Q是不可满足的即可。我国数学课程改革的基本趋势是：把学生的全面发展放在首位，着眼于学生的终身可持续发展，强调对学生的创新意识和创新能力的培养。注重数学学习的实践性与探索性，提倡合作学习，关注数学学习的过程及在其中表现出来的情感与态度。而贯穿每一节数学课的线索的是问题情境的创设，一切学习活动都是围绕着问题情境展开。如何创设科学、有效的数学问题情境，激发学生学习数学的兴趣是我们每一位数学老师应当时刻关注的问题。现结合数学教学实践中问题情境的创设谈几点体会。一、从实际生活出发创设问题情境在数据的收集这节课中，我引入这样一则新闻：世俱杯半决赛即将上演亚欧对决，广州恒大向拜仁慕尼黑发起挑战，客观来说亚洲冠军显然不是欧洲冠军的对手，而从两支球队的身价对比来看，两者更是有着惊天差距。根据德国《转会市场》提供的权威数据，广州恒大全队身价为2097.5万欧元，而拜仁全队总身价达到4.872亿欧元，是恒大全队身价的23.2倍。而根据《踢球者》预测的双方首发对比，拜仁首发11人的总身价也是恒大首发身价的18倍之多。结果亚洲冠军广州恒大0-3不敌欧洲冠军拜仁慕尼黑。在数学问题情境中创设与实际生活有关的情境，能激发学生提出数学问题，使学生有机会进入积极思维的状态，有利于引导学生的创新学习。二、在学生实验中创设问题情境创设动手操作的情境，让学生体会成功的喜悦，激发学生学习的兴趣。在多边形内角和的这节课中，我引入三个问题：一、从多边形的一个顶点引出的对角线把多边形划分为若干个三角形，我们已知一个三角形的内角和等于180°，那么四边形的内角和等于多少呢？五边形、六边形呢？二、在n边形内任取一点p，连结点p与多边的每一个顶点，可得几个三角形？你能否根据这样划分多边形的方法来说明n边形的内角和等于（n-2）×180°？三、如果将点p放在一条边上能否说明n边形的内角和等于（n-2）×180°？学生通过不同的方法，完成实验后得出多边形内角和的结论。让学生在动手实验中感悟数学知识，在实验中操作唤起学生的求知欲和创造力，在实验中增强学生提出问题、分析问题、解决问题的能力。三、巧设悬念创设问题情境疑是思之源，有了疑问学生就有了思考的动力，从而调动学生学习的主动性。因此，数学教学中教师要有意识地设计一些富有悬念的问题，激发学生的求知欲。在随机事件的概率这节课中，我引入一则阅读材料：电脑在今天已走入千家万户，大大提高了人们学习与工作的效率。当你的指尖敲打着电脑键盘的时候，不知是否想过：键盘上的字母为什么不按字母顺序排列？键盘上字母的排列方式是否对中、英文输入有利？灵活手指管辖的字母是否较多？学生很是好奇，组织学生对电脑键盘上字母的排列方式提出自己的意见和看法，并鼓励他们用数据支持自己的观点。悬念是一种学习心理的强刺激，可以让学生产生认知冲突，产生欲罢不能的期待情境，从而让学生主动思维。调动学生学习的积极主动性，从而提高教学效果。四、用人文文化来创设问题情境我们在人文管理的同时，也应该注意在各学科中渗透人文文化。人们总认为数学的学科性以抽象为形式存在，抽象的符号，严谨的推理，规范的格式。可数学与美学，数学与历史等等都有着千丝万缕的联系。在讲轴对称和中心对称时可以用我们生活中的商标、建筑物来创设问题情境。在讲到卢沟桥的高度是我们可以用它的历史和发生过的历史事件来创设问题情境，在惊叹我们祖先的智慧的同时激发学生的爱国之情，促进他们学习的内动力。我们在教学中应该多贯穿数学的人文价值，涉及这些有内容丰富的问题，包涵广阔有深度。不仅单纯学生学习数学基础知识，锻炼能力，而且尊重了不同学生的思维差异，贴近实际，体现了人文教育的精神。五、结合现代教育信息技术来创设问题情境教师需要适时、适当、适度地借助现代信息技术的优越性，帮助学生在学习中获得乐趣、增长见识、开发潜能。在学习分形这节课中，我设计了这样的问题情境：这节课我们将学习“分形”，大家通过上网、查资料等方式，看一看是谁查的有关“分形”的资料最多？学生通过查询了解到自然界中其实存在很多自相似现象，如树木的生长、雪花的形成、土地干旱形成的地面裂纹等。也了解到通过计算机可以把简单的图形设计成美丽无比的分形图案，人们称之为分形艺术。这不但是学生获得更多的知识和信息，更重要的是改变学生的学习方式，使学生投身到生动具体的现实世界中去学数学。课堂教学是围绕问题情境展开的，好的问题情境的创设就像导火索，点燃学生的思维火花。使得学生启而有发，从而一发不可收拾。巧的问题情境给学生提供更多的空间尝试，更多的时间交流，让学生体会心灵深处强烈的、内在的、高层次的愉悦。数学教学实践中问题情境的创设的方法有很多，不管采用何种方法，我们都要注意问题情境创设的有效性和发展性，只有这样才能充分发挥问题情境的作用，调动学生的学习积极性，从而提高教学效率。随着素质教育的不断深入，通过教育教学推动学生的全面发展已经成为了教育工作者的重要任务，这也是社会对人才的要求，而培养学生的课堂学习中的主体意识正是素质教育的核心内容。尤其是小学语文这门学科，作为一门基础学科的教师，不但要帮助学生掌握知识，同时还需要培养学生各项基本能力，促使学生得以全面发展。由此，在小学语文教学过程中分层教学的应用是非常有必要的。一、因材施教，进行合理分层教学分层教学在小学语文课堂应用的过程中，教师必须要充分掌握课堂中的各个环节，而这就要求教师必须在上课之前进行分层备课。要进行有效的分层备课，教师应掌握两点，首先就是把握好语文教学内容，也就是“教材”，其次就是把握好学生，而这就是“人才”。把握“教材”就是对所要教学的内容深入了解。当然，重要的是把握“人才”，这就需要教师对本班的学生进行一个深入了解，充分把握学生的身心发展特点。只有如此，才能针对学生的差异采取相应的教学方式，对学生进行有效的引导，如此才能充分挖掘学生的潜力，提高学生的语文学习效果。并且，教师在分层教学应用的过程中，应明确自身的引导作用。教师应深入了解学生的个性差异以及学生的知识水平，以此为主要参考，为学生设计相应的教学方式，因材施教。唯有这样，才能让学生在课堂中的主体地位得以显现，从而培养学生在课堂学习中的主体意识，让学生积极主动地进行语文的学习，从而强化语文课堂的教学效果。二、多层互动，进行有效分层教学语文教学的主要途径就是课堂教学，故而为了提高全体学生的语文水平，真正成为语文课堂活动中的主人，教师应通过多层互动来培养学生的合作意识，让学生成为课堂学习活动中的主人。每一个学生都是不可复制的，他们都或多或少存在着差异，故而，实施分层教学过程中，教师需要注重多层互动的应用。语文课堂教学是面向全体学生的，故而只有多层互动的教学才能让每一个学生在资源共享中语文水平得到一定的提高。也只有通过多层互动的层次教学，才能让学生之间取长补短，从而达到共同提高的目的。具体而言，就是教师应对全班学生进行一定的了解，然后根据学生的长处与短处进行归类，对这些学生科学地进行分组。比如在一篇课文的教学中，教师就可以将一些朗读能力好的学生与阅读能力强的学生划分到一个小组中去，让这些学生针对这篇文章进行相应的学习。如此一来，不但让这些学生在交流的过程中提高自身的水平，取长补短，从而与同学分享自己的长处，补足自己的弱项，同时充分明确了学生在语文课堂中的主体地位，体现了分层教学在小学语文教学中的应用。总而言之，在素质教育的大进程中，推广分层教学在小学语文教学中的应用是非常有必要的，通过培养学生的合作意识与主体意识，进而带动学生的全面发展。作为小学语文教师，应在具体的教学活动中对分层教学的应用不断地实践与研究，重复学生的个性，从新时期学生的特点出发，制订学习方法，只有如此，才能充分发挥分层教学对学生的作用。消解(归结)原理归结推理归结推理是一种定理证明方法,1965年由Robinson提出,从理论上解决了定理证明问题对于定理证明问题,如果用一阶谓词逻辑表示的话,就是要求对前提P和结论Q证明P→Q是永真的。然而要证明这个谓词公式的永真性,这是极基困难的。为化简题,我们考虑反证即我们先否定逻辑结论Q,再由否定的逻辑结论~Q及前提条件P出发推出矛盾即可,也就是说,只要证明P∧~Q是不可满足的即可。谓词公式与子句集然而,由于谓词公式千变万化,形形色色给谓词演算的研究带来一定的困难。为此,这里先介绍两种谓词演算公式的标准型,也就是范式;因而对谓词演算的研究就可以归结为对范式的研究。范式1.前束形范式个谓词公式,如果它的所有量词均非否定地出现在公式的最前面,且它的辖域一直延伸到公式之末时公式中不出现连接词→及,这种形式的公式称作前束形范式。例如公式(Vx)(y)0Vx)(P(x)∧F(y,x)∧Q(y,3)即是一个前束形的范式。优点:量词全部集中在公式的前面,此部分称作公式的首标,而公式的其余部分实际上是一个命题演算公式。缺点:杂乱无章,量词的排列没有一定的规则范式2.斯克林范式(Skolem)斯克林范式对前束形范式进行了改进,使得首标中所出现的量词具有一定的规即每个存在量词均在全称量词的前面。如xey)(vz(P(x)AQ(y)AF(z)这是离散数学中有关Skole范式的定义。在人工智能的归结推理研究中,Skolem标准形的定义是,从前束形范式中消去全部存在量词所得到的公式称为Skolem标准形,它的一般形式是(VxCVx,(Vx(xM(xu,x,,.,x其中M(xx…x)是一个合取范式,称为Sko|em标准形的母式。将谓词公式G化为Skolem标准型的步骤如下1消去谓词公式G中蕴涵符(→>)和双条件符号(←),以~AB代替A→B,以(AAB)(~A∧~B)替换A←→B2减少否定符(~)的辖域,使否定符号最多只作用到一个谓词上。3重新命名变元,使所有的变元名字均不同,并且自由变元与约束变元亦不同。4消去存在量词。这里分两种情况,一种情况是存在量词不在全称量词的辖域内,此时,只要用一个新的个体常量替换该存在量词约束的变元;另一种情况是,存在量词位于个或多个全称量词的辖域内,例如(Vx(Vx,).(Vx,)Gy)P(x,,x将谓词公式G化为Skolem标准型的步骤(续)此时,变元y实际受前面的变元的约束,需要用Skolem函数f(x,x2…,x)替换y即可将存在量词y消去,得到(x)(Vx2)…(∨xn)P(x1,x2,…,xn,f(x,x2,…,xn)5把全称量词移到公式的左边,并使每个量词的辖域包括这个量词后面公式的整个部分6母式化为合取范式:任何母式都可以写成由些谓词公式和谓词公式否定的析取的有限集组成的合取。将谓词公式G化为Skolem标准型例:将以下谓词公式化为skolem标准型。G=(Vx)(y)P(x,y)→>~(yy)(Q(x,y)→R(x,y))解按照将谓词公式化为skolem标准型的步骤解题如下:(1)取消“→”和连接词(Vx)((Vy)P(x,y)v=(vy)(o(x,y)VR(x,y)))(2)把“~”的辖域减少到最多只作用于一个谓词。(Vx(Ey)-P(x,y)vy((,y)A-R(x,y)))将谓词公式G化为Skolem标准型(续)3)变量更名(Vx(ey)-P(x,y)vGz(o(x,z)A-R(x,z)))(4)消存在量词。因为存在量词和都在辖域内,属于上述所讲的第二种情况,所以分别用