• / 127
  • 下载费用:10 金币  

国考经典逻辑推理.ppt

关 键 词:
国考经典逻辑推理.ppt
资源描述:
2019/9/10,福州大学阳光学院计算机系,1,第四章 经典逻辑推理,基本概念 命题逻辑的归结法 子句形 Herbrand定理 归结原理 归结过程的策略控制,2019/9/10,福州大学阳光学院计算机系,2,第四章 经典逻辑推理,基本概念 命题逻辑的归结法 子句形 Herbrand定理 归结原理 归结过程的策略控制,2019/9/10,福州大学阳光学院计算机系,3,基本概念,推理 什么是推理:依据一定的规则(策略)从已知的事实推出新事实(结论)的过程称为推理。,2019/9/10,福州大学阳光学院计算机系,4,基本概念,推理 推理方式及其分类 p.112演绎推理、归纳推理(完全与否)、默认推理确定推理、不确定推理单调推理、非单调推理启发式推理、非启发式推理…………,2019/9/10,福州大学阳光学院计算机系,5,基本概念,推理 推理的控制策略,即求解问题的策略。有推理方向、搜索策略、冲突消解策略、求解策略及限制策略等。 推理方向 正向推理:由原始数据出发寻找可用的知识得出新事实,如此继续直至得到结论。自底向上(bottom-up) ,事实驱动方式。 反向推理:先提出假设,由此出发,进一步寻找支持假设的证据,当所需证据与用户提供原始数据相匹配则成功。自顶向下(top-down),目标驱动方式。,2019/9/10,福州大学阳光学院计算机系,6,基本概念,正向推理过程 规则集中的规则与数据库中的事实进行匹配,得到匹配的规则集合。 从匹配的规则集合中选择一条规则作为使用规则。 执行使用规则的后件。将该使用规则的后件输入数据库。 重复进行,直到达到目标。,2019/9/10,福州大学阳光学院计算机系,7,基本概念,正向推理算法(产生式系统) 断言一个事实 使事实与某个规则的前提相匹配 完成事实和前提的合一代换 把代换应用于规则的结论 断言结果,并把它应用于进一步的推理 重复1)~ 5),2019/9/10,福州大学阳光学院计算机系,8,基本概念,,,正向推理算法流程,2019/9/10,福州大学阳光学院计算机系,9,基本概念,设计一正向推理系统 能用数据库(黑板)中的事实去匹配规则的前提,若匹配不成功,能自动地进行下一条规则的匹配,在匹配时,采用什么策略等问题应考虑周到。 若某条规则匹配成功了,系统能将此规则的结论部分自动加入数据库。 能判断什么时候结束推理。 能将匹配成功的规则记录下来。,2019/9/10,福州大学阳光学院计算机系,10,基本概念,反向推理过程 用规则集中的规则后件与目标事实进行匹配,得到匹配的规则集合。 从匹配的规则集合中选择一条规则作为使用规则。 把执行的使用规则的前件作为下一个循环的目标事实 。 重复进行,直到达到目标。,2019/9/10,福州大学阳光学院计算机系,11,基本概念,反向推理算法(产生式系统)提出获取事实(目标)的请求目标和任何已知的事实都不匹配目标和一条规则的结论匹配进行目标和结论的合一代换将代换应用于规则的前提这个结论成为系统的新目标新目标将执行动作8) 重复1)~ 7),2019/9/10,福州大学阳光学院计算机系,12,基本概念,反向推理算法流程,2019/9/10,福州大学阳光学院计算机系,13,基本概念,设计一反向推理系统 能根据用户要求或情况提出假设。 能验证此假设是否在数据库中。 能从知识库中将结论部分包含此假设的规则都找出来。 能将找出来的规则的前提部分取出并作为新假设逐条验证。 能判断假设是否是证据节点,若是,能向用户提出相应问题并记录结果。 能将匹配成功的规则记录下来。 能判断何时应结束推理。,2019/9/10,福州大学阳光学院计算机系,14,基本概念,推理 冲突消解策略1 规则排序:规则的编排顺序就是规则启用的优先级。 专一性排序:若某一规则的条件部分规定的情况比另一条规则的条件部分所规定的情况更专门,则这条规则有较高的优先级。 就近排序:把最近使用的规则放在最优先的位置。 规模排序:按规则条件部分复杂程度排序,越复杂越优先。,2019/9/10,福州大学阳光学院计算机系,15,基本概念,推理 冲突消解策略2 数据排序:把规则条件部分的所有条件项按优先级次序组织,可用知识的次序由这些知识所含条件按字典排序方法进行选择。 上下文限制:按问题求解状态或新描述的上下文分块组织知识库,在某一求解状态,只能使用相对应组中的知识。 数据冗余限制:若知识的操作产生上下文冗余项时,则降低该知识的优先级。,2019/9/10,福州大学阳光学院计算机系,16,基本概念,模式匹配(代换与合一) 什么叫模式匹配:是指对两个知识模式(谓词公式、框架片断、语义网络片断等)的比较与耦合,即检查这两个知识模式是否完全一致或近似一致。模式匹配有确定性匹配与不确定性匹配。 什么叫合一:一个表达式(公
展开阅读全文
  微传网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
0条评论

还可以输入200字符

暂无评论,赶快抢占沙发吧。

关于本文
本文标题:国考经典逻辑推理.ppt
链接地址:https://www.weizhuannet.com/p-9839977.html
微传网是一个办公文档、学习资料下载的在线文档分享平台!

微传网博客

网站资源均来自网络,如有侵权,请联系客服删除!

 网站客服QQ:80879498  会员QQ群:727456886

copyright@ 2018-2028 微传网络工作室版权所有

     经营许可证编号:冀ICP备18006529号-1 ,公安局备案号:13028102000124

收起
展开