|
|
 图灵测试 简介
為了檢驗一臺機器是否能合情理地被說成在思想，人工智能的始祖阿倫•圖靈提出了一種稱作圖靈試驗的方法。此原則說：被測試的有一個人，另一個是聲稱自己有人類智力的機器。測試時，測試人與被測試人是分開的，測試人衹有通過一些裝置（如鍵盤）嚮被測試人問一些問題，這些問題隨便是什麽問題都可以。問過一些問題後，如果測試人能夠正確地分出誰是人誰是機器，那機器就沒有通過圖靈測試，如果測試人沒有分出誰是機器誰是人，那這個機器就是有人類智能的。目前還沒有一臺機器能夠通過圖靈測試，也就是說，計算機的智力與人類相比還差得遠呢。比如自動聊天機器人。 |
|
| 1950年，圖靈來到曼徹斯特大學任教，同時還擔任該大學自動計算機項目的負責人。就在這一年的十月，他又發表了另一篇題為《機器能思考嗎？》的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了一頂桂冠——“人工智能之父”。在這篇論文裏，圖靈第一次提出“機器思維”的概念。他逐條反駁了機器不能思維的論調，做出了肯定的回答。他還對智能問題從行為主義的角度給出了定義，由此提出一假想：即一個人在不接觸對方的情況下，通過一種特殊的方式，和對方進行一係列的問答，如果在相當長時間內，他無法根據這些問題判斷對方是人還是計算機，那麽，就可以認為這個計算機具有同人相當的智力，即這臺計算機是能思維的。這就是著名的“圖靈測試”(turing testing)。當時全世界衹有幾臺電腦，根本無法通過這一測試。但圖靈預言，在本世紀末，一定會有電腦通過“圖靈測試”。終於他的預言在ibm的“深藍”身上得到徹底實現。當然，卡斯帕羅夫和“深藍”之間不是猜謎式的泛泛而談，而是你輸我贏的彼此較量。 |
|
圖靈采用“問”與“答”模式，即觀察者通過控製打字機嚮兩個測試對象通話，其中一個是人，另一個是機器。要求觀察者不斷提出各種問題，從而辨別回答者是人還是機器。圖靈還為這項測試親自擬定了幾個示範性問題：
問： 請給我寫出有關“第四號橋”主題的十四行詩。
答：不要問我這道題，我從來不會寫詩。
問：34957加70764等於多少？
答：（停30秒後）105721
問：你會下國際象棋嗎？
答：是的。
問：我在我的k1處有棋子k；你僅在k6處有棋子k，在r1處有棋子r。現在輪到你走，你應該下那步棋？
答：（停15秒鐘後）棋子r走到r8處，將軍！
圖靈指出：“如果機器在某些現實的條件下，能夠非常好地模仿人回答問題，以至提問者在相當長時間裏誤認它不是機器，那麽機器就可以被認為是能夠思維的。”
從表面上看，要使機器回答按一定範圍提出的問題似乎沒有什麽睏難，可以通過編製特殊的程序來實現。然而，如果提問者並不遵循常規標準，編製回答的程序是極其睏難的事情。例如，提問與回答呈現出下列狀況：
問：你會下國際象棋嗎？
答：是的。
問：你會下國際象棋嗎？
答：是的。
問：請再次回答，你會下國際象棋嗎？
答：是的。
你多半會想到，面前的這位是一部笨機器。如果提問與回答呈現出另一種狀態：
問： 你會下國際象棋嗎？
答：是的。
問：你會下國際象棋嗎？
答：是的，我不是已經說過了嗎？
問：請再次回答，你會下國際象棋嗎？
答：你煩不煩，幹嘛老提同樣的問題。
那麽，你面前的這位，大概是人而不是機器。上述兩種對話的區別在於，第一種可明顯地感到回答者是從知識庫裏提取簡單的答案，第二種則具有分析綜合的能力，回答者知道觀察者在反復提出同樣的問題。“圖靈測試”沒有規定問題的範圍和提問的標準，如果想要製造出能通過試驗的機器，以我們現在的技術水平，必須在電腦中儲存人類所有可以想到的問題，儲存對這些問題的所有合乎常理的回答，並且還需要理智地作出選擇。 |
|
英國數學家、邏輯學家，他被視為計算機之父。 1931年圖靈進入劍橋大學國王學院，畢業後到美國普林斯頓大學攻讀博士學位，二戰爆發後回到劍橋，後曾協助軍方破解德國的著名密碼係統enigma，幫助盟軍取得了二戰的勝利。
1936年，圖靈嚮倫敦權威的數學雜志投了一篇論文，題為“論數字計算在决斷難題中的應用”。在這篇開創性的論文中，圖靈給“可計算性”下了一個嚴格的數學定義，並提出著名的“圖靈機”(turing machine)的設想。“圖靈機”不是一種具體的機器，而是一種思想模型，可製造一種十分簡單但運算能力極強的計算裝置，用來計算所有能想象得到的可計算函數。“圖靈機”與“馮·諾伊曼機”齊名，被永遠載入計算機的發展史中。1950年10月，圖靈又發表了另一篇題為“機器能思考嗎”的論文，成為劃時代之作。也正是這篇文章，為圖靈贏得了“人工智能之父”的桂冠。 |
|
| 瞭解世界計算機科學發展進程的人也應該知道，美國計算機學會（acm）的年度“圖靈奬”，自從1966年設立以來，一直是世界計算機科學領域的最高榮譽，相當於計算機科學界的諾貝爾奬。圖靈奬已經被先後授予給了47位計算機科學界的傑出人物，其中包括關係數據庫理論的開創者edgar codd、程序語言和算法理論的知名科學家dijkstra、unix操作係統的開創者dennis ritchie、面嚮對象程序設計理論的奠基人以及蘋果個人電腦基於鼠標的gui界面（也就是windows圖形界面的最原始來源）的首創者alan kay、fortran語言的設計者john backus、ibm-risc體係結構的創立者john cocke等大名鼎鼎的計算機科學家。這個以圖靈的名字命名的大奬，代表着幾十年來世界計算機科學的重大進步和創新，代表着計算機科學和相關技術産業的一次次質的飛躍，同時，也代表着計算機科學界對圖靈的崇高敬意。 |
|
圖靈測試（又稱“圖靈判斷”）是圖靈提出的一個關於機器人的著名判斷原則。 一種測試機器是不是具備人類智能的方法。如果說現在有一臺電腦，其運算速度非常快、記億容量和邏揖單元的數目也超過了人腦，而且還為這臺電腦編寫了許多智能化的程序，並提供了合適種類的大量數據，使這臺電腦能夠做一些人性化的事情，如簡單地聽或說。回答某些問題等。那麽，我們是否就能說這臺機器具有思維能力了呢?或者說，我們怎樣才能判斷一臺機器是否具存了思維能力呢?
為了檢驗一臺機器是否能合情理地被說成在思想，人工智能的始祖艾倫•圖靈提出了一種稱作圖靈試驗的方法。此原則說：被測試的有一個人，另一個是聲稱自己有人類智力的機器。測試時，測試人與被測試人是分開的，測試人衹有通過一些裝置（如鍵盤）嚮被測試人問一些問題，這些問題隨便是什麽問題都可以。問過一些問題後，如果測試人能夠正確地分出誰是人誰是機器，那機器就沒有通過圖靈測試，如果測試人沒有分出誰是機器誰是人，那這個機器就是有人類智能的。目前還沒有一臺機器能夠通過圖靈測試，也就是說，計算機的智力與人類相比還差得遠呢。比如自動聊天機器人。同時圖靈試驗還存在一個問題，如果一個機器具備了“類智能”運算能力，那麽通過圖靈試驗的時間會延長，那麽多長時間合適呢，這也是後繼科研人員正在研究的問題 |
|
|