%0 Journal Article
%T 推理机的现在与将来
%A 余少波
%A 胡守仁
%J 计算机科学
%D 1990
%I 
%X 在认知、问题求解、概念学习以及其它的许多智能活动中,推理是一个极为重要的过程。自动推理的研究早在1956年就已经开始了。目前对自动推理的研究,大体上可分为三个主要方面：非归结方法,非单调推理和实用推理技术。
%K 推理机
%K 计算机
%K 人工智能
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=926BA194465B56E352CC021789C6CD9A&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=E158A972A605785F&sid=708DD6B15D2464E8&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0