text: 邏輯理論家是由艾倫·紐厄爾、司馬賀和於1955年和1956年間編寫的計算機程式，是首個可以自動進行推理的程式，被稱為“史上首個人工智慧程式”。它最後證明了在懷特黑德和羅素合作撰寫的數學原理中首52個定理中的38個，在當中更是找到既新穎又優雅的證明。歷史.1955年，當紐厄爾和西蒙開始研發邏輯理論家時，人工智慧領域尚未存在，就連術語“人工智慧”也在第二年的夏天才開始使用。西蒙本身是一位政治科學家，當時他已經在研究官僚如何運作以及持續拓展他的有限理性理論。研究商業組織時需要人工智慧擁有像人類一樣決策和解決問題的洞察力。西蒙記得在20世紀50年代初向蘭德諮詢時看到一臺印表機在印地圖，使用普通字母和標點符號作為符號。他意識到可以整理和排列符號的機器也可以模擬決策過程，甚至可以模擬人類的思考過程。列印地圖的程式是由研究物流和組織理論的蘭德公司科學家紐厄爾編寫的。對於紐厄爾來說，決定性的時刻是在1954年奧利弗·塞爾弗裡奇到蘭德來描述他在模式匹配方面的工作。觀看演示時，紐厄爾忽然明白簡單的可程式設計單元的互動如何實現複雜的行為，包括人類的智慧行為。他後來說：“這一切都發生在一個下午。”這是科學界人物頓悟的罕見時刻。“我的感覺很清晰，這是一條新的道路，我將會走下去；我並不是每次也有這種感覺。”紐厄爾和西蒙開始討論教機器思考的可能性。他們的首個程式是要能夠證明數學定理的，於伯特蘭·羅素和阿爾弗雷德·諾思·懷特黑德撰寫的數學原理中可找到。他們還有來自蘭德的計算機程式設計師幫忙開發該程式。的。紐威爾和西蒙自豪地向小組介紹了邏輯理論家，但當聽眾反應冷淡時，他們感到有些驚訝。帕梅拉·麥科杜克寫道：“可以肯定當時除了紐維爾和西蒙之外，沒有人能夠感受到他們所做的事情具有長遠意義。”西蒙承認“我們對這一切可能相當傲慢”並補充道：他們不想聽我們的介紹，我們也肯定不想聽到他們的回應：我們有東西要向他們展示！……在某種程度上，這是有點兒諷刺的，因為我們已經滿足了他們的期望；其次，他們沒有太在意它。邏輯理論家很快就證明了數學原理第2章中的前52個定理中的首38個，當中定理2.85的證明實際上比羅素和懷特黑德手抄的證明更優雅。西蒙能夠向拉塞爾本人展示新的證明，他“高興地回答”。他們試圖將新的證明發表到《符號邏輯學報》中，但它被拒絕的理由是一個基本數學定理的新證明並不值得注意，顯然忽略了其中一個作者是計算機程式的事實。紐厄爾和西蒙建立了長久的合作伙伴關係，建立了其中一個最早的人工智慧實驗室，並開發和發展了一系列富有影響力的人工智慧程式和理念，包括通用解難器、Soar及認知統一理論。邏輯理論家對人工智慧的影響.邏輯理論家引入了幾個對人工智慧研究至關重要的概念：邏輯理論家用到了搜尋樹：搜尋樹的根是最初的假設，每條分支都是推論，於是樹中的某個地方將會是該程式旨在證明的命題，每條分岔路都是一個——使用邏輯規則推匯出的一系列陳述，這些陳述從假設到要證明的命題。紐厄爾和西蒙意識到搜尋樹會指數增長，他們需要使用“經驗法則”來確定哪些路徑不太可能匯出解決方案，然後再“修剪”一些分支。他們稱這規則“啟發式”，出自喬治·波利亞在其關於數學證明的經典著作《怎樣解題》。啟發式演算法將成為人工智慧研究的一個重要領域，並且仍然是克服指數增長搜尋招致的重要方法。為了在計算機上實現邏輯理論，這三位研究人員開發了一種程式語言，名為資訊處理語言。哲學意涵.帕梅拉·麥科杜克寫道，邏輯理論家“積極地展示了機器具有創意和智慧”。因此，它代表了人工智慧發展和我們對智慧的理解的里程碑。1956年1月，西蒙著名地告訴給其中一班研究生，“聖誕節期間，艾倫·紐厄爾與我發明了一臺會思考的機器”，並寫道：我們發明了一種能夠以非數字方式思考的計算機程式，從而解決了古老的心物問題，解釋了由物質組成的系統如何具有心靈的屬性。“機器可以像人一樣有思想”的這種說法後來被哲學家約翰塞爾命名為“強人工智慧”。到目前為止，它仍然是一個嚴肅的辯論主題。邏輯理論家令帕梅拉·麥科杜克都受到啟發，一種新的心理理論——資訊處理模型因而首次亮相。她寫道，“這種觀點將成為他們後期工作的核心，並且在他們看來，這是二十世紀理解思想的核心，因為達爾文的自然選擇原則是在十九世紀理解生物學。”紐厄爾和西蒙後來將這個提議正式化為物理符號系統假設。
metadata: erhwenkuo/wikipedia-zhtw
metadata: 邏輯理論家
metadata: https://zh.wikipedia.org/wiki?curid=6573048