论文部分内容阅读
<正> 自动推理研究近年的进展 自动推理研究有两条路线:一是研究一般的推理规律和方法,一是面向具体领域的研究。多年的经验表明,面向具体领域的研究其成效更为显著。符号计算软件的普及和深蓝计算机系统战胜国际象棋世界冠军是两个广为人知的例子。后一个例子有很大的广告效应,前一个例子却有实际的意义。在近20年来,符号计算软件的广泛应用使得大量