代数递归谓词的归纳学习

来源 :第四届中国人工智能联合学术会议 | 被引量 : 0次 | 上传用户:leighttt
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于代数递归函数类的代数递归谓词,具有很强的表达能力,足以满足一般的应用。该文探讨了多项式谓词以及更进一步的代数递归谓词在示例集上的归纳学习,并给出了在一般平台上的学习算法。
其他文献
本文主要对陈仓区林业产业近几年来发展现状进行了总结,对林业产业发展现状进行了客观分析,探讨了我们今后林业产业发展的方向及趋势,为陈仓区林业产业又好又快的发展提供了
该文在代数多重网格法中采用较新的方法构造插值算子和粗网格方程组系数矩阵,构造了求解线性代数方程组的快速有效、适用范围广的代数多重网格法求解器,并将该求解器用于不可压
该文采用代数方法快速生成翼-身-尾组合体三维0-C型贴体网络,使用椭圆方程方法进行光滑,迭代数次,即可得到较光滑的全机网格。并用中心格式有限体积法求解跨声速EULER方程,以某翼-身-尾组合体
农产品质量安全检测技术,是检测食品安全的重要技术手段,为人类的食品安全带来了安全的保障.本文介绍了农产品质量安全检测技术的现状,重点探讨了其未来发展趋势,包括:完善农
紫薇,又名痒痒树,为千屈菜科紫薇属.因其花色鲜艳,花期长百日以上,又称“百日红”,是夏季重要的观赏花木.独干紫薇广泛用于行道绿化和庭园布置,是良好的绿化树种,具有独特的
n个变量的模糊开关函数f是映射〔0,1〕[*n*]→〔0,1〕的一种表达式,使f可用Kleene代数中算子的逻辑公式表示,该文综述有关简化模糊开关函数的概念算法,有关的信息和成果,并对简化模
人类社会依靠科学技术不断壮大发展,但是却忽视了保护环境的重要性,从而引发一系列环境问题.本文从环境现状的角度出发,探讨对环境管制以及企业在进行环保投资中出现的问题,
会议