周劍銘，自由學者。研究方向為中西文化比較研究，智能哲學，算法、不確定性和不確定性問題(NP)理論。

柳渝，法國儒勒·凡爾納公立綜合大學計算機（Département Informatique, UFR des Sciences, Université de Picardie Jules Verne, France）系副教授。研究方向為智能哲學，算法、不確定性和不確定性問題(NP)理論，NP問題實際求解算法。

我們的文章“智能哲學：‘第三問題’與圖靈的‘模仿游戲’”一文［1］著重指出了圖靈提出的“模仿游戲”的真正意義和價值，揭示人、機之間的復雜層次關(guān)系，本文結(jié)合我們對當前人工智能中“機器學習”問題的研究，進一步討論“機器”與“學習”之間所隱含的人、機復雜關(guān)系。我們從圖靈的一貫思想出發(fā)，發(fā)微圖靈論文“計算機器與智能”［2］中所包含的豐富思想，特別是文章中第7章的內(nèi)容。很明顯，作為當前人工智能主流的“機器學習”與圖靈所探討的“學習機器”，其思考的角度和深刻性完全不同，啟迪良多。

一、“亞臨界”狀態(tài)“和“超臨界”狀態(tài)

在“計算機器與智能”這篇文章的第7章Learning Machines，圖靈總結(jié)了對機器不能“思考”這種謬論的反駁，但他的論證是有底線的，他真正關(guān)注的方面不是機器的“功能”（思考）如何如何，而是機器的“狀態(tài)”，在他看來，機器的“純機械”方式，如鋼琴演奏或剝洋蔥一樣：“絕大多數(shù)思想都處于‘亞臨界’狀態(tài)，對應于處于亞臨界體積的反應堆，一個想法進入這樣的思想中，平均下來只會產(chǎn)生少于一個的想法”，但是“有一小部分思想處于‘超臨界’狀態(tài)，進入其中的想法將會產(chǎn)生二級三級越來越多的想法，最終成為一個完整的’理論。

動物的頭腦顯然是處于亞臨界狀態(tài)的。由于這種相似性，我們不得不問：’一個機器能不能做成超臨界的？’” 圖靈所說的這個“超臨界”的狀態(tài)，在我們看來，就是指現(xiàn)在不同于“機械步驟”（計算機）的“人工智能”的核心理論問題。

圖靈認為，“亞臨界”狀態(tài)和“超臨界”狀態(tài)之間的區(qū)分和定義是非常困難的，圖靈并不以為所有的這些爭論已經(jīng)解決了關(guān)于人的思維與機器思維的相同與不同的問題，這里既有公眾對這個問題的關(guān)心所包含的模糊性（圖靈努力地進行了分析），也有這個問題的自身本質(zhì)上的問題，圖靈承認：“These last two paragraphs do not claim to be convincing arguments. They should rather be described as ‘recitations tending to produce belief’”（上面兩段并沒有宣稱是令人信服的論據(jù)，更應該被看作是“為了產(chǎn)生信仰的背書”，——即對立的觀點的爭論不過是背頌各自的宗教式的教條）。

實際上，圖靈的思考并未過時，人工智能研究中的兩條道路始終存在，一方面，以“聯(lián)接主義”為名，代表了重視物理關(guān)系（硬件）的一方，另一方面則是以“符號主義”為名的重視算法（軟件）的一方。重要的不是這兩方的對立，而是這兩方都有無法克服的困難，特別是雙方無法溝通所形成的思想上的混亂，令人不安地再次想起“明斯基的咒語”。

盡管今天的“機器學習”取得了巨大的成功，但在這個領(lǐng)域最前沿工作的專家仍然承認，無法理解和解釋最基本的人工神經(jīng)網(wǎng)絡(luò)模型（ANN）的機理；另一方面，除了模擬神經(jīng)元-突觸的ANN模型，迄今沒有產(chǎn)生通用的Agent 硬件，現(xiàn)在人工智能研究大多是在電子計算機中的建模（函數(shù)化）進行的，“人工智能”與“計算機”究竟有何不同，成了公眾和專家們共同的困惑。

