论文部分内容阅读
本文对解释学习(EBL)中可操作性的形式化描述进行了初步探讨.强调了执行系统在学习中的作用,并将它形式化为一个公理系统;提出了等价置换概念,给出了可操作性的数学描述,最后验证了一个路线规划系统PLAN.
解释学习的可操作性
【摘 要】
：
本文对解释学习(EBL)中可操作性的形式化描述进行了初步探讨.强调了执行系统在学习中的作用,并将它形式化为一个公理系统;提出了等价置换概念,给出了可操作性的数学描述,最后
【机 构】
：
清华大学计算机科学与技术系,清华大学计算机科学与技术系北京100084,北京100084
【出 处】
：
计算机学报
【发表日期】
：
1992年2期
其他文献
本文用比较一般化的形式,综述我们近期的工作,并把它和国际近期发表的各种测试产生系统进行了比较,以发现它的优点和不足,以及具有的水平.
本文提出了结构程序和结构程序系统的严格定义.系统地论述了它们的层次结构.并在此基础上研究了它们的复杂程度的数学描述问题,给出了一些对软件设计具有指导意义的公式.
原油转势、衰退甚至恶化的经济环境．令农产品的金融与工业属性光环褪色．重归自身商品属性本色。面对需求放缓、供应增长的基本面，美豆以往供需偏紧的格局将获得扭转．同时2009年播
目的研究常压低氧性肺动脉高压大鼠肺内p53基因的表达及探讨肺血管重建（PVR）的分子机制。方法20只雄性SD大鼠随机分为对照组、低氧组,每组10只。采用常压间断低氧8h/d,连续21d
1.SP~2N~2S~2系统简介 SP~2N~2S~2系统是一个多指令多数据流(MIMD)并行处理系统,系统结构如图1所示,由图1可知,四个DSP芯片TMS320C25彼此通过双端口存储器(DPM)互连成环形结
本文提出了一个利用集合运算生成最小生成树的算法。研究了实现集合运算的数据结构及施加在这个结构上的算法。该算法利用公式分组排序。利用路径压缩的方法进行查找，并运算。
2009年上半年CBOT大豆强劲上涨。除自身基本面因素推动外．投机因素起到了至关重要的作用。而国内大豆在外盘上涨带动、国内政策面干预及供需形势等多空因素影响下．大连大豆在上
本文提出一种时间复杂性为O(m+n)的算法,在一个多边形的凸包不和另一个多边形相交的条件下,该算法可确定二个多边形是否相撞,在相撞时可确定全部碰撞部位.本文还证明了确定碰
围绝经期功能失调性出血是指非全身或生殖系统局部的各种器质性疾病所引起的异常子宫出血,多为无排卵性功血,由于其体内仅有单一雌激素作用,缺乏孕激素作用,使子宫内膜增生,