推理机的现在与将来

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