人工智慧的歷史起於遠古時代，夾雜者神話故事和各種流言，正如帕梅拉（ Pamela McCorduck）所說，遠古人類創造AI 的初心是為了創造一個人造的上帝。比如希臘的金色機器人 火神赫菲斯托斯 和 Pygmalion’s Galatea。

遠古時期

在公元前第一個千禧年，中國，印度和希臘哲學家都提出了一些推理的研究理論，比如 亞里士多德（Aristotle）進行了演繹推理三段論的完整分析，歐幾里得（Euclid）所著Elements 是一種形式推理的模型，Muḥammad ibn Mūsā al-Khwārizmī, 發明了代數學，即我們現在所稱的演算法，此外還有歐洲哲學家威廉-奧卡姆，以及 Duns Scotus。

近現代

馬略卡哲學家雷蒙-勒爾（Ramon LIull），通過一些邏輯方法發明了一些邏輯機器，萊布尼茲（Gottfried Leibniz） 收到他的啟發，重新設計了前者的想法。

17 世紀， 萊布尼茲和托馬斯-霍布斯（Thomas Hobbes），以及熱奈-笛卡爾（ René Descartes ）向前更進一步，發現所有的思想都可以通過代數和幾何的方式進行組織，Hobbes 寫下了《Leviathan》，其中寫道“推理無非就是計算”，萊布尼茲設想了通過一種統一的描述性語言來進行推理，這樣可以減少計算的論證過程，同時，在不同的學科之間也可以間少爭論，更快的達成統一。

到了20世紀，數理邏輯的研究讓AI 進一步實現了突破，以英國數學家布林的《The Laws of Thought》和德國數學家弗雷格的《Begriffsschrift》為基礎，拉塞爾和懷特海德在1913念出版了《Principia Mathematica》，在此著作中陳述了一種正式的處理數學基礎的方法，德國數學家，大衛-希爾伯特，受到拉塞爾的影響，提出了一個影響數理推理的基礎問題：是否所有的數學推理都能被形式化，進而進行分析？
這個問題後來在《imcompleteness proof》，圖靈機理論以及《Lambda calculus》中得到了解答，對希爾伯特的問題，做了以下幾個說明：

• 並不是所有數學邏輯推理問題都能得到解決，存在限制
• 在一定條件的限制範圍內，任何形式的數學推理可以被自動化

在《Church-Turing Thesis》中提出了以’0’，’1’作為基本符號的裝置，可以模擬任何可知的數學推理過程，即我們現在所熟知的圖靈機理論。

電腦科學

19世紀初期，查爾斯-巴貝奇（Charles Babbage）設計了一種可程式設計的計算器（the Analytical Engine），艾達-拉芙蕾絲（Ada Lovelace）敏感的認識到這種裝置所擁有的巨大作用，基於巴貝奇的計算器理論引擎，其編寫了完整的計算伯努利數的方法，在後來，拉芙蕾絲也被公認為是電腦科學發展歷史上的第一位程式設計師。

第一代的現代計算機是在二戰時被用做密碼破譯機器，比如Z3,ENIAC 和Colossus，後兩個是基於阿蘭圖靈的理論由約翰.王.諾伊曼設計完成。

圖靈測試

經過控制理論和早期的神經網路的發展，1950 年阿蘭圖靈發表了《computing machinery and intelligence》，其中，圖靈預測了創造能夠思考的裝置的可能性，同時就裝置具備思考能力進行了定義：

如果一個機器裝置與人類對話時，人類完全不能分辨出其與人類的差別，那麼就可以認為這類裝置具備思考的能力

現在，圖靈測試也被視作第一次對人工智慧理論的正式論證。

1956年達特茅斯會議

1956年，Marvin Minsky, John McCarthy 和 2位頂級科學家: Claude Shannon （克勞德·艾爾伍德·夏農）以及IBM的 Nathan Rochester，組織了達特茅斯會議，此次會議其中的一個提案斷言：任何一種學習或者其他形式的人類智慧都能夠通過機器進行模擬。同時約翰·麥卡錫為這種機器智慧取了一個名字：Artificial Intelligence， 由此，AI 第一次被正名。

黃金年代（1956–1974）

主要成果

• 搜尋推理（Reasoning as search）
• 自然語言（Natural language）
• 微觀世界（Micro-worlds）

樂觀主義

資本態度

第一個AI 冬天

在所有人對AI 充滿期待時，AI 自身遇到了它難以逾越的瓶頸：

• 有限的計算資源
• 問題的複雜度難以駕馭
• 常識的推理幾乎不可能完成
• 莫拉維茨悖論（Moravec’s paradox）
• 分幀和量化問題

…未完待續

Reference：

1. https://en.wikipedia.org/wiki/History_of_artificial_intelligence