檢視邏輯理論家的原始碼

'''邏輯理論家'''（英語：Logic Theorist）是由艾倫 ・ 紐厄爾、司馬賀佮約翰 ・ 克里夫 ・ 和一九五五年佮一九五六年間編寫的電腦程式乎，是首一个會當自動做推理的程序，予人叫做是「史上頭一个人工智慧的程序」。 伊上尾證明矣佇懷特烏德佮羅素合作編寫的數學原理中首五十二个定理中的三十八个，佇當中閣較揣著既新穎閣優雅的證明。

==歷史==

一九五五年，做紐厄爾佮西蒙開始研發邏輯理論家的時，人工智慧領域猶未存在，就連術語矣「人工智慧」嘛佇第二年的熱天才開始使用。

西蒙本身是一位政治科學家，彼當陣伊已經佇咧研究官僚如何運作佮持續拓展伊的有限理性理論（為此伊後來得著諾貝爾獎）。 研究商業組織的時需要人工智慧有親像人類仝款決策和解決問題的洞察力。西蒙記得佇二十世紀五空年代初向蘭德諮詢時看著一台印表機佇印地圖，使用普通字母佮標點符號做符號。伊意識著會當整理佮排列符號的機器嘛會當模擬決策的過程，甚至會當模擬人類的思考過程。

列印地圖的程序是由研究物流和組織理論的蘭德公司科學家紐厄爾編寫的。對著紐厄爾來講，決定性的時刻是佇一九五四年奧利 ・ 塞爾孵里奇（Oliver Selfridge）到蘭德來講伊是佇模式匹配方面的工課。看演示的時陣，紐厄爾雄雄發現簡單的可程式單元的交互如何實現複雜的行為，包括人類的智能行為。伊尾仔講：「 這一切攏有發生佇一个下晡。」這是科學界人物頓悟的罕見時刻。

>「我的感覺足清楚的，這是一條新的道路，我將會行落去；我並毋是逐改有按呢的感覺。」
>
>

紐厄爾佮西蒙開始討論教機器思考的可能性。𪜶的頭一个程序是愛會當證明數學定理的，佇咧伯特蘭 ・ 羅素佮阿爾鴻雷德 ・ 諾思 ・ 懷特烏德編寫的數學原理當揣著。𪜶猶有來自蘭德的電腦程式員約翰 ・ 克里夫 ・ 相放伴開發該程序。（紐厄爾仔講「克里夫是三人中真正的計算機科學家」）。 頭一个版本是手工模擬的：𪜶共程序編寫到三 x 五卡片上，正如西蒙回憶的彼款：

> 佇一九五六年一月，我予我的牽手佮三个囡仔佮一批研究生聚集做伙。阮予小組的逐个成員一張卡片，每一張卡片將對應於電腦程式的一个組成部份…… 這就是大自然模仿藝術模仿自然。
>
>

𪜶成功地證明矣應該程序會當像一位才情橫溢的數學家般成功地證明定理。然後，克里夫嘛會當佇蘭德的聖莫尼卡工場內底的計算機頂面運行該程序。一九五六年熱人，約翰 ・ 麥卡錫、馬文 ・ 閔斯基、克勞德 ・ 香農佮納撒尼爾 ・ 羅切斯特組織了一改會議，是關於「人工智慧」（麥卡錫為著應該會議來創造的術語）的。紐威爾佮西蒙自豪地向小組介紹了邏輯理論家，但是聽眾反應冷淡的時陣，𪜶感覺有一寡驚疑。帕梅拉 ・ 麥科杜克寫道：「 會當肯定彼當陣除了紐維爾佮西蒙以外，無人會當感受著𪜶所做的遮的代誌有長遠的意義。」西蒙承認「咱對這一切可能相當傲慢」閣補充道：

> 𪜶無想欲聽阮的介紹，咱嘛肯定無想欲聽著𪜶的回應：阮有物件愛共𪜶展示！…… 佇某一種程度，這有淡薄仔剾洗的，因為阮已經滿足矣𪜶的向望；其次，𪜶無啥咧要緊伊。
>
>

