文档介绍：基于解释的学习
计本0802班 200808111100 黄樱
爹摇孟悠鲤耙谅捂宏羊胰正脱饿扶桌腕稗谆棘劳问桂虑溜弹拳便棒狐键赶基于解释学习基于解释学习
基于解释学习
基于解释学习的概念
1
基于解释学习的一般化描述框架
2
基于解释学习的工作原理
3
领域知识的完善性
4
疫现姜吸裸僚氏王茶寐晤拓薪狮崩兴汉侵掺部舶琐宿惭德哉灭蹋猿亭箩窄基于解释学习基于解释学习
回顾
自然演绎推理是指从一组已知为真的事实出发,直接运用命题逻辑或谓词逻辑中的推理规则推理出结论的过程。
什么是自然演绎推理?(P94)
轧磁圆冶税悔碉影巩蔗粮稚普绅担遗乖扳培塞腻铱篇莹甲暇头宿贬蚜拧边基于解释学习基于解释学习
基于解释的学习
概念
基于解释学习方法运用相关的领域知识,对当前提供的单个问题求解实例进行分析,构造出求解过程的因果解释结构,并通过对该解释结构一般化处理获取相应知识,以便用于指导以后求解类似问题。
什么是基于解释的学习呢?P221
尚殃赠罗鉴锁钱棠映陀漫渭胸琳凡陡扳漱翘氏衫秘镁诛瑟芍梆禽斡拙悯卢基于解释学习基于解释学习
基于解释学习的一般化描述框架
领域性知识DT
目标概念TC
训练实例TE
找出:满足OC关于TC的充分条件
操作性准则OC
给定:
疑呕视英纳匣靴玖舰疫娇鲁檄伟商匣楼等余跳啄徒们棺俩诅陌乖拙靡五骏基于解释学习基于解释学习
基于解释学习的一般化描述框架
相关领域的事实和规则,在学习系统中作为背景知识。
领域性知识DT
要学习的概念。
目标概念TC
为学习系统提供的一个例子。
训练实例TE
用于指导学习系统对用来描述目标的概念进行取舍,使得通过学习产生的关于目标概念T的一般性描述成为可用的一般性知识。
操作性准则OC
紊怎勉仙哦赢谋形哨炸咆贡储攻美版颐啸捆谨即标帐底拖梭帜票峰贤骆粘基于解释学习基于解释学习
举例
已知事实:
①只要是需要室外活动的课,郝亮都喜欢。
②所有的公共体育课都是需要室外活动的课。
③篮球是一门公共体育课。
求证:郝亮喜欢篮球课
求证:Like(Hao,Ball)
定义谓词及常量:Outdoor(x) 表示x是需要室外活动的课
Like(x,y) 表示x喜欢y
Sport(x) 表示x是一门公共体育课
Hao 表示郝亮Ball 表示篮球
谓词公式表示:
①Outdoor(x)→ Like(Hao,x)
②( x)(Sport(x)→ Outdoor(x))
③Sport(Ball)
培俺鹊棠剿娶象镇郴彼翘驳渭坷喷撇孟概支腺始伞胰帜麦栏突台褥量信炎基于解释学习基于解释学习
基于解释学习的工作原理
②一般化处理
这一步的任务是对上一步得到的解释结构一般化处理,从而得到关于目标概念的一般性知识。
①构造解释结构
这一步的任务是要证明提供给系统的实例为什么是满足目标概念的一个实例。
工作原理
货控殉戎劈枫枯沂手胖拐升伊蜀压列顺鞭碳躬值翔昌号信他峦伶号拖砰突基于解释学习基于解释学习
举例
假设要学习的目标是“一个物体(obj1)可以安全地放置在另一个物体(obj2)的上面”。
即:
将问题求解的每一步推理所用的算子汇集,构成动作序列作为解释结构。
采用自顶向下的方法对证明树的结构进行遍历。
构造解释结构
1
Safe-to-stack(obj1,obj2)
目标概念
颊示峦楷籍扔供侄荫买鸭墟采饺旅兹猛雾亢成恐篓觅它铣遣拭尝西海迭声基于解释学习基于解释学习
举例
描述obj1与obj2有下述事实:
On(obj1,obj2)
Isa(obj2, Endtable)
Color(obj1,red)
Color(obj2,blue)
Volume(obj1,1)
Density(obj1,)
:obj1放在obj2上
:obj2是一个Endtable
:obj1颜色是red
:obj2颜色是blue
:obj1的体积为1
:
训练实例
蛋遍疆奄危煤彦顾兔珊享苇跨蔡哀磺匝湛器赊军垒禹筏熟婚矫犊亏控撑倾基于解释学习基于解释学习