论文部分内容阅读
【正】 一、引言西蒙教授是美国卡内基·梅隆大学计算机和心理系的教授,诺贝尔经济奖的获得者,人工智能先驱者之一。从50年代中期开始,30年来他一直致力于认知心理学的人工智能的研究。1956年,他与纽维尔(NeweiⅠ),肖写(show)通过研究人证明定理的心理过程,建立了机比证明定理的启发式搜索法,编制了一个称为“逻辑理论家”的程