邏輯理論家真緊就證明了數學原理第二章中的前五十二个定理中的首三十八个，當中定理二交八五的證明實際上比羅素佮懷特烏德手抄的證明閣較優雅。西蒙會當向拉塞爾本人展示新的證明，伊「歡喜仔回答」。 𪜶試圖共新的證明發表到《符號邏輯學報》中，但伊予人拒絕的理由是一个基本數學定理的新證明並無值得注意，顯然雄雄變其中一个作者是電腦程式的事實。

紐厄爾佮西蒙建立了久長的合作伴關係，創建其中一个上早的人工智慧實驗室卡內基科技，並開發佮發展了一系列富有影響力的人工智慧程序佮理念，包括通用解難器、Soar 佮認知統一理論。

==邏輯理論家對人工智慧的影響==

邏輯理論家引入幾个對人工智慧研究到關重要的概念：

'''推理來做搜查'''
: 邏輯理論家用著搜查樹仔：搜查樹仔的根是上早的假使，逐條分支攏是推論，就是樹中的某一个所在將會是該程序旨咧證明的命題，逐个必叉路攏是一个形式證明—— 使用邏輯規則推導出的一系列陳述，遮的陳述對假使到欲證明的命題。

'''啟發式'''
: 紐厄爾佮西蒙意識著搜查樹會指數增長，𪜶需要欲使用「經驗法則」來確定佗一寡路草無啥可能會導出解決方案，然後閣再「修剪」一寡分支。𪜶叫這規則「啟發式」，出自喬治 ・ 波利亞佇咧關於數學證明的經典著作《欲按怎解題》（紐維爾捌佇史丹福大學攻讀過波利亞的課程）。 啟發式算法會成做人工智慧研究的一个重要領域，並且猶原是克服指數增長搜查招致組合爆炸的重要方法。

'''列表處理'''
: 為著佇計算機頂實現邏輯理論，這三位研究人員開發了一種程式語言，號做資訊處理這个語言。

==哲學意涵==

帕梅拉 ・ 麥科杜克寫道，邏輯理論家「積極展示機器有創意佮智能」。 所以，伊代表著人工智慧發展佮咱對智能的理解的路站碑。

一九五六年一月，西蒙出名地共其中一班研究生，「 聖誕節期間，艾倫 ・ 紐厄爾佮我發明一台會思考的機器」，

並寫道：

> 阮發明一種會當用非數字方式思考的電腦程式，從而且解決古早的心物問題，解說了由物質組成的系統如何具有心靈的屬性。
>
>

「 機器會當像人仝款有思想」的這種講法後來予哲學家約翰窒爾號名做「強人工的智慧」。 到這當時為止，伊原仔是一个嚴肅的辯論主題。

邏輯理論家令帕梅拉 ・ 麥科杜克攏受著啟發，一種新的心理論—— 資訊處理模型（有當時仔號做心靈計算理論）因為按呢欲頭改變做。伊寫著講，「 這種的觀點將成做𪜶後期工課的核心，並且佇𪜶看來，這是二十世紀理解思想的核心，因為達爾文的自然選擇原則是佇十九世紀理解生物學。」紐厄爾佮西蒙後來將這个提議正式化做物理符號系統假設。



==筆記==

==引文==

==參考==

* Crevier , Daniel ( 一千九百九十三 ) , AI : The Tumultuous Search for Artificial Intelligence , New York , NY : BasicBooks , ISBN 空九四百六十五五五二千九百九十七撨三 , pp .   四十四–四十六 .
* McCorduck , Pamela ( 兩千空四 ) , Machines Who Think ( 二 nd ed . ) , Natick , MA : A . K . Peters , Ltd . , ISBN 一孵五鋪六千八百八十一鼻兩百空五孵一 , pp .   一百六十一–一百七十 .
* Russell , Stuart J . ; Norvig , Peter ( 兩千空三 ) , Artificial Intelligence : A Modern Approach ( 二 nd ed . ) , Upper Saddle River , New Jersey : Prentice Hall , ISBN 空抹十三五七十九鋪空三百九十五五五 , p .   十七 .

==外部連結==

* Newell and Simon's RAND Corporation report on the Logic Theorist
* Full length version of Newell and Simon's RAND Corporation report on the Logic Theorist
* CMU Libraries : Human and Machine Minds
* Source code as PDF on Github

[[分類: 待校正]]