2017NIPS （神經(jīng)信息處理系統(tǒng)大會Conference and Workshop on Neural Information Processing Systems，關(guān)于機器學習和計算神經(jīng)科學的國際會議）上，"Test of Time"（時間檢驗獎）論文大獎獲得者Ali Rahimi 在演講中［3］，把“機器學習”稱為“煉金術(shù)”（Alchemy），類似的看法或?qū)α⑿缘臓幾h在學術(shù)界一直沒有中斷過。Rahimi 引用吳恩達的話： “Artificial Intelligence is the new electricity”，（機器學習就是新時代的電力），他們的意思是說，現(xiàn)在的AI研究只是純粹的技術(shù)活，整個AI缺泛嚴格性和一致性的理論基礎(chǔ)，未能成為非常穩(wěn)固、有規(guī)律、有系統(tǒng)理論的知識體系。

Rahimi以后解釋說，煉金術(shù)問題和黑箱問題的區(qū)別在于，“一個機器學習系統(tǒng)是黑箱”和“整個領(lǐng)域變成了黑箱”。與此對立的觀點，如Facebook的首席人工智能科學家Yann LeCun則認為［4］，工程技術(shù)上創(chuàng)新可以從亂糟糟中帶來核心的理解，加州大學伯克利分校Benjamin Recht教授也認為有條不紊的研究和大膽開拓的研究可以達到一個平衡，“我們兩者都需要”。

在此之前和之后，許多科學家表達了類似的看法和與此有關(guān)的劇烈論爭，但所有這些對立的觀點都承認，AI研究必須要有堅實的理論基礎(chǔ)才能成為完整的科學理論體系，但現(xiàn)在的問題在于，我們不知道解決問題的方向，這種困惑幾乎一直伴隨著人工智能的發(fā)展歷史。我們認為，可以從圖靈的思想中去尋找啟示，把當前作為工程技術(shù)的“機器學習”與圖靈對“學習機器”的本質(zhì)性思考結(jié)合起來，以獲得理論研究方向上的靈感。

二、“學習機器”與“機器學習”

“學習機器”（圖靈）與“機器學習”（當前AI的主流工作）這兩個概念的不同就在于人（研究者）在人、機關(guān)系中的地位，也就是我們一直重視的人、機倫理關(guān)系。我們強調(diào)，圖靈一直是作為機器的創(chuàng)造者角色進行思考的，他主要思考的是機器的“狀態(tài)”，所以他細致地分析了機器的“亞臨界”與“超臨界”這兩種狀態(tài)，以我們現(xiàn)在習用的術(shù)語來說，這就是“線性的”和“非線性的”（指數(shù)的）兩者本質(zhì)的不同。

圖靈始終以創(chuàng)造者的身份考慮“學習機器”的可能與不可能。對于他來說，算法與“機械步驟”都是功能性的，即“能行的”、“線性的”，對于專家或普通人這都不成為問題，真正的問題是："一個機器能不能做成超臨界的？" 而且圖靈認識到，這個問題的最大困難在于，從工程學的角度上，無法回答這樣的問題，以我們今天的理解，就是說，這是人的問題而不是機器的問題。

但當前人工智能研究的真正核心問題似乎還沒有被人意識到，人們關(guān)心的只是如何發(fā)明、設(shè)計更好的算法，“機器學習”大部份研究幾乎集中于此，所以稱之為“電力”或“煉金術(shù)”并不冤枉，“機器學習”并不關(guān)心“機器學習”的本質(zhì)是什么，從來沒有像圖靈一樣反思過：“一個機器能不能做成超臨界的？”，在他們意識中，似乎只要不斷地“試錯”下去，一定能讓“猴子打出文章來”。

由此我們可以看到，這兩個術(shù)語區(qū)別的重要性，特別是對這兩者不加分析地混同，就隱藏或誤導了人工智能研究中的本質(zhì)性問題，實際上這個問題也是科學哲學的基本問題。

“試錯”作為一種工程實踐在以客觀性和實證性為本質(zhì)的科學領(lǐng)域內(nèi)最終能產(chǎn)生突破性的成功，甚至引起“范式革命“ ，最終是以人的基本認知的轉(zhuǎn)變，甚或以人的代際之間的替代為代價的，對于基本理論或概念的缺失，不能由“試錯”產(chǎn)生。不能成為純粹客觀性和實證性的對象不是科學能力所及的，“智能”作為一個抽象的概念，不能成為科學研究對象。因此，在不知“智能”為何物，或者不能清楚地定義“人的智能”與“人工智能”這兩個概念的情況下，想創(chuàng)造研究“智能”的顯微鏡、試驗儀器、試驗室或研究方法之類的想法，實際就是事先肯定了“人可以制造超臨界的機器”的能力，這本身就是對科學精神的違背。

