-
题名机器发现的递归函数法
被引量：2
- 1
-
-
作者
李爱中
黄梯云
洪家荣
-
机构
哈尔滨工业大学管理学院
哈尔滨工业大学计算机科学与工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
1993年第8期577-582,共6页
-
基金
国家教委博士教育基金
-
文摘
为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。
-
关键词
机器
递归函数
-
Keywords
machine discovery,recursive function,primitive recursive formula,goal restraint.
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
