基于归结的最大一般理论特化

来源 :计算机学报 | 被引量 : 0次 | 上传用户:GOUGOU2929
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种基于归结的并有关于背景适应吸示例的一致特化理论,该理论给出了最大一般特化假设的归结构造方法,可将其作为一种蕴涵意义下的一般理论特化框架。基于该理论,进一步提出k一般特化概念以解决特化的可计算性问题,并相应地给出特化算法。有关实验表明,该理论与算法能够正确并有效地进行一阶理论特化。
其他文献
本文对华东南(台湾、广东、海南)产的广东苏铁、台东苏铁及海南苏铁的形态学、解剖学和分类学问题,以及这几种苏铁的亲缘关系进行了讨论,本文附有检索表及图。
本文运用奇异值分解理论对多准则优化图象重建方法的求解稳定性及求解精度进行了研究,阐述了其重建质量的控制机理。
飞速发展的网络和存储技术使为大量的用同时提供视频点播功能的VOD系统成为可能,目前已有一批这样的系统问题,但这些系统为了保证一定数目的并发点播流,都预留了大量的设备资源。
互连网络路由器是MPP系统的关键部件,其性能优劣直接影响系统性能。路由器根据其所采用的路由算法可分为确定性和自适应路由器两种,其中自适应路由器有灵活性好,网络的通道利用率高
介绍了杂交油菜制种高产栽培技术,包括选地隔离、耕地、施基肥、种子处理、播种、生长期管理、收获等方面内容,以为油菜制种高产提供参考。
本文提出一个基于分布式局存的SIMD机器的循环分割理论体系以优化运算中所需要的数据传输。该体系使用矩阵表示迭代空间、数据空间和数组存取式。我们引入数据传输概念,并建立一个
MAS中agent结成求解联盟可以提高求解效率,但已有策略不能保证达到全局优化解和联盟稳定性。本文提出一种联盟形成的行为规范策略,在具有次加性的面向任务的领域中可以达到全局优化解,并
从我国正式实行事业单位会计制度至今,事业单位的会计核算有了很大程度的改进。然而,随着我国财政改革的不断深入,伴随着事业单位的体制改革的不断深化,目前事业单位会计制度存在
儿科是一个专科性极强的科室,患者病情变化快,语言表达能力欠佳,因此对护理要求较高。新入科护士的专科知识比较局限,技能和综合分析观察能力相对欠缺,为了尽快让其进入角色,