由此可以看出，“機器學習”與圖靈的“學習機器”這兩個概念在本質(zhì)上有別，如何認識這兩者的相同與不同，具有重要的實際意義?？茖W家習慣以科學思維方式工作，這是科學基本精神的人文價值，但以科學的客觀性、實證去頂替人文精神，把“科學”當作一個咒語，用在人類所面臨的一切，包括人類自身的價值、意義、命運上，這種以科學之名的狂妄與圖靈的自知之明（Entscheidungsproblem）無法相比。

三、對圖靈的文章的直譯、意譯與釋譯

圖靈的工作和文章的價值遠沒有得到充份的認識，當然圖靈也不可能清楚、充份地回答所有的相關(guān)問題，但圖靈對人類的能力的自知之明永遠不會過時。解讀圖靈的文章時，理解他的思想、認知更重要。對圖靈文章需要專研，在讀、釋中，如何深入地去理解圖靈簡短表達后的層次復雜性，不僅是語法語義問題，也是對歷史的發(fā)掘（“知識考古學”——?？拢?，這是對歷史的負責，更可以成為對現(xiàn)在和未來思考的靈感之源。

我們研讀圖靈文章時始終重視文章中隱含的多層次的復雜性，比如，對當時圖靈寫作基本思想的一致性和基本認知的理解，這可以舉一段圖靈原文的叁種不同的理解和譯法作為例子：

原文：As I have explained, the problem is mainly one of programming. Advances in engineering will have to be made too, but it seems unlikely that these will not be for the requirements.

直譯法：正如我所解釋，問題主要是編程，工程上的進步也是需要的，但這種所需不被滿足的可能性似乎不大。

意譯法：正如我所解釋過的，（現(xiàn)在的）問題主要是編程這一方面，雖然作為（計算機）工程上的問題應當受到（與編程）同樣的關(guān)注，但這似乎不大可能，因為這些（“編程”和“工程”兩者）無法（結(jié)合在一起而）勝任這種要求。

釋譯法：按意譯所隱含的對應，one of programming的另一方，是工程（硬件）上的要求，這里的but it seems unlikely中的it 就是指Advances in engineering，it will have to be made too，注意這個Advances不是Advance的復數(shù)，Advances是“求愛、熱切的要求”的意思，是單數(shù)名詞，與it對應；后面that 是表達seems unlikely原因的狀語子句，因為these （軟件和硬件）will not be adequate for the requirements，即， “工程”（硬件）與“編程”（軟件）不能滿足同時結(jié)合起來討論的要求（for the requirements）。

以現(xiàn)在的方式理解，這是對創(chuàng)造機器能力的人的能力而言，硬件的創(chuàng)造不是機器的能力而是人的能力，圖靈始終是作為一個機器創(chuàng)造者（人類身份）而考慮人類的能力問題。編程只是“煉金術(shù)”級別，即使在硬件條件簡單的情況下，也是可以討論的。此句以下，圖靈分析了當時硬件條件下可以只考慮的“學習機器”問題。

四、成人的“學習”與兒童的“教育”

圖靈區(qū)別成人的學習與兒童接受教育，雖然兩者都可以名之“學習”，但圖靈認為成人大腦所經(jīng)歷的經(jīng)驗不同于兒童大腦接受教育的性質(zhì)，就是說，這相當于“超臨界”狀態(tài)與“亞臨界”狀態(tài)的不同。因此，“與其試圖編程模擬成人大腦，不如模擬兒童大腦”，現(xiàn)在看來很明顯，成人的學習是“學而時習之”的個人歷史經(jīng)驗過程，兒童的教育具有被動學習的性質(zhì)，主要依靠記憶和訓練。但即使是這樣，“兒童機器”的教育仍不同于機械的“學習機器”，兒童在教育過程中的變化是受教育者的責任約束的，人類對兒童的的教育具有類似于“自然選擇”的重大責任。

圖靈雖然是一個技術(shù)理論專家，卻充滿人文關(guān)切的倫理精神：“It will not be possible to apply exactly the same teaching process to the machine as to a normal child. …… The example of Miss Helen Keller shows that education can take place provided that communication in both directions between teacher and pupil can take place by some means or other. ” （對機器不可能應用與正常兒童完全相同的教學過程，……海倫.勒女士的例子表明只要老師和學生能夠以某種方式進行雙向的直接交流，教育就能進行）。今天，在我們面臨AI基本理論問題和受到人、機倫理挑戰(zhàn)的困惑的時候，圖靈比我們清醒多了。

