第一个人工智能引发了一场长达 70 年的争论

1956 年夏天，一小群计算机科学先驱在达特茅斯学院开会，讨论一个新概念：人工智能。会议提案的愿景是“学习的每个方面或智能的任何其他特征原则上都可以被如此精确地描述，以至于可以制造出一台机器来模拟它。”最终，他们只提出了一个存储在计算机打孔卡上的操作程序：逻辑理论家。

许多人将逻辑理论家称为第一个人工智能程序，尽管这种描述当时存在争议，现在也依然存在。逻辑理论家旨在模仿人类的技能，但对于这项发明是否真正反映了人类思维以及机器是否真的可以复制我们智能的洞察力存在分歧。不过，科学史学家认为逻辑理论家是第一个模拟人类如何运用推理解决复杂问题的程序，也是最早为数字处理器制作的程序之一。它是在一个新的系统——信息处理语言中创建的，对它进行编码意味着要在纸片上策略性地打孔，然后将其送入计算机。在短短几个小时内，逻辑理论家就证明了数学推理的基础文本《数学原理》中的 52 条定理中的 38 条。

普渡大学科学技术史学家叶卡捷琳娜·巴宾采娃 (Ekaterina Babintseva) 解释说，《逻辑理论家》的设计反映了其历史背景和其创始人之一赫伯特·西蒙 (Herbert Simon) 的思想。西蒙不是数学家，而是政治学家。西蒙对组织如何增强理性决策很感兴趣。他认为，人工系统可以帮助人们做出更明智的选择。

“逻辑理论家真正模仿的智慧类型是机构的智慧，”巴宾采娃说。“这是官僚智慧。”

但西蒙弗雷泽大学历史学家兼助理教授斯蒂芬妮·迪克说，西蒙还认为人类思维和计算机之间存在着某种根本的相似之处，他认为两者都是信息处理系统。在非营利研究机构兰德公司担任顾问期间，西蒙遇到了计算机科学家兼心理学家艾伦·纽厄尔，后者成为了他最亲密的合作伙伴。他们受到教授解决问题的数学家乔治·波利亚启发式教学的启发，旨在用更智能的机器复制波利亚的逻辑、发现导向型决策方法。

这种对人类推理的尝试被写入了 JOHNNIAC 的程序中，JOHNNIAC 是兰德公司制造的早期计算机。逻辑理论家通过其创造者声称的启发式演绎方法证明了《自然哲学的数学定理》：它逆向思考，对可能的答案进行微小替换，直到得出与已经证明的结论等同的结论。在此之前，计算机程序主要通过遵循线性的分步说明来解决问题。

巴宾采娃说，逻辑理论家是一个突破，因为它是符号人工智能的第一个程序，它使用符号或概念而不是数据来训练人工智能像人一样思考。她解释说，直到 20 世纪 90 年代，这都是人工智能的主要方法。最近，研究人员又恢复了 20 世纪 50 年代达特茅斯会议上考虑的另一种方法：通过机器学习算法和神经网络模仿我们的物理大脑，而不是模拟我们的推理方式。一些工程师认为，将这两种方法结合起来是人工智能发展的下一个阶段。

逻辑机的当代批评者认为，它实际上并没有引导启发式思维，包括猜测和捷径，而是展示了精确的反复试验解决问题的能力。换句话说，它可以近似人类思维的运作方式，但不能近似其思维的自发性。关于这种程序是否能与我们的脑力相媲美的争论仍在继续。“人工智能真的是一个移动的目标，”巴宾采娃说，“许多计算机科学家会告诉你人工智能并不存在。”

了解更多关于人工智能时代的生活：