人工智能通识课-大学-第七讲 人工智能的发展历程.pptx

1;2;达特茅斯会议后的十年被称为黄金十年，是人工智能的第一次高潮。当时很多人持有乐观情绪，认为经过一代人的努力，创造出与人类具有同等智能水平的机器并不是问题。;在这十年里，包括ARPA在内的资助机构向AI研究投入大笔资金，希望制造出具有通用智能的机器。

这一时期的典型方法是符号方法，该方法遵循思维计算化的基本思路，以基本假设为前提，利用符号演算解决推理问题。启发式搜索是这一时期的典型算法。

这一时期的代表性成果包括定理证明、基于模板的对话机器人，以及感知器模型。;1959年，王浩提出高效算法，在9分钟内将《数学原理》中所有定理证明完成。

1965年，罗宾逊提出归结法，进一步拓展了定理证明的适