机器发现的递归函数法  

RECURSIVE FUNCTION METHOD FOR MACHINE DISCOVERY

作　　者：李爱中[1] 黄梯云[1] 洪家荣[2] 

机构地区：[1]哈尔滨工业大学管理学院,哈尔滨150006 [2]哈尔滨工业大学计算机科学与工程系,哈尔滨150006

出　　处：《计算机学报》1993年第8期577-582,共6页Chinese Journal of Computers

基　　金：国家教委博士教育基金

摘　　要：为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。In the paper,recursive function method is presented to tackle the problems of machine discovery.In the method,the only theorem term is the function to be discovered,thus the adaptability of term is guaranteed and the discovery power is improved.Based on the theory of recursive function ,this method adopts primitive recursive formula in function representation and is easy to be implemented on computer.

关 键 词：机器 递归函数 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]