欢迎来到工友文库! | 帮助中心 工友共享,造福你我!
工友文库
全部分类
  • 行业文库 >
    行业文库
    行业标准 农林牧渔 能源矿业 电力热力 水利环境 材料技术 地理测绘 建筑工程 机械工程 制造加工 交通物流 网络计算 电气机电 信息通讯 汽车行业 航空航天 船舶工程 光电工程 住宿餐饮 财会金融 房地产业 城建规划 装饰装修 家电维修 电商行业 租赁商务 批发零售 居民服务 教育服务 医药卫生 体育行业 公共管理 图书管理 外语翻译 休闲旅游 文艺传媒 其他行业
  • 商业文档 >
    商业文档
    企业计划 工程管理 广告经营 财务报表 物业管理 质控管理 企业文化 绩效管理 商务礼仪 创业孵化 市场营销 经营企划 销售管理 营销创新 资本运营 招商加盟 合同协议 信息管理 励志材料 人事档案 员工关系 薪酬管理 招聘面试 其它文档
  • 办公文书 >
    办公文书
    统计图表 总结报告 演讲致辞 心得体会 述职报告 工作计划 解决方案 调研报告 事务文书 经验事迹 往来文书 规章制度 申请范文 求职简历 活动策划 会议纪要 党建材料 软件教程 其他文书
  • PPT模板库 >
    PPT模板库
    扁平风格 创意新颖 动画效果 动态模板 简约风格 静态模板 环保绿色 卡通风格 立体风格 欧洲风格 手绘风格 创意黑板 相册风格 星空风格 炫酷科技 中国风格 医疗风格 高端商务 工作常用 总结报告 毕业答辩 节日庆典 公益风格 化妆美容 婚礼策划 餐饮美食 培训课件 融资路演 商业策划 英文模板 党政机关 述职竞聘
  • 小学初中 >
    小学初中
    幼儿教育 小学语文 小学数学 小学英语 初中语文 初中数学 初中英语 初中物理 初中化学 初中地理 初中生物 初中政治 初中历史 思想品德 小学竞赛 初中竞赛 其他学科
  • 高中教育 >
    高中教育
    高中语文 高中数学 高中英语 高中物理 高中化学 高中生物 高中地理 高中政治 高中历史 高考资料 高中竞赛 其他学科
  • 高等教育 >
    高等教育
    基础课 艺术类 哲学类 体育类 水利类 测绘类 法学类 历史学 社会学 心理学 教育学 政治学 统计学 房地产 语言文化 生物科学 医药卫生 天文气象 地理科学 环境科学 系统科学 材料科学 机械仪表 图书档案 土建工程 海洋工程 轻工纺织 工程力学 能源动力 光电工程 电力技术 市政工程 财会金融 工商管理 语言文学 广播影视 公安司法 汽车汽修 交通运输 水产加工 植物生产 森林资源 动物科学 食品加工 餐饮旅游 公共事业 新闻传播学 农林业工程 城镇规划管理 水文与水资源 地矿及资源勘查 航空航天与武器 管理科学与工程 农林业经济管理 机电设备及自动化 计算机与信息科学 大学生竞赛资料
  • 执业资格考试 >
    执业资格考试
    财会类考试 建筑类考试 外贸类考试 外语类考试 医药类考试 管理类考试 公务员类考试 司法法律考试 教师资格考试 计算机类考试 公共服务类考试 其他资格证考试
  • 一线采风 >
    一线采风
    一线新闻 事迹宣传 工友作品
  • 教育视频 >
    教育视频
    幼儿教育视频 小学教育视频 初中教育视频 高中教育视频 大学教育视频 C#自学视频教程 软件视频教程 英语视频教学 其他教学视频
  • 换一换
    首页 工友文库 > 资源分类 > PPTX文档下载
     

    人工智能第七章教学课件.pptx

    • 资源ID:20112       资源大小:156.02KB        全文页数:24页
    • 资源格式: PPTX        下载权限:注册会员/VIP会员    下载费用:0金币 【人民币0元】
    下载资源需要0金币 【人民币0元】
    已注册用户请登录:
    账号:
    密码:
    验证码:   换一换
      忘记密码?
        
    友情提示
    2、PDF文件下载后,可能会被浏览器默认打开,此种情况可以点击浏览器菜单,保存网页到桌面,既可以正常下载了。
    3、本站不支持迅雷下载,请使用电脑自带的IE浏览器,或者360浏览器、谷歌浏览器下载即可。
    4、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

    人工智能第七章教学课件.pptx

    8/17/2019,1,第七章 基于规则的演绎系统,,8/17/2019,2,,归结方法 优点实现简单(仅使用一条推理规则) 完备 缺点低效(不使用领域知识) 转换成子句形式过程中失去了控制信息 基于规则的演绎系统 优点易于理解(推理过程与人的推理过程相近) 高效(尽量使用与领域有关的知识) 缺点不完备,8/17/2019,3,基于规则的演绎系统,描述领域知识的逻辑语句分为两类 描述该领域的一般性规律-----转换成产生式规则 描述该领域的具体情况或状态----转换成产生式系统的状态描述 工作过程 选可用的产生式规则用于状态描述、产生新的状态描述,当产生的状态描述满足终止条件时,推导任务完成。 工作方式 正向系统以事实作为初始状态描述,以结论为终止条件的演绎系统 反向系统以结论作为初始状态描述,以事实为终止条件的演绎系统,8/17/2019,4,7.1 正向演绎系统,一、初始状态描述 先把描述事实的逻辑公式转换成不含蕴涵符号的AND/OR形式,再用AND/OR图表示。 事实表达式的AND/OR形转换 与化Skolem范式过程类似 不同不要求母式是合取范式 要求不同的主合取项里变量使用不同的名字。,8/17/2019,5,例,表示事实的逻辑公式 Gu v Q v,u ∧ Rv∨Pv ∧Su,v u v Q v,u∧ Rv ∧Pv ∨Su,v 用常量符号A代替u得 vQv,A∧Rv∧Pv∨SA,v 对变量改名,使得不同的主合取项里变量使用不同的名字 wQw,A∧ vRv∧Pv∨SA,v Qw,A∧ Rv∧Pv∨SA,v,8/17/2019,6,事实表达式的AND/OR图表示,节点表示事实AND/OR形式的子表达式 如果子表达式E1,,Ek的父亲节点是(E1∨∨Ek),则用k-连接符把这些子节点与父节点连接起来; 如果子表达式E1,,Ek的父亲节点是(E1∧∧Ek),则用1-连接符分别把这些子节点与父节点连接起来。,8/17/2019,7,,表示逻辑公式的AND/OR图的性质 该公式对应的所有子句可以从终止在叶节点的解图集合中 读出---- AND/OR图是子句形式的一种紧凑表示方式 例.Qw,A∧ Rv∧Pv∨SA,v对应的所有子句 Qw,A SA,v∨Rv SA,v∨Pv 都可从解图读出来。 Note其一般性要比子句形式稍差一点。 原因 在子句形式中,不同子句之间变量允许任意改名; 在AND/OR图表示中,改名有时会受到限制----仅允许最外层合取项间经改名无公共变量。,,8/17/2019,8,二、正向演绎系统的规则,F规则的形式L→W 是正常Skolem化后恢复成蕴涵式,且要求 L是单文字; W是AND/OR形公式; 出现在蕴涵式中的所有变量假定是对整个蕴涵式全称定量的; 不同规则使用的变量名互不相同; 规则与事实AND/OR图中的变量名也不相同。 Note正向演绎系统的规则的前提必须是单文字,看起来似乎限制很强。但是,很多逻辑公式可以转换成满足这种限制的规则. 例如,形式为(L1∨L2)→W的蕴涵式等价于两条规则 L1→W和L2→W。,8/17/2019,9,例,对于公式 xy zPx,y,z  uQx,u 可以通过如下步骤实现其转换 1暂时删除蕴涵符号 xy zPx,y,z ∨ uQx,u 2把否定符移到原子前 xy zPx,y,z ∨ uQx,u 3化前束范式xy z u(Px,y,z∨ Qx,u 4Skolem化用fx,y代z,得 Px,y,fx,y ∨ Qx,u 5恢复成蕴涵形式 Px,y,fx,y→Qx,u,8/17/2019,10,,F规则的使用 规则L→W中的L同AND/OR图叶节点n匹配合一下成功时,称为使用该规则的一次推理。 应用规则的结果把表示W的AND/OR图通过L连到AND/OR图的节点n上,n和它的后继节点L以1-连接符(称为匹配弧,用 标记)连接。,8/17/2019,11,例. 已知事实P∨Q∧R∨S∧T∨U 带有文字S的子句是P∨Q∨S和R∨S 规则S→X∧Y∨Z 子句形式是S∨X∨Z和S∨Y∨Z,,8/17/2019,12,图7.3 应用一条规则后所得到的AND/OR图 X∨Z∨P∨Q,Y∨Z∨P∨Q,R∨Y∨Z,R∨X∨Z都包含在解图所表示的子句中,,8/17/2019,13,,结论对AND/OR图应用一条规则的过程,以十分简便高效的方式达到了使用归结方法经过多次归结才能达到的目的。 当对一个节点应用规则后,这个节点已经不再是叶节点了,但它仍然用单文字标记。 把单文字标记的节点叫文字节点,并且规定对文字节点可以继续使用规则。 这样应用规则后的AND/OR图既能表示原来的事实公式又能表示推理结果。 终止于文字节点的解图对应于AND/OR图所表示的子句。,8/17/2019,14,包含变量的正向演绎系统例 事实Px,y∨Qx,A∧RB,y 子句 Px,y∨Qx,A Px,y∨RB,y 规则PA,B→SA∧XB,,8/17/2019,15,新增加的叶节点与原图的叶节点构成两个新的解图,与这两个解图对应的子句是SA∨XB∨QA,A和SA∨XB∨RB,B,,,8/17/2019,16,三、正向演绎系统的目标,目标公式形式文字的析取形式。 当目标公式包含存在定量和全称定量的变量时,是经对偶Skolem化后的文字的析取形式; 对公式中的变量进行改名,使得不同的析取项中没有相同的变量。 Note对偶Skolem化全称量词用存在量词的Skolem函数所代替,然后把存在量词删去,出现的变量假定都是存在定量的。 改名依据xW1x ∨W2xxW1x∨ yW2y,8/17/2019,17,,目标节点 基情形当目标公式中的一个文字与AND/OR图中的一个文字n相匹配时,我们把匹配的目标文字作为节点n的后继加到AND/OR图上,这个节点称作目标节点。 含变量情形当目标公式中的一个文字与AND/OR图中的一个文字n可合一时,我们把匹配的目标文字作为节点n的后继加到AND/OR图上,其间以匹配弧相接,用最一般合一标记,这个节点称作目标节点。 产生式系统成功终止条件 基情形当AND/OR图包含一个终止在目标节点的解图时,产生式系统成功地终止。 含变量情形对AND/OR图不断地应用规则,当AND/OR图包含一个终止于目标节点的相容解图时,系统成功地终止。把合一复合用于相容解图,就得到从事实到目标的证明。,8/17/2019,18,例 事实A∨B 规则A→C∧D B→E∧G 目标 C∨G,,,,,,,8/17/2019,19,,Note对于A∨B,因为不知道A是真的还是B是真的,必须分情况加以证明,先假定A是真的去证明目标,再假定B是真的去证明目标。只有当这两个证明都成功时,才能算做是证明了目标。因此在图7.4中,节点(A∨B)的两个后继用2-连接符号(A∨B)连接,这就是为什么在AND/OR图中要使用k-连接符连接析取节点与其后继的理由。,8/17/2019,20,四、 正向演绎系统的相容解图,定义(替换的相容性集合、合一复合替换) 设有替换集合{σ1 ,σ2 ,,σn},每一σi 具有如下形式 σi {ti1/vi1 ,,timi/vimi} 其中ti1,,timi 是项,vi1,,vimi是变量; 我们用这些替换构造两个表达式U1和U2如下 U1 {v11,,v1m1,,vn1,,vnmn } U2 {t11,,t1m1,,tn1,,tnmn)} 如果U1 和U2是可合一的,则替换集合{σ1 ,σ2 ,,σn}称作是相容 的,否则称作是不相容的, U1 和U2的最一般合一替换也叫做{σ1 ,σ2 ,,σn}的合一复合替换。,8/17/2019,21,,例问如下{σ1,σ2}是否相容 若相容,给出合一复合替换。设1{σ1,σ2}{{A/x},{B/x}} 2{σ1,σ2}{{x/y},{y/z}} 3 {σ1,σ2}{{fz/x},{fA/x}} 4 {σ1,σ2}{{gy/x},{fx/y}},8/17/2019,22,Note只有对具有相容匹配替换的解图才考虑它对应的子句集是合理的.,例.事实Px∨Qx 规则PA→RA QB→RB RA∨RB不是该AND/OR图的一个子句表示。,8/17/2019,23,例. 事实DOGFIDO∨BARKSFIDO∧BITESFIDO 规则R1 DOGx→TERRIERx R2 BARKSy→NOISYy 目标 TERRIERz∨NOISYz,相容解图, 合一复合替换 {FIDO/x,FIDO/y,FIDO/z}, 把该替换用于解图的叶节 点,得到 TERRIERFIDO∨NOISYFIDO,8/17/2019,24,正向演绎系统不完备,原因 目标形式单一 改名不彻底,导致AND/OR图的一般性比子句差,有些推理问题通过使用子句的归结演绎能推出来,但用正向演绎系统推不出来。,

    注意事项

    本文(人工智能第七章教学课件.pptx)为本站会员(小旋风)主动上传,工友文库仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知工友文库(发送邮件至gydoc@qq.com或直接QQ联系客服),我们立即给予删除!

    温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。




    copyright@ 2019-2022 工友文库网站版权所有
    经营许可证编号:鲁ICP备19032292号-1


    1
    收起
    展开