欢迎来到天天文库
浏览记录
ID:42182473
大小:2.83 MB
页数:73页
时间:2019-09-09
《第三章 经典逻辑推理》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、第3章经典逻辑推理掌握内容1掌握谓词公式的概念及可满足性的定义,弄清置换与合一的概念,掌握求取最一般合一置换的方法2掌握归结原理及归结推理方法。掌握Skolem标准式和子句集的求取方法,理解谓词公式和子句集在不可满足意义下的一致性,弄懂Herbrand定理,掌握H域、原子集、H域上的解释求法,掌握命题逻辑和谓词逻辑中的归结原理3掌握利用归结原理进行定理证明的方法掌握应用归结原理进行问题求解的方法掌握归结过程中的控制策略3.1基本概念13.2自然演绎推理23.3归结演绎推理33.4与/或形演绎推理43.1基本概念返回3.1.1什么是推理按某种策略由已知判断推出另一判断的思维过程
2、推理已知判断包括已掌握的与求解问题有关的知识及关于问题的已知事实推理的结论由已知判断推出新判断推理机推理由程序程序实现,称为推理机从一种判断推出另一种判断3.1.2推理方式及其分类推理的基本任务按判断推出的途径来划分演绎推理归结推理默认推理推理的分类演绎推理从全称判断推导出特称判断或单称判断的过程三段论式演绎推理结论:由大前提推出的适合于小前提所示情况的新判断小前提:关于所研究的具体情况或个别事实的判断大前提:已知的一般性知识或假设在任何情况下,由演绎推导出的结论都是蕴涵在大前提的一般性知识中只要大前提和小前提是正确的,则由它们推出的结论必然是正确的推理过程归纳推理从足够多的
3、事例中归纳出一般性结论的推理过程,是一种从个别到一般的推理归纳推理完全归纳推理不完全归纳推理归纳推理在进行归纳时考察了相应事物的全部对象,并根据这些对象是否都具有某种属性,从而推出这个事物是否具有这个属性只考察了相应事物的部分对象就得出了结论枚举归纳推理:若已知某类事物的有限可数个具体事物都具有某种属性,则可推出该类事物都具有此属性类比推理:在两个或两类事物有许多属性都相同或相似的基础上,推出它们在其他属性上也相同或相似的一种推理默认推理摆脱了需要知道全部事实才能进行推理的需求,使得在知识不完全的情况下也能进行推理又称缺省推理,它是在知识不完全的情况下假设某些条件已经具备所进
4、行的推理默认推理推理推理时所用的知识不都是精确的,推出的结论也不完全是肯定的,真值位于真与假之间,命题的外延模糊不清不确定性推理确定性推理推理时所用的知识都是精确的,推出的结论也是确定的,其真值或者为真,或为假,没有第三种情况出现按推理时所用知识的确定性来划分推理在推理过程中由于新知识的加入,不仅没有加强已推出的结论,反而要否定它,使得推理退回到前面的某一步,重新开始非单调推理单调推理在推理过程中随着推理的向前及新知识的加入,推出的结论是呈单调增加的趋势,并且越来越接近最终目标,在推理过程中不出现反复的情况按推理过程中推出的结论是否单调地增加一个思维过程,即求解问题的过程推理
5、过程推理的控制策略推理方向搜索策略冲突消解策略求解策略限制策略3.1.3推理的控制策略3.1.3推理的控制策略正向推理以已知事实作为出发点的一种推理,又称为数据驱动推理、前向链推理、模式制导推理及前件推理逆向推理以某个假设目标为出发点的一种推理,又称为目标驱动推理、逆向链推理、目标制导推理及后件推理1.推理方向3.1.3推理的控制策略混合推理已知的事实不充分。通过正向推理先把其运用条件不能完全匹配的知识都找出来,并把这些知识可导出的结论作为假设,然后分别对这些假设进行逆向推理由正向推理推出的结论可信度不高希望得到更多的结论先正向再逆向通过正向推理,即从已知事实演绎出部分结果,
6、然后再用逆向推理证实该目标或提高其可信度先逆向再正向先假设一个目标进行逆向推理,然后再利用逆向推理中得到的信息进行正向推理,以推出更多的结论3.1.3推理的控制策略双向推理双向推理是指正向推理与逆向推理同时进行,且在推理过程中的某一步骤上“碰头”的一种推理。正向推理所得的中间结论恰好是逆向推理此时要求的证据3.1.3推理的控制策略2.求解策略推理是只求一个解还是求所有解以及最优解等3.限制策略对推理的深度、宽度、时间、空间等进行限制3.1.3推理的控制策略4.冲突消解策略在推理过程中,匹配会出现三种情况已知事实可与知识库中的多个知识匹配成功;或者有多个(组)已知事实都可与知识
7、库中某一知识匹配成功;或者有多个(组)已知事实可与知识库中的多个知识匹配成功已知事实恰好只与知识库中的一个知识匹配成功已知事实不能与知识库中的任何知识匹配成功3.1.3推理的控制策略出现冲突的情况逆向推理:如果有多条产生式的后件都和同一假设匹配成功,或者有多条产生式后件可与多个假设匹配成功正向推理:如果有多条产生式规则的前件都和已知的事实匹配成功;或者有多组不同的已知事实都与同一条产生式规则的前件匹配成功;或者两种情况同时出现3.1.3推理的控制策略1.按就近原则排序该策略把最近被使用过的规则赋予较高的
此文档下载收益归作者所有