推理机的现在与将来

The Present and Future of Inference Machines

在认知、问题求解、概念学习以及其它的许多智能活动中,推理是一个极为重要的过程。自动推理的研究早在1956年就已经开始了。目前对自动推理的研究,大体上可分为三个主要方面：非归结方法,非单调推理和实用推理技术。

<Absract>In this paper, firstly, we summarized the history and present of inference methods and inference machines, then, we suggested one of important developing directions is to develop the neural network inference machine