[笔记]《人工智能简史（第二版）》（2025）

《人工智能简史（第二版）》探讨了人工智能的发展历程，适合专业读者及对科学、哲学和伦理感兴趣的人。

书中强调人工智能的学术背景和方法论，内容偏重基础而非应用。

哈代认为科学和艺术的原创需要一等智力，而解释和欣赏是二等智力的工作。

达特茅斯会议被视为人工智能的起源，标志着这一领域的正式成立。

自动定理证明的兴起与衰退反映了逻辑主义、形式主义和直觉主义的不同观点。

王浩和吴文俊在定理证明和人工智能领域做出了重要贡献，推动了理论计算机科学的发展。

哲学问题在人工智能中仍然存在，尤其是关于理解和证明的本质。

自动定理证明的现状显示出符号派的低潮与深度学习的崛起。

知识表示和机器学习是人工智能的重要领域，逻辑是知识表示的便利工具。

强化学习的兴起与深度学习的结合使得人工智能取得了新的突破。

统计派与逻辑派在人工智能研究中存在根本的分歧，Chomsky与诺维格的争论体现了这一点。

人工智能的伦理问题和哲学思考仍然是当前研究的重要方向，尤其是在机器是否具备智能的讨论中。

人类与机器的关系在不断演变，机器的进化速度可能超越人类的自然进化。

未来的人工智能可能会面临伦理和道德问题，尤其是在基因修复和机器智能的界限上。