机器发现的递归函数法

RECURSIVE FUNCTION METHOD FOR MACHINE DISCOVERY

为了解决机器发现所面临的问题,本文提出了一种新的机器发现方法——递归函数法,该方法把待求函数本身作为唯一的理论项,从而保证了理论项的合适性;其发现能力也有所提高,该方法采用原始递归式定义函数,递归函数在理论上比较完善,故该方法具有很好的理论依据并且便于计算机实现。

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.