是找到既新颖又优雅的证明。
历史.1955年，当纽厄尔和西蒙开始研发逻辑理论家时，人工智能领域尚未存在，就连术语“人工智能”也在第二年的夏天才开始使用。西蒙本身是一位政治科学家，当时他已经在研究官僚如何运作以及持续拓展他的有限理性理论（为此他后来得到诺贝尔奖）。研究商业组织时需要人工智能拥有像人类一样决策和解决问题的洞察力。西蒙记得在20世纪50年代初向兰德咨询时看到一台打印机在印地图，使用普通字母和标点符号作为符号。他意识到可以整理和排列符号的机器也可以模拟决策过程，甚至可以