首頁 > 涂林機 ─ 機器思考的分水嶺
:::

涂林機 ─ 機器思考的分水嶺

 
 
製造出會思考的機器的夢想,至少可以回溯到十七世紀的萊布尼茲。他企圖把思考轉化為計­算的觀點,啟發後世布爾等人發展出符號邏輯。實際著手設計與製作會思考的機器,始自十九世紀英國的巴貝奇,但是他極具前瞻性的「分­析引擎」卻因經費不足而未能實現。

1936年涂林提出革命性的計算機理論,使得所謂的涂林機成為今日一切通用電腦的原型­。涂林通過建立自己的理論,以及二戰時破解德軍密碼的經驗,逐漸鞏固了機器能表現出智­能行為的信心,終於在1950年提出著名的「模仿遊戲」這種檢驗計算機能否思考的測驗­方法。

本次報告將著重介紹涂林機的劃時代意義,以及涂林的「模仿遊戲」到底是怎麼回事?

講演綱要(撰文|高英哲)

會思考的人造物體,一開始只是幻想。希臘神話中畢馬龍(Pygmalion)跟他的象牙雕像,猶太人學者創造出來保護猶太人的魔像(Golem),以至於雪萊(Mary Shelley)筆下的《科學怪人》,西方一直都有人造智慧的想像傳統。無獨有偶,《列子·湯問篇》裡也有巧匠做出幾可亂真,還膽敢挑逗王上侍妾的故事,可見人造智慧的想法中外皆然。

從幻想到思考實際的做法,是從英國政治哲學家霍布斯(Thomas Hobbes)跟德國數學家萊布尼茲(Gottfried Wilhelm Leibniz)開始,他們主張推理應該要是一種可以經過數學計算的過程。到了十九世紀,有一位英國數學家巴貝吉(Charles Babbage)想要做出可以進行運算的實體機器,雖然沒有做出實機,其概念倒是相當接近於後來的涂林機,但是並沒有通用計算機的概念,也就是能模擬任何離散狀態機器的特性。

涂林仔細分析了人們是如何做計算,在科學史上劃時代的論文〈論可計算數及其在判定性問題上之應用〉(On Computable Numbers, with an Application to the Entscheidungsproblem)中,提出一種後世稱為「涂林機」(Turing machine) 的抽象計算機,並以此證明了通用計算機的存在。這台理論上運算能力無限,但運作過程十分冗長的計算機,是人類史上第一台程式儲存電腦,現代電腦基本上都是涂林機的一種展現。

至於機器會不會思考這個問題,則要回歸到去年讓涂林聲名大噪的電影《模仿遊戲》來探討。他當年想要探究是否能創造出具有真正智能的機器,但是他覺得「機器能否思考」這樣的問題太過籠統,就寫了一篇論文〈計算機械與智能〉(Computing Machinery and Intelligence),認為應該要換一個問題:「有沒有任何可想像的通用計算機,可以在一個模仿真人的遊戲中表現良好?」這就是著名的「涂林測試」 (Turing test) :如果一台躲在幕後的機器能夠與人類對話,而不被發現它其實是台機器,那就算它具有智能。有些人認為涂林在這篇劃時代的論文中,嘗試給「智能」或「思考」下個定義,不過根據他的密友所言,涂林其實並沒有這個企圖,這篇論文只是在他試著提出一種判定智能或思考的標準時,隨手寫下的一篇跟大家「討論討論」的文章。無論如何,這個簡單的測試日後成為人工智慧,甚至心靈哲學上的一個大哉問,這樣的發展應該也是涂林本人始料未及的。

由涂林開啟的智能機器想像,後來在美國分別發展出努力使電腦能夠思考的「人工智慧」(artificial intelligence, AI),以及強調使人機介面盡量人性化的「人類電腦互動」(human computer interaction, HCI)兩個路線。不過撇開涂林用來斷定機器是否具有智能的言詞表現,電腦在掌握人類的「常識」方面,儘管經過這些年的諸多努力,卻幾乎沒有任何有深度的進展。涂林為電腦的發展方向開啟了一個全新的領域,不過若是因為他為了製造話題所設想的「模擬遊戲」,真的想要建造出一台能夠通過涂林測試的電腦(其實就是寫程式的意思),這樣的研究方向也許是被誤導了,智能電腦應該是要幫助人類,而不是取代人類做出道德判斷。

● 科學史沙龍官方網站:http://case.ntu.edu.tw/scisalon/
● 科學史沙龍facebook粉絲頁:https://www.facebook.com/scisalon/
● 科學史沙龍特稿與影音:http://case.ntu.edu.tw/blog/?cat=1750

推薦文章