“為程式設計師量身定做”的圖靈測試——來自Hoare的預言

在一次關於圖靈測試（圖靈測試是尚存爭議的、用於評估人工智慧品質的著名方法）的面向開發者的久負盛名的會議上，Tony Hoare（爵士）教授提出了一種非傳統的圖靈測試（Turing Test），此方法會為軟體開發者帶來更有效的工具。

在曼徹斯特舉辦的紀念阿蘭·圖靈（Alan Turing）誕辰百年大會上，微軟劍橋研究院首席研究員Hoare在發表講話時提到，計算機是否可以理解它們自身的程式——而且使之成為可能要用多久。

Hoare說，“圖靈曾預言能通過圖靈測試的機器會在50年內出現：現在比起當年圖靈做出此預言時似乎略有進展。如果要我做個50年的預言，我會這麼說：計算機不僅可以理解自身的程式，而且可以幫助程式設計師對程式進行修正和改善。”

Hoare還說：“這個工程學版的圖靈測試會包括對機器的互動式檢查，此測驗針對任何能想到的單一主題，例如，機器自身的程式。接受測驗的機器將不必回答所有的問題。對於圖靈測試而言，圖靈就曾指出，計算機總會有些答不出來的問題。”

Hoare說，計算機會期待回答如該程式在執行時是否會導致緩衝區溢位等此類的問題。“要是果真如此，就給出能顯示該錯誤的測試用例。它同樣也能夠生成測試用例來檢測近期對程式所做的全部修正，而且能夠回答某個特定修正是否會使程式變慢。”

Hoare預言，“未來的程式將通過【人類與計算機】相互取長補短的方式合作完成。人類瞭解現實世界，會利用程式及其商業價值。計算機瞭解程式細節，以及修正程式的後果。”

Hoare解釋說，計算機正越來越多地被要求，不僅能演示數學證明，還要能產生數學證明，目前正朝著此目標進發。例如，試圖證明開普勒的最有效球包裝猜想（Kepler conjecture）。他說，“FlySpeck專案旨在提供完全的計算機化證明。在這項工作中，雖然是一種人類與計算機之間的合作，但是卻非常不對稱。”

Hoare強調，理解並不意味著計算機就能以人類的方式去思考程式的意義。“對於阿蘭·圖靈的希望，即我們可以使計算機思考而言，我這個版本的圖靈測試並沒有給予太多支援。”

檢視英文原文：Turing Test 'reworked for programmers', predicts Hoare

“為程式設計師量身定做”的圖靈測試——來自Hoare的預言

相關文章