五、規(guī)則與規(guī)則的規(guī)則

對于“機器學習”而言，算法、指令、邏輯、規(guī)則等具有相同的本質(zhì)，但圖靈對創(chuàng)造“學習機器”，特別是“兒童機器”而言，“規(guī)則”與“規(guī)則的規(guī)則”具有完全不同的意義，圖靈認為，這是人工智能的基本性質(zhì)：

The imperatives that can be obeyed by machine that has no limbs are bound to be of a rather intellectual character, as in the example (doing homework) given above. important amongst such imperatives will be ones which regulate the order in which the rules of the logical system concerned are to be applied, For at each stage when one is using a logical system, there is a very large number of alternative steps, any of which one is permitted to apply, so far as obedience to the rules of the logical system is concerned. These choices make the difference between a brilliant and a footling reasoner, not the difference between a sound and a fallacious one.

－沒有肢體的機器人（AI，Agent）所能執(zhí)行的指令具有智力性質(zhì)，……在這些指令中，最重要的是調(diào)節(jié)邏輯系統(tǒng)規(guī)則的執(zhí)行順序，因為在使用這個系統(tǒng)的每一步，都會有許多不同選擇，在遵守邏輯系統(tǒng)規(guī)則的情況下，任意選擇一個都是允許的。如何選擇將區(qū)分聰明推理者還是愚蠢推理者（Agent），而不是區(qū)分正確推理者還是謬誤推理者（計算機）。

如果我們真正理解了圖靈的這種思想，就不會為無法區(qū)分作為Agent 的AI 與計算機的能力問題而煩惱。

六、不確定性與人工智能基本問題

我們的NP理論［5］堅持圖靈對希爾伯特第十問題解決的基本意義，理解線性（P定義）與非線性（NP定義）分別是最基本的本質(zhì)的區(qū)別，任何以P等于或不等于NP為目的前提、假設(shè)或猜想，都是循環(huán)定義或循環(huán)論證的錯誤。人類只能在線性與非線性之間建立最優(yōu)近似性聯(lián)系（NP-algorithm），但這不能以犧牲“線性”和“非線性”自身本質(zhì)為代價。這種基本認知問題上的誤導，就會產(chǎn)生以“停機問題”替代“不可判定問題”，以“圖靈檢驗”替代“模仿游戲”。因此可以說，這些都是以“煉金術(shù)”取代基本概念和基本理論問題研究。

圖靈提問：“一個機器能不能做成超臨界的？” 實際就是希爾伯特第十問題在人工智能領(lǐng)域的再版化。正是尊循圖靈一致性的思想，我們把算法理論、NP理論自然地延申到人工智能領(lǐng)域，有關(guān)這些問題，我們在“智能哲學”中進行深入討論。

參考資料：

1. http://www.aisixiang.com/zhuanti/495.html

2. A.M. Turing, Computing machinery and intelligence, Mind,59, 433- 460，1950.

3.https://mp.weixin.qq.com/s__biz=MzA3MzI4MjgzMw==&mid=2650734337&idx=2&sn=a0482d8899df629a8b1e8c51d302fe2e&chksm=871b3b7fb06cb2697b4dafe698ef87256d49b72a78a7c3cd10563890edda02adb525d9480471&scene=0&key=57525b5230b75ef7f8d3197a7a096eee12021e31be3b4e863872af2b768b84f3ca7ad830a9e52d3f6963ad76871fdb6e6f478f02a04a20ea4ab84682bee4e71775e51612857a0d8dab789feb98285bae&ascene=0&uin=MTY1NzgxNjIyMg%3D%3D&devicetype=iMac+MacBookAir7%2C2+OSX+OSX+10.11.6+build(15G1611)&version=12020810&nettype=WIFI&fontScale=100&pass_ticket=FuwY1I1ZwTdtzuygXfj8oQ3sbx2mbbuoMkvag5lwjl55D%2BAbF7fEqVeGWQ1ooFcU

4.https://www.facebook.com/yann.lecun/posts/10154938130592143

5.http://blog.sciencenet.cn/home.php?mod=space&uid=2322490&do=blog&classid=172041&view=me&from=space