一、什么是人工智能？
來源：人工智能學(xué)家
來源：圖靈人工智能
人工智能與機(jī)器學(xué)習(xí)：
算法基礎(chǔ)和哲學(xué)觀點(diǎn)
克勞斯·邁因策爾
原刊于《上海師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版)》2018年第3期
摘要：圖靈將人工智能簡(jiǎn)化為具有形式邏輯、自動(dòng)證明和計(jì)算能力的符號(hào)處理系統(tǒng)。但是人類智能與語言理解有關(guān)。文章提出一個(gè)可以在自然界和技術(shù)上實(shí)現(xiàn)的關(guān)于智能度的工作定義來替代圖靈測(cè)試關(guān)于機(jī)器智能的定義。自然智能在具有不同程度復(fù)雜性的神經(jīng)系統(tǒng)和大腦的自然進(jìn)化中出現(xiàn)。人工智能是在技術(shù)發(fā)明中發(fā)展起來的，依賴于傳統(tǒng)圖靈機(jī)計(jì)算機(jī)能力的指數(shù)增長(zhǎng)。大腦、自動(dòng)機(jī)和機(jī)器似乎是完全不同的，但它們?cè)谡Z言識(shí)別方面是數(shù)學(xué)等價(jià)的。具有不同復(fù)雜程度的自動(dòng)機(jī)和機(jī)器的層次結(jié)構(gòu)是可以區(qū)分的，因?yàn)樗鼈兛梢酝ㄟ^適當(dāng)?shù)纳窠?jīng)網(wǎng)絡(luò)識(shí)別相同類型的語言。根據(jù)這樣的工作定義就得到了自然和技術(shù)上的智能度。特別值得注意的是模擬神經(jīng)網(wǎng)絡(luò)，它能夠像人類大腦那樣具有自然語言能力，這超出了圖靈可計(jì)算性。因此，需強(qiáng)調(diào)可通過神經(jīng)形態(tài)計(jì)算體系結(jié)構(gòu)實(shí)現(xiàn)的模擬和數(shù)字智能。但是，智能決不簡(jiǎn)單等同于大腦和計(jì)算機(jī)。模擬和數(shù)字元素也被整合到全球物聯(lián)網(wǎng)中，以解決不同程度的智能問題。
關(guān)鍵詞：人工智能；可計(jì)算性；智能度；語言識(shí)別；自動(dòng)駕駛；工業(yè)4.0；區(qū)塊鏈
作者簡(jiǎn)介：克勞斯·邁因策爾，歐洲科學(xué)院院士，德國工程院院士，德國慕尼黑工業(yè)大學(xué)教育學(xué)院哲學(xué)與社會(huì)教席榮休教授，德國復(fù)雜性系統(tǒng)協(xié)會(huì)主席，主要從事哲學(xué)和復(fù)雜性系統(tǒng)研究。
一、什么是人工智能？
人工智能（AI）在很多人不知情的情況下統(tǒng)治我們的生活很久了。與我們說話的智能手機(jī)、記錄我們健康數(shù)據(jù)的手表、自動(dòng)安排的工作程序、自動(dòng)駕駛的汽車和飛機(jī)、有自主邏輯的交通和能量系統(tǒng)，以及探測(cè)遠(yuǎn)方星球的機(jī)器人，都是連接成網(wǎng)的智能系統(tǒng)世界的例證。它們向我們展示了人們的日常生活是如何受到人工智能功能影響的。
艾倫·麥席森·圖靈（1912—1954）在后來以其姓命名的測(cè)試中定義一個(gè)系統(tǒng)是否具有智能性的判斷校準(zhǔn)為：如果該系統(tǒng)的回答和反應(yīng)與人類的無法區(qū)別時(shí)，則該系統(tǒng)是智能的。這個(gè)定義的不足之處是用人類作為測(cè)試標(biāo)準(zhǔn)。很多生物體也是智能系統(tǒng)的范例，它們和人類一樣，在進(jìn)化中出現(xiàn)并能夠或多或少地、獨(dú)立有效地解決問題。有時(shí)自然是技術(shù)發(fā)展的模板。但是信息科學(xué)和工程技術(shù)科學(xué)也經(jīng)常會(huì)找到一些與自然界不同甚至更好、更高效的解決問題的方法。所以，圖靈所定義的智能并不嚴(yán)謹(jǐn)，智能應(yīng)是指通過技術(shù)或自然系統(tǒng)有效而自動(dòng)地解決問題的程度或者等級(jí)。因此，筆者為一個(gè)系統(tǒng)的智能性提出一個(gè)暫時(shí)的工作概念，如果一個(gè)系統(tǒng)能獨(dú)立而有效地解決問題，則它就是智能的。一個(gè)系統(tǒng)的智能度由系統(tǒng)的獨(dú)立性程度、問題的復(fù)雜程度以及解決問題過程的效率大小決定：智能度我們能夠測(cè)量。據(jù)此，動(dòng)物（和人類）的意識(shí)和感覺對(duì)于智能來說并非必需的。
二、從圖靈到符號(hào)主義人工智能和自動(dòng)證明
1956年，受到圖靈“機(jī)器會(huì)思考嗎”這一問題的啟發(fā)，約翰·麥卡錫（John McCarthy）、艾倫·紐厄爾（Allen Newell）、赫伯特·西蒙(Herbert Simon)等多位權(quán)威研究人員出席了在達(dá)特茅斯舉行的有關(guān)機(jī)器智能的會(huì)議。人工智能研究的第一階段至少在于形式邏輯中探求解決問題的通用方法上取得了成就。為了證明公式的邏輯上的普遍適用性，設(shè)計(jì)了一種機(jī)械的處理方法。這種處理方法可以被計(jì)算機(jī)程序執(zhí)行，也將自動(dòng)定理證明引入了計(jì)算機(jī)科學(xué)。
在實(shí)踐中論證一個(gè)邏輯推論的普遍適用性可能會(huì)非常復(fù)雜。因此，1965年魯濱遜（J.A.Robinson）提出了所謂的歸結(jié)方法，借此能夠推導(dǎo)出邏輯駁議過程的證明。人們從對(duì)立的猜測(cè)（否定），即邏輯推論不具有普遍適用性開始；接著證明這一假設(shè)的所有可能的應(yīng)用實(shí)例都將導(dǎo)致自相矛盾的結(jié)果。否定之否定和邏輯推論的否定是普遍有效的。魯濱遜的歸結(jié)方法使用了邏輯化簡(jiǎn)法，據(jù)此人們可以將所有邏輯公式轉(zhuǎn)換成合取范式。在命題邏輯中一個(gè)合取范式由可以否定的和不可否定的命題變量（字符串）組成，這些變量由合?。ā模┖臀鋈。ā牛┓?hào)連接起來。一個(gè)常規(guī)公式的組成元素被稱為子句。
對(duì)于謂詞邏輯的公式來說，也有一個(gè)通用的歸結(jié)過程，以便再次從一個(gè)公式的一般無效假設(shè)推導(dǎo)出矛盾。為此，一個(gè)謂詞邏輯的公式必須被變換為一個(gè)常規(guī)形式，從它的子句中可以機(jī)械地推斷出矛盾。但是，因?yàn)樵谥^詞邏輯中（不同于命題邏輯）一般不能判斷一個(gè)公式的普遍適用性，所以，有可能發(fā)生歸結(jié)過程無法結(jié)束的情況。計(jì)算機(jī)程序就這樣無限制地運(yùn)行下去。因此，重要的是找到一些子類，其中的過程不僅有效而且能夠結(jié)束。機(jī)器智能提高并加速?zèng)Q定過程的效率，但機(jī)器智能像人類智能一樣受制于邏輯決定性的原則界限。
在邏輯學(xué)和數(shù)學(xué)中，公式（也是字符串）是一步步被推導(dǎo)出來的，直到完成一個(gè)命題的論證。計(jì)算機(jī)程序的運(yùn)行歸根結(jié)底就像論證。程序根據(jù)確定的規(guī)則一步步推導(dǎo)出字符串，直到找到一個(gè)解決問題答案的形式表達(dá)。類似地，我們想象流水線上某個(gè)工件的組裝過程，相應(yīng)的計(jì)算機(jī)程序規(guī)定了預(yù)設(shè)的零件如何一步步地根據(jù)規(guī)則組裝成這個(gè)工件。一個(gè)顧客想從一個(gè)計(jì)算機(jī)科學(xué)研究者那里得到一個(gè)能解決這樣問題的程序，在一個(gè)非常復(fù)雜又不清晰的生產(chǎn)過程中，顧客一定想先得到這個(gè)程序能正確運(yùn)行的證據(jù)?？赡馨l(fā)生的錯(cuò)誤是危險(xiǎn)的，也可能帶來巨大的額外費(fèi)用。計(jì)算機(jī)科學(xué)研究者依據(jù)一種軟件，這種軟件可以自動(dòng)從問題的形式特征中提取出證據(jù)。就像被投入到“數(shù)據(jù)挖掘”中尋找數(shù)據(jù)或者數(shù)據(jù)相關(guān)性的軟件一樣，相應(yīng)的軟件也被投入到證據(jù)的自動(dòng)尋找中。
這就產(chǎn)生了一個(gè)問題，軟件自動(dòng)提取證據(jù)是否可靠。在一個(gè)準(zhǔn)確地預(yù)先確定的框架內(nèi)，能夠?qū)σ源藶榛A(chǔ)的軟件進(jìn)行可靠性論證，顧客就能確定這個(gè)計(jì)算機(jī)程序是否能夠正確工作以解決問題。這種“自動(dòng)證明”不僅對(duì)現(xiàn)代軟件技術(shù)有巨大的影響，還導(dǎo)致了深刻的哲學(xué)問題，即數(shù)學(xué)的思維可以被自動(dòng)化到什么程度。但是，這種軟件的正確性論證卻是由一個(gè)數(shù)學(xué)家進(jìn)行的。如果我們想要使這種證明自動(dòng)化，一個(gè)基本的認(rèn)識(shí)論的問題就產(chǎn)生了：這是否將我們引入一個(gè)回歸，它的終點(diǎn)是人類（必須是人類）？
三、從一般問題解決器到專家系統(tǒng)
人工智能研究的第一階段大約在20世紀(jì)50年代中期到60年代中期，仍被欣快的期待所刺激著。人們應(yīng)用計(jì)算機(jī)來設(shè)計(jì)通用問題解決方法，但是實(shí)踐的結(jié)果令人非常失望。大約在20世紀(jì)70年代中期到80年代中期，以知識(shí)為基礎(chǔ)的專家系統(tǒng)進(jìn)入人們視野，這是人工智能的第一次實(shí)際應(yīng)用。有限而明確的人類專家的專業(yè)知識(shí)，比如工程和醫(yī)學(xué)等領(lǐng)域的專業(yè)知識(shí)被寫進(jìn)專家系統(tǒng)，應(yīng)用到日常生活領(lǐng)域。
以知識(shí)為基礎(chǔ)的專家系統(tǒng)作為一種人工智能程序，儲(chǔ)存相關(guān)領(lǐng)域的知識(shí)并根據(jù)這些知識(shí)自動(dòng)進(jìn)行推理，以便找出正確答案或者提供某些情形下的診斷。專家系統(tǒng)與人類專家的不同之處在于，專家系統(tǒng)的知識(shí)被限制在專門的信息基礎(chǔ)里，沒有結(jié)構(gòu)化的、關(guān)于世界的常識(shí)性知識(shí)。要建造一個(gè)專家系統(tǒng)，必須首先將專家的知識(shí)用規(guī)則表達(dá)出來，然后翻譯成程序語言，并用問題解決策略進(jìn)行處理。
四、人工智能與自然語言：魏澤鮑姆的ELIZA
以上策略同樣適用于用計(jì)算機(jī)實(shí)現(xiàn)基于自然語言的交流。約瑟夫·魏澤鮑姆(Joseph Weizenbaum)設(shè)計(jì)的語言程序ELIZA就是一個(gè)例子。ELIZA模擬人類專家中的女精神病醫(yī)師與病人聊天。該程序涉及一些規(guī)則，指揮一個(gè)“女精神病醫(yī)師”用怎樣的句子模板對(duì)病人的某些特定的句子模板做出反應(yīng)，基本上是根據(jù)各種情況對(duì)規(guī)則進(jìn)行識(shí)別和分類。最簡(jiǎn)單的情況是確定兩個(gè)符號(hào)結(jié)構(gòu)的等價(jià)性，就像它們?cè)诜?hào)編程語言LISP中被函數(shù)EQUAL確定一樣。如果常量和變量被包含在符號(hào)表達(dá)式中，則出現(xiàn)一些擴(kuò)展。比如：
(xBC)
(ABy)
這兩個(gè)項(xiàng)相互匹配，因?yàn)樽兞縳和原子A、變量y和原子C互相對(duì)應(yīng)。通過引入變量可以使一個(gè)模板的結(jié)構(gòu)通過模式比較被識(shí)別。
為此，可以在LISP編程語言中定義一個(gè)特殊的運(yùn)算符MATCH。一個(gè)數(shù)據(jù)和一個(gè)結(jié)構(gòu)對(duì)應(yīng)的最簡(jiǎn)單的情況是常量的相等性，比如列表AB和AB的相等性：
(MATCH'(AB)'(AB))=T
符號(hào)“'”表示后面的列表不是函數(shù)定義，而是應(yīng)當(dāng)理解為符號(hào)的排列。
為了實(shí)現(xiàn)分類，可以使用各種各樣的生成符號(hào)，就像邏輯學(xué)或數(shù)論中的變量那樣。比如可以用符號(hào)“？”來引導(dǎo)出任何對(duì)象：
(MATCH'(?B)'(AB))=T
(MATCH'(?B)'((AB)B))=T
這個(gè)結(jié)構(gòu)將每一個(gè)包含兩個(gè)子列A和B的列表與其中的第二個(gè)列表B匹配。
生成符號(hào)“*”表示任意多個(gè)符號(hào)構(gòu)成的字符串（包括空串）。比如：
(MATCH'(*B)'(B))=T
(MATCH'(*B)'(ABCB))=T
這樣給出的結(jié)構(gòu)表示與所有在尾部包含B的列表相匹配。
以上結(jié)構(gòu)就可以說明ELIZA系統(tǒng)的本質(zhì)算法結(jié)構(gòu)，它反映了“精神病醫(yī)師”的知識(shí)庫內(nèi)容。請(qǐng)看病人P和ELIZA（簡(jiǎn)稱E）之間的對(duì)話：
P:MEN ARE ALL ALIKE.（男人們?nèi)家粯?。?/p>
E:IN WHAT WAY？（在哪些方面？）
P:THEY’RE ALWAYS BUGGING US ABOUT SOMETHING OR OTHER.（他們總找借口躲避我們。）
E:CAN YOU THINK OF A SPECIFIC EXAMPLE？（你能舉個(gè)例子嗎？）
P:WELL，MY BOYFRIEND MADE ME COME HERE.（好吧，我的男朋友要我到你這里來。）
E:YOUR BOYFRIEND MADE YOU COME HERE.（你的男朋友要你到我這里來。）
P:YES，I AM VERY SAD.（是的，我很傷心。）
E:YOU ARE VERY SAD.（你很傷心。）
P:SAD AND DEPRESSED.（傷心而沮喪。）
E:PLEASE GO ON.（請(qǐng)繼續(xù)。）
下列規(guī)則可以推導(dǎo)出ELIZA的回答，因?yàn)樗鼈兛梢宰R(shí)別病人和ELIZA使用的某些特定的句子模式：
'(((*AM*B)→(APPEND'(YOU ARE)B))
((*ARE*)→'(IN WHAT WAY))
((*ALWAYS*)→'(CAN YOU THINK OF ASPECIFIC EXAMPLE))
((*MY*BME*C)→(APPEND'(YOUR)(APPEND B(CONS'YOU C))))
((*L)→'(PLEASE GO ON)))
第二個(gè)規(guī)則規(guī)定：當(dāng)在句子中存在ARE這個(gè)關(guān)鍵詞，而在其左右的內(nèi)容為任意時(shí)，用“IN WHAT WAY”作為回答。在句子“MEN ARE ALL ALIKE”中，ARE前的*是“MEN”，ARE后的是“ALL ALIKE”。
第四個(gè)規(guī)則是：當(dāng)病人的句子中單詞MY和ME通過列表*B被分開，并以列表*C結(jié)束時(shí)，ELIZA的回答首先由YOU和C部分（CONS'YOU C）構(gòu)成，然后使用B部分，最后是YOUR。
一段用戶與ELIZA之間的對(duì)話，與我們所舉的編程語言LISP中的句法符號(hào)列表沒什么不同。在語義學(xué)上要盡量使用與日常聊天習(xí)慣相符的結(jié)構(gòu)。
最后一個(gè)規(guī)則是典型的隨機(jī)響應(yīng)，就像我們?cè)谌粘Ａ奶熘薪?jīng)常遇到的一樣：如果專家無法識(shí)別一個(gè)任意的符號(hào)列表（*L），他就說“請(qǐng)繼續(xù)（PLEASE GO ON）”。
五、從ELIZA到WATSON系統(tǒng)
自約瑟夫·魏澤鮑姆的ELIZA之后，以模式識(shí)別為基礎(chǔ)的文本比較方法被人們熟知?，F(xiàn)在的軟件將句子拆分成單獨(dú)的短語進(jìn)行分析，迅速計(jì)算出對(duì)于提出的問題合適的答案模式或者在另一種語言中找出合適的翻譯。1993—2000年間由德國人工智能研究中心（DFKI）研發(fā)的VERBMOBIL就是一個(gè)高效的翻譯程序。
人類的語言處理過程包括不同的層次。技術(shù)也在這些層次上得到實(shí)現(xiàn)。在計(jì)算語言學(xué)中，這種處理方式被稱作管道模型，從聲音信息出發(fā)到文本形式，相應(yīng)的字母字符串被概括為單詞和句子。形態(tài)分析要得到單詞的詞根?；趩棠匪够Z法體系的語法學(xué)分析要得到句子的語法組成單元，比如主語、表語、賓語等。語義分析則關(guān)注句子的含義。最后，對(duì)話和話語分析則研究文本包含的問題與答案、目的、企圖、意圖等。高效的技術(shù)解決方案并不需要經(jīng)過這個(gè)管道模型的所有階段。當(dāng)今強(qiáng)大的計(jì)算能力以及機(jī)器學(xué)習(xí)和搜索算法可以用于各個(gè)層次的語言分析中。人類的語法分析過程通常與意識(shí)相關(guān)，而這并非必要的。
IBM公司研制的WATSON系統(tǒng)是一個(gè)語義層面上的自動(dòng)問答系統(tǒng)。它基于并行計(jì)算機(jī)的強(qiáng)大計(jì)算能力和維基(Wikipedia)網(wǎng)站所存儲(chǔ)的海量知識(shí)，綜合應(yīng)用了語言算法、專家系統(tǒng)、搜索算法、大數(shù)據(jù)處理等多種技術(shù)。與ELIZA不同，WATSON理解某些背景知識(shí)和語言的語義，能夠理解自然語言的提問，并快速在海量知識(shí)庫中找到相應(yīng)的知識(shí)和回答。WATSON一方面是IBM公司發(fā)明的認(rèn)知工具平臺(tái)，另一方面也意味著在經(jīng)濟(jì)和企業(yè)界的廣泛應(yīng)用可能。按照摩爾定律，WATSON的功能在可以預(yù)計(jì)的時(shí)期內(nèi)不再需要超級(jí)計(jì)算機(jī)了。一部智能手機(jī)上的一個(gè)App應(yīng)用就可以具備這樣的功能。不必通過鍵盤輸入來完成這樣的操作，而是通過智能語音程序就可以實(shí)現(xiàn)自然語言進(jìn)行的對(duì)話。對(duì)話中所包含的人類情感也能夠被程序識(shí)別，就像魏澤鮑姆早就擔(dān)心的那樣。
2013年斯派克·瓊斯（Spike Jonze）攝制的美國科幻片《她》（her）描繪了一個(gè)內(nèi)向而害羞的男人愛上了一個(gè)語言程序。他的職業(yè)是給那些難以向別人解釋他們感受的人寫信。為了減輕工作負(fù)擔(dān)，他得到了一個(gè)新的操作系統(tǒng)，該系統(tǒng)配備了女性身份和愉快的聲音。使用頭戴式耳機(jī)和攝像頭，他與這個(gè)自稱為薩曼莎（Samantha）的系統(tǒng)交流。薩曼莎很快就學(xué)會(huì)了社交互動(dòng)，并表現(xiàn)得越來越人性化。在頻繁而長(zhǎng)期的對(duì)話中，親密的情感關(guān)系得以發(fā)展。
智能寫作程序（或稱“寫作機(jī)器人”）不僅被媒體和新聞業(yè)用于處理常規(guī)文本，比如商業(yè)新聞、體育報(bào)道或小報(bào)消息，同樣可以應(yīng)用在行政管理或法律領(lǐng)域的常規(guī)文本寫作中。我們也將體驗(yàn)到在科研領(lǐng)域中使用智能寫作程序。在醫(yī)學(xué)、技術(shù)和自然科學(xué)領(lǐng)域?qū)I(yè)刊物上的論文出版量已經(jīng)變得如此巨大，以至于各個(gè)專業(yè)研究領(lǐng)域的專家都沒有時(shí)間詳細(xì)閱讀這些文章。研究結(jié)果必須以極快的速度出版才具有競(jìng)爭(zhēng)力。完全可以想象，將來科學(xué)家只需要在某個(gè)論文結(jié)構(gòu)中輸入數(shù)據(jù)、參數(shù)和結(jié)果，智能系統(tǒng)就能按照其寫作風(fēng)格寫出一篇規(guī)范的論文。
寫作機(jī)器人在金融行業(yè)也應(yīng)用得越來越普遍。可以在幾秒鐘內(nèi)生成多個(gè)原來靠人類專家才能完成的報(bào)告，比如公司簡(jiǎn)介?？梢蕴崾究蛻?、基金經(jīng)理采用何種策略投資股票市場(chǎng)以及基金如何發(fā)展。保險(xiǎn)公司使用智能寫作程序來衡量銷售業(yè)績(jī)并提出改進(jìn)建議。自動(dòng)創(chuàng)建的文本可以確認(rèn)客戶的投資策略是否能夠取得成功。自動(dòng)編寫程序提供的支持還可以為客戶提供更多的個(gè)人建議。人力投資顧問并沒有被取代，但數(shù)字產(chǎn)品的發(fā)展速度與IT工具的指數(shù)增長(zhǎng)一樣迅速。
六、神經(jīng)網(wǎng)絡(luò)和機(jī)器
生物體的自組織大腦則與可編程計(jì)算機(jī)不同。在演化進(jìn)程中，網(wǎng)絡(luò)最開始以復(fù)雜基因及蛋白質(zhì)網(wǎng)絡(luò)中的亞細(xì)胞供應(yīng)、控制和信息系統(tǒng)的身份出現(xiàn)。基于神經(jīng)化學(xué)信號(hào)處理功能的神經(jīng)細(xì)胞的信息、控制和供應(yīng)系統(tǒng)不斷進(jìn)化。螞蟻種群的發(fā)展就像人類大腦和人類社會(huì)的網(wǎng)絡(luò)物理系統(tǒng)一樣。
根據(jù)我們的工作定義，如果一個(gè)系統(tǒng)能夠獨(dú)立而有效地解決某種問題，那么這個(gè)系統(tǒng)就是智能的。傳統(tǒng)上我們把在進(jìn)化過程中發(fā)展起來的自然系統(tǒng)和在技術(shù)上引入的技術(shù)（“人工”）系統(tǒng)區(qū)分開來。智能度取決于數(shù)學(xué)復(fù)雜性理論中可以測(cè)量的問題的復(fù)雜性。
自然進(jìn)化中產(chǎn)生的有效解決問題的方法并沒有通過計(jì)算機(jī)模型中的符號(hào)方法進(jìn)行表示。亞細(xì)胞、細(xì)胞和神經(jīng)元自組裝產(chǎn)生適當(dāng)?shù)膹?fù)雜網(wǎng)絡(luò)。神經(jīng)元由圖形網(wǎng)絡(luò)的節(jié)點(diǎn)表示，觸連接由圖形網(wǎng)絡(luò)的連線表示。神經(jīng)化學(xué)連接的強(qiáng)度由連接權(quán)重來表示。學(xué)習(xí)在神經(jīng)元的開關(guān)模式建構(gòu)過程中產(chǎn)生，受到神經(jīng)網(wǎng)絡(luò)的學(xué)習(xí)算法指導(dǎo)。強(qiáng)烈的突觸耦合產(chǎn)生了神經(jīng)元的開關(guān)模式，與一個(gè)生物體的大腦情感或者肢體動(dòng)作狀態(tài)相適應(yīng)。這個(gè)過程也可以通過計(jì)算機(jī)模型來模擬，這種模擬基于神經(jīng)網(wǎng)絡(luò)、自動(dòng)機(jī)與計(jì)算機(jī)之間的基本的數(shù)學(xué)等價(jià)性。已經(jīng)得到證明，一個(gè)McCulloch-Pitts網(wǎng)絡(luò)可以通過一個(gè)能夠終止的自動(dòng)機(jī)模擬?？山K止的自動(dòng)機(jī)包括一些簡(jiǎn)單的系統(tǒng)，比如火車站的自動(dòng)購票機(jī)，它能夠識(shí)別一些簡(jiǎn)單的指令語言代碼。反過來，一個(gè)可終止的自動(dòng)機(jī)的功能也可以由一個(gè)McCulloch-Pitts網(wǎng)絡(luò)來實(shí)現(xiàn)。數(shù)學(xué)上，這樣的網(wǎng)絡(luò)可以通過實(shí)數(shù)加權(quán)。也可以這樣說，一個(gè)由McCulloch-Pitts網(wǎng)絡(luò)類型的神經(jīng)網(wǎng)絡(luò)系統(tǒng)構(gòu)成的生物體，只能解決具有這種復(fù)雜性的問題，即能夠被一個(gè)可終止的自動(dòng)機(jī)解決的問題。在這個(gè)意義上說，一個(gè)這樣的生物體的智能與一個(gè)可終止的自動(dòng)機(jī)的智能是同等程度的。
不過哪些神經(jīng)網(wǎng)絡(luò)相當(dāng)于圖靈機(jī)，也就是相當(dāng)于根據(jù)丘奇（Church）論題可以編程控制的計(jì)算機(jī)呢？這些機(jī)器和神經(jīng)網(wǎng)絡(luò)可以識(shí)別哪些語言呢？這些語言涉及某些自然語言，它們可以通過喬姆斯基語法體系推導(dǎo)出來，也就是可以遞歸地建構(gòu)起來?？梢宰C明，圖靈機(jī)依據(jù)這種語言識(shí)別功能能精確地模擬那些突觸權(quán)重為有理數(shù)且有反饋環(huán)的神經(jīng)網(wǎng)絡(luò)。反過來說，圖靈機(jī)可以被具有突觸權(quán)重為有理數(shù)的識(shí)別遞歸語言的神經(jīng)網(wǎng)絡(luò)精確地模擬出來。
如果我們把圖靈機(jī)作為程序控制計(jì)算機(jī)的原型，那么根據(jù)這個(gè)證明，一個(gè)具有有限的突觸強(qiáng)度的大腦可以被一個(gè)計(jì)算機(jī)模擬。相反，一個(gè)圖靈機(jī)（即一個(gè)計(jì)算機(jī)）的工作過程可以被一個(gè)具有有限的突觸強(qiáng)度大小的大腦追蹤。換句話說，這種大腦的智能度對(duì)應(yīng)于圖靈機(jī)的智能度。
這樣的神經(jīng)網(wǎng)絡(luò)原則上可以在適當(dāng)?shù)挠?jì)算機(jī)上模擬。事實(shí)上實(shí)際應(yīng)用（例如模式識(shí)別）的大部分神經(jīng)網(wǎng)絡(luò)仍然是在數(shù)字計(jì)算機(jī)（例如諾伊曼機(jī)器）上模擬實(shí)現(xiàn)的。只有神經(jīng)形態(tài)的計(jì)算機(jī)才能直接構(gòu)建神經(jīng)元網(wǎng)絡(luò)。
但是，如果神經(jīng)網(wǎng)絡(luò)的突觸權(quán)重不僅允許是有理數(shù)（即大小有限的數(shù)字，例如2.3715，其中小數(shù)點(diǎn)位數(shù)有限），而且還可以使用任意實(shí)數(shù)（即小數(shù)無限多的小數(shù)點(diǎn)，例如2.3715……這也是不可計(jì)算的）的話，將導(dǎo)致怎樣的結(jié)果呢？從技術(shù)上講，這樣的網(wǎng)絡(luò)不僅可以執(zhí)行數(shù)字計(jì)算，而且可以進(jìn)行模擬計(jì)算。
在信號(hào)理論中，模擬信號(hào)被理解為具有連續(xù)且不間斷的過程的信號(hào)。在數(shù)學(xué)上，模擬信號(hào)被定義為無限可微分的連續(xù)的平滑函數(shù)。顯然，這樣一個(gè)函數(shù)的圖形沒有不可微分的拐角和斷點(diǎn)。因此一個(gè)模擬信號(hào)形式的物理量的時(shí)間連續(xù)過程可以被描述出來。模擬-數(shù)字轉(zhuǎn)換器將時(shí)間連續(xù)的輸入信號(hào)離散成單獨(dú)的離散樣本。
事實(shí)上，在一個(gè)自然的有機(jī)體中，許多過程可以被認(rèn)為是模擬的。因此，視覺信號(hào)處理可以通過觸發(fā)傳感器的連續(xù)電磁場(chǎng)來描述。聽覺的聲學(xué)也是基于穩(wěn)定的聲波的。觸覺上，皮膚傳感器也能提供穩(wěn)定連續(xù)而不是數(shù)字化的感覺?，F(xiàn)在有人會(huì)爭(zhēng)辯說，在有限的物理世界中的測(cè)量值是有限的，因此原則上是可數(shù)字化的。然而對(duì)于人工智能具有非常重要意義的是模擬性的神經(jīng)網(wǎng)絡(luò)的理論結(jié)果。在數(shù)學(xué)上，如果擁有關(guān)于實(shí)數(shù)的數(shù)學(xué)理論，突觸權(quán)重為任意實(shí)數(shù)的模擬神經(jīng)網(wǎng)絡(luò)也可以被明確地定義出來。核心問題是模擬神經(jīng)網(wǎng)絡(luò)是否可以比具有有理數(shù)的神經(jīng)網(wǎng)絡(luò)且因此比圖靈機(jī)或數(shù)字計(jì)算機(jī)做得“更多”。這可能是人工智能辯論中的一個(gè)中心論點(diǎn)，也就是說，具有實(shí)數(shù)的數(shù)學(xué)比僅具有比特?cái)?shù)的計(jì)算機(jī)科學(xué)可以做得“更多”。
自動(dòng)機(jī)和機(jī)器的核心特征是對(duì)形式語言的認(rèn)識(shí)和理解。如果一個(gè)自動(dòng)機(jī)經(jīng)過有限多的步驟之后進(jìn)入一個(gè)可以接受的狀態(tài)并終止了，它就將一個(gè)讀入的單詞識(shí)別為某種形式的符號(hào)序列。自動(dòng)機(jī)可以接受的語言僅包含可被它識(shí)別的詞匯。可以證明，有限狀態(tài)自動(dòng)機(jī)正是可以識(shí)別規(guī)則語言的簡(jiǎn)單符號(hào)序列。上下文無關(guān)語言使用的規(guī)則推導(dǎo)出的符號(hào)與背景符號(hào)無關(guān)，它們被更強(qiáng)大的具有特殊存儲(chǔ)結(jié)構(gòu)的自動(dòng)機(jī)識(shí)別。遞歸可枚舉語言非常復(fù)雜，只能被圖靈機(jī)識(shí)別。
具有有理數(shù)突觸權(quán)重的神經(jīng)網(wǎng)絡(luò)（以及圖靈機(jī)）也可以識(shí)別遞歸可枚舉的語言。這可以是生物體的自然神經(jīng)元系統(tǒng)，也可以是符合具有有理數(shù)突觸權(quán)重的遞歸神經(jīng)網(wǎng)絡(luò)的規(guī)律的人造神經(jīng)形態(tài)計(jì)算機(jī)?，F(xiàn)在可以證明：模擬的神經(jīng)網(wǎng)絡(luò)（具有實(shí)數(shù)的突觸權(quán)重）原則上可以在指數(shù)大小的時(shí)間內(nèi)識(shí)別不可計(jì)算的語言。通過將自然數(shù)和有理數(shù)的可計(jì)算性概念擴(kuò)展到實(shí)數(shù)上，這種證明在數(shù)學(xué)上是可能的?？梢杂貌罘址匠檀鏀?shù)字過程，也可以用差分方程來描述連續(xù)的實(shí)際過程。換句話說，所有類型的動(dòng)態(tài)系統(tǒng)，例如物理學(xué)中的流動(dòng)、化學(xué)反應(yīng)和生物界的組織，原則上都可以用相應(yīng)的、擴(kuò)展了的、具有實(shí)數(shù)的模擬系統(tǒng)來表示。
當(dāng)然模擬神經(jīng)網(wǎng)絡(luò)在多項(xiàng)式時(shí)間內(nèi)不能解決NP困難問題?？梢宰C明，旅行商問題（TSP）也是關(guān)于實(shí)數(shù)的NP困難問題。另一方面，根據(jù)邏輯學(xué)家阿爾弗雷德·塔斯基（Alfred Tarski）的證明，任何在實(shí)數(shù)域上可以定義的數(shù)量是有確定性的。相反，在整數(shù)域上可定義的集合，是不可確定的。這是哥德爾的算術(shù)不完全性定理的一個(gè)結(jié)論。實(shí)數(shù)上的可計(jì)算性顯然在一定程度上比整數(shù)域上的數(shù)字可計(jì)算性“更簡(jiǎn)單”。
無論如何，推廣到實(shí)數(shù)域的普遍性的（模擬性的）可計(jì)算性的優(yōu)點(diǎn)是，它比較客觀地概括了生物體、大腦和神經(jīng)形態(tài)計(jì)算機(jī)中的模擬過程。在這里可以清晰地觀察到與進(jìn)化、數(shù)學(xué)和技術(shù)方法非常相近的一個(gè)等價(jià)說法，它依賴于丘奇推論的擴(kuò)展性:不僅數(shù)字化上的有效過程可以被計(jì)算機(jī)模型表示出來，自然過程中模擬有效過程也可以。這是一個(gè)關(guān)于復(fù)雜動(dòng)態(tài)性系統(tǒng)的統(tǒng)一理論的核心。計(jì)算機(jī)中帶有數(shù)字的符號(hào)代碼只是我們的一種信息處理方式，它代表了原子、分子、細(xì)胞和進(jìn)化的過程。
可以這樣來區(qū)分可計(jì)算性的程度：一個(gè)非確定性圖靈機(jī)在計(jì)算過程中，除了使用通常的有效計(jì)算的基本操作外，還使用隨機(jī)決策。為此，我們借用圖靈定義的Ψ預(yù)言機(jī)擴(kuò)展了圖靈機(jī)的概念：對(duì)于Ψ預(yù)言機(jī)而言，除了一個(gè)確定性的圖靈機(jī)的命令，一個(gè)操作Ψ也是可以的，例如給Ψ(x)的x賦值，盡管我們不知道它是否可以計(jì)算。這樣，這種計(jì)算就依賴于這個(gè)預(yù)言Ψ。大自然中的一個(gè)例子是DNA信息有效處理過程中的隨機(jī)變化。這就是相對(duì)可計(jì)算性：一個(gè)函數(shù)相對(duì)于Ψ是可計(jì)算的，如果它通過一個(gè)Ψ預(yù)言機(jī)是可計(jì)算的話。
相應(yīng)地，一個(gè)相對(duì)化版本的丘奇推論可以這樣來定義：所有相對(duì)于Ψ有效的過程可以被一個(gè)（通用）Ψ預(yù)言機(jī)來模擬。一個(gè)擴(kuò)展的對(duì)于實(shí)數(shù)的模擬版本的丘奇推論也可以被定義。已經(jīng)證明了：一個(gè)模擬神經(jīng)網(wǎng)絡(luò)在多項(xiàng)式時(shí)間內(nèi)能夠識(shí)別一個(gè)合適的Ψ預(yù)言機(jī)在多項(xiàng)式時(shí)間內(nèi)能夠識(shí)別的語言。根據(jù)我們對(duì)人工智能的定義，一個(gè)具有相應(yīng)的模擬神經(jīng)元的神經(jīng)系統(tǒng)的自然有機(jī)體或者一個(gè)具有相應(yīng)技術(shù)的神經(jīng)系統(tǒng)，和Ψ預(yù)言機(jī)一樣地智能。
人類的知識(shí)與意識(shí)聯(lián)系在一起。來自長(zhǎng)期記憶的相應(yīng)數(shù)據(jù)和規(guī)則被放置到短期記憶中，可以被象征性地表示為：我知道我是個(gè)知道能夠或做了某事的人。原則上不能排除人工智能系統(tǒng)將來會(huì)有類似意識(shí)的能力。這樣的系統(tǒng)會(huì)創(chuàng)造出與人類截然不同的它們自身的體驗(yàn)、經(jīng)歷和身份。所以，如果將人工智能研究?jī)H僅局限在具有與人類相似的意識(shí)的人工智能系統(tǒng)上，將是進(jìn)入了一個(gè)死胡同。
七、機(jī)器和大腦的融合？
從2006年開始，隨著所謂“樹搜索”的蒙特卡洛算法的應(yīng)用，人工智能程序已經(jīng)成功地模擬了圍棋走法，但還沒有超過業(yè)余愛好者的水平。只有將下棋走法選擇的統(tǒng)計(jì)性的“樹搜索”與深度神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)算法（監(jiān)督和強(qiáng)化學(xué)習(xí)）結(jié)合，人工智能程序才獲得了成功。2016年，谷歌公司的“阿爾法狗”（Alpha Go）軟件在圍棋比賽中擊敗了人類冠軍，人工智能取得了驚人的突破。谷歌公司的程序員也很驚訝于“阿爾法狗”根據(jù)下棋狀態(tài)學(xué)習(xí)的速度之快。
當(dāng)然，超級(jí)計(jì)算機(jī)消耗發(fā)電廠級(jí)別的能量，而人類大腦僅僅消耗白熾燈量級(jí)的能量。在進(jìn)化過程中，更多的具有“較慢”突觸的神經(jīng)元分布在敏感的濕件（細(xì)胞組織+神經(jīng)化學(xué)）上，導(dǎo)致聯(lián)網(wǎng)密度增加，在節(jié)能降耗的同時(shí)，提高了“自然智能”的性能。技術(shù)上，通過魯棒“硬件”（例如，硅+半導(dǎo)體技術(shù)）提高處理速度和存儲(chǔ)容量以增加“人工智能”的性能，但是能量消耗較大。能耗較大的一個(gè)原因是計(jì)算機(jī)傳統(tǒng)的馮·諾依曼體系結(jié)構(gòu)，其存儲(chǔ)器和處理器分開，數(shù)據(jù)必須在這些單元之間不斷交換。這種限制（“馮·諾依曼瓶頸”）需要耗費(fèi)大量的時(shí)間和精力。與此相反，大腦是一個(gè)多態(tài)系統(tǒng)，其中的蜂窩網(wǎng)絡(luò)既能存儲(chǔ)數(shù)據(jù)，又可以處理數(shù)據(jù)。神經(jīng)形態(tài)計(jì)算機(jī)如果能將進(jìn)化的、模擬的和數(shù)字的技術(shù)融合起來，就可以將計(jì)算機(jī)技術(shù)上的效率與進(jìn)化優(yōu)勢(shì)（例如節(jié)能）結(jié)合起來。
八、神經(jīng)網(wǎng)絡(luò)與機(jī)器學(xué)習(xí)
具有適當(dāng)?shù)耐負(fù)浣Y(jié)構(gòu)和學(xué)習(xí)算法的人工神經(jīng)網(wǎng)絡(luò)的機(jī)器學(xué)習(xí)算法模擬大腦信息處理過程：神經(jīng)元（神經(jīng)細(xì)胞）通過傳播神經(jīng)化學(xué)信號(hào)的突觸相互連接，連接具有一定的強(qiáng)度，通過連接權(quán)重來表示。由于Hebb規(guī)則，當(dāng)來自相鄰區(qū)域的加權(quán)輸入的總和超過閾值時(shí)，神經(jīng)元激發(fā)動(dòng)作電位。此外，神經(jīng)元排列成層狀，這對(duì)應(yīng)于人腦的皮層結(jié)構(gòu)。
在神經(jīng)元層面，學(xué)習(xí)意味著興奮的神經(jīng)元相互連接。在神經(jīng)心理學(xué)中，這種互聯(lián)模式與某些認(rèn)知狀態(tài)如感覺、想象、感情、思維和意識(shí)有關(guān)。在神經(jīng)網(wǎng)絡(luò)模型中，這些互聯(lián)過程由學(xué)習(xí)算法建模，該學(xué)習(xí)算法改變突觸的權(quán)重?cái)?shù)值，因?yàn)樗鼈儽硎净ヂ?lián)模式中突觸連接的各個(gè)神經(jīng)元的強(qiáng)度。
有不同類型的學(xué)習(xí)算法。在監(jiān)督學(xué)習(xí)中，神經(jīng)網(wǎng)絡(luò)首先向一個(gè)原型學(xué)習(xí)。例如臉部像素的分布模式。顏色和色調(diào)的局部強(qiáng)度由相應(yīng)的突觸權(quán)重表示出來。一個(gè)神經(jīng)網(wǎng)絡(luò)可以通過訓(xùn)練來適當(dāng)調(diào)整權(quán)重。通過與訓(xùn)練好的原型比較，可以在各種臉部照片中識(shí)別出訓(xùn)練好的臉部照片。在非監(jiān)督學(xué)習(xí)中，神經(jīng)網(wǎng)絡(luò)能夠獨(dú)立地識(shí)別數(shù)據(jù)的相似性，以便相應(yīng)地對(duì)它們進(jìn)行分類。所以，這種神經(jīng)網(wǎng)絡(luò)算法就可以識(shí)別一只貓的面孔，即使在沒有先學(xué)習(xí)了解過貓是什么的情況下。
在加強(qiáng)學(xué)習(xí)過程中，系統(tǒng)首先被賦予某項(xiàng)任務(wù)，然后它應(yīng)該或多或少地獨(dú)立解決問題。例如，一個(gè)機(jī)器人要獨(dú)立尋找到一個(gè)給定目標(biāo)的路徑。在解決這個(gè)問題時(shí)，機(jī)器人在一定的時(shí)間間隔不斷地得到如何找到路徑或者解決問題的反饋。解決方案的策略是優(yōu)化這個(gè)反饋序列。
深度學(xué)習(xí)只是指神經(jīng)網(wǎng)絡(luò)的深度，它對(duì)應(yīng)于神經(jīng)層的數(shù)量。例如，一個(gè)面部識(shí)別的神經(jīng)網(wǎng)絡(luò)中，第一層區(qū)分彩色像素，第二層將端點(diǎn)和邊連接起來，第三層負(fù)責(zé)面部部分細(xì)節(jié)，最后在第四層得到面部的信息。這種算法的數(shù)學(xué)模型在20世紀(jì)80年代就有了，但是最近幾年在技術(shù)上才可以實(shí)現(xiàn)，因?yàn)樾枰獜?qiáng)大的計(jì)算能力，譬如具有100萬個(gè)神經(jīng)元和10億個(gè)突觸的谷歌“大腦”。這種技術(shù)不能靠少量的神經(jīng)層來實(shí)現(xiàn)。神經(jīng)層數(shù)應(yīng)該根據(jù)可以使用的計(jì)算能力隨意增加，以提高系統(tǒng)的運(yùn)算效率。
九、機(jī)器學(xué)習(xí)和自行駛車輛
一個(gè)非常熱門的應(yīng)用實(shí)例是自行駛車輛：具有各種傳感器（例如距離、燈光、碰撞）和電機(jī)設(shè)備的簡(jiǎn)單汽車已經(jīng)可以通過自組織神經(jīng)網(wǎng)絡(luò)產(chǎn)生復(fù)雜的行為。如果相鄰的傳感器在與外部物體發(fā)生碰撞時(shí)被激發(fā)，就會(huì)激發(fā)一個(gè)相應(yīng)地與傳感器相連的神經(jīng)網(wǎng)絡(luò)的神經(jīng)元。這在神經(jīng)網(wǎng)絡(luò)中產(chǎn)生了一種代表外部對(duì)象的連接方式。原則上這個(gè)過程類似于生物體對(duì)外部物體的感知過程，但是后者更加復(fù)雜。
如果我們現(xiàn)在想象一下，這輛汽車配備了“記憶能力”（數(shù)據(jù)庫），它可以記住危險(xiǎn)的碰撞以避免在未來碰到它們，那么，人們會(huì)想到汽車行業(yè)未來將如何建立具有自我學(xué)習(xí)能力的車輛。這些系統(tǒng)將與在某些條件下具有預(yù)先編程行為的傳統(tǒng)駕駛員輔助系統(tǒng)顯著不同。它將是一個(gè)神經(jīng)學(xué)習(xí)系統(tǒng)，就像高度進(jìn)化的生物體的學(xué)習(xí)功能一樣。
培訓(xùn)能夠自主學(xué)習(xí)行駛的車輛需要多少次的真實(shí)事故為代價(jià)？如果自動(dòng)駕駛車輛發(fā)生事故，誰負(fù)責(zé)？其道德和法律的挑戰(zhàn)是什么？對(duì)于諸如具有數(shù)百萬的元素和數(shù)十億的突觸連接的神經(jīng)網(wǎng)絡(luò)的復(fù)雜系統(tǒng)，盡管允許使用統(tǒng)計(jì)物理學(xué)的定律對(duì)整個(gè)系統(tǒng)的趨勢(shì)和收斂行為進(jìn)行全局性的描述，但是每個(gè)元素的經(jīng)驗(yàn)參數(shù)的數(shù)量可能如此之大，以至于無法確定局部原因。神經(jīng)網(wǎng)絡(luò)對(duì)我們來說仍然是一個(gè)“黑匣子”。從工程學(xué)的角度來看，奈特（Knight）關(guān)于機(jī)器學(xué)習(xí)的核心提到了一個(gè)“黑暗的秘密”：“即使設(shè)計(jì)基于機(jī)器學(xué)習(xí)系統(tǒng)的工程師，可能也很難將任何單一行為的原因分離出來?！?/p>
軟件工程中有兩種不同的方法是可以想象的：1.測(cè)試只顯示（隨機(jī)）發(fā)現(xiàn)的錯(cuò)誤，但不是所有其他可能的錯(cuò)誤。2.為了避免基本的錯(cuò)誤，必須對(duì)神經(jīng)網(wǎng)絡(luò)進(jìn)行正式的驗(yàn)證。
自動(dòng)定理證明的優(yōu)點(diǎn)是可以證明軟件作為數(shù)學(xué)定理的正確性。自動(dòng)證明的重要性在人工智能誕生之時(shí)就已經(jīng)被認(rèn)可了，就像本文之初所介紹的。因此，我建議在機(jī)器學(xué)習(xí)的神經(jīng)網(wǎng)絡(luò)之上引入一個(gè)形式化的元層次，以自動(dòng)完成形式化的正確性證明。例如，我們?cè)O(shè)想一種配備傳感器和作為其大腦的相應(yīng)神經(jīng)網(wǎng)絡(luò)的自行駛汽車，它的學(xué)習(xí)目標(biāo)是交通法所規(guī)定的汽車行為，比如于1968年在《維也納公約》中制定的《公路法》。在第一步，就像一架飛機(jī)那樣，這輛汽車配備了黑匣子，以便保存其行為數(shù)據(jù)。這個(gè)數(shù)據(jù)量應(yīng)該滿足《維也納公約》所規(guī)定的交通規(guī)則的要求。這種要求保障消除車輛的不當(dāng)行為。在元層次上，這個(gè)含義被形式化了，以便通過定理證明來實(shí)現(xiàn)自動(dòng)化證明。
為此，首先必須從黑匣子的數(shù)據(jù)中提取車輛的運(yùn)動(dòng)路徑。統(tǒng)計(jì)學(xué)提供模型擬合的一種方法。對(duì)車輛軌跡的描述必須在下一個(gè)步驟以形式語言在元層次上表示出來。這種形式化的描述必須滿足《維也納公約》的相應(yīng)正式條款要求。這個(gè)要求的形式化證明是由定理證明器自動(dòng)化實(shí)現(xiàn)的，并且可以憑借當(dāng)今的強(qiáng)大計(jì)算能力以閃電般的速度實(shí)現(xiàn)。
總之，用神經(jīng)網(wǎng)絡(luò)進(jìn)行機(jī)器學(xué)習(xí)是有效的，但我們無法詳細(xì)理解和控制神經(jīng)網(wǎng)絡(luò)中的過程。機(jī)器學(xué)習(xí)技術(shù)類似于統(tǒng)計(jì)測(cè)試，但對(duì)于強(qiáng)調(diào)安全性的系統(tǒng)來說還是不夠的。因此，機(jī)器學(xué)習(xí)應(yīng)該與定理證明相結(jié)合，這是一種還未形式化的、基于邏輯的人工智能。正確的行為是由邏輯形式化中的形而上的方法保證的，這些方法是可以自動(dòng)證明的。
十、人工智能和不完整信息的決策
在復(fù)雜的市場(chǎng)中，人們并不是按照“代表性經(jīng)紀(jì)人”（經(jīng)濟(jì)人）的公理決定的理性預(yù)期來行動(dòng)的，而是根據(jù)不完整的知識(shí)、情緒和反應(yīng)來決策和行動(dòng)。因此，美國諾貝爾獎(jiǎng)獲得者赫伯特·西蒙（Herbert A.Simon）定義了有限理性。這意味著，面對(duì)復(fù)雜的數(shù)據(jù)，我們應(yīng)該選擇比較滿意的解決方案，而不是尋求最完美的解決方案。
但是，處在有限理性和算法確定的信息條件下的決策是封閉的嗎？在1997年，IBM公司的超級(jí)計(jì)算機(jī)“深藍(lán)”（Deep Blue）擊敗了當(dāng)時(shí)國際象棋的衛(wèi)冕世界冠軍。2016年，谷歌公司推出了基于超級(jí)計(jì)算機(jī)的“阿爾法狗”軟件系統(tǒng)并擊敗了圍棋冠軍。然而，更令人感興趣的是在撲克大賽中擊敗人類冠軍的超級(jí)計(jì)算機(jī)上的軟件系統(tǒng)。不像棋類游戲，撲克是一個(gè)不完整的信息決策的例子。日常生活中的很多決策都屬于這種類型，例如商務(wù)談判、法律案例、軍事決策、醫(yī)療計(jì)劃和網(wǎng)絡(luò)安全等。相反，國際象棋和圍棋這樣的棋類游戲的決策是完整信息下的決策，其中每個(gè)玩家隨時(shí)都全面了解全局情況。
在撲克游戲中，人們會(huì)利用情緒和感受影響比賽，例如使用基于不完整信息的撲克牌花色來欺騙對(duì)手。人工智能專家也認(rèn)為，要讓機(jī)器能夠理解甚至產(chǎn)生人類情感還需要很多年的時(shí)間。但是，上面提到的撲克程序繞過了情緒問題，通過純粹而復(fù)雜的數(shù)學(xué)計(jì)算打敗了人類對(duì)手。
人工智能首先是一種想要有效解決問題的工程科學(xué)，這一點(diǎn)很清楚，它并不是為人類智能建模、模擬，甚至取代人類智能。即使在過去，某些成功的工程解決方案也不是模仿大自然，如人們?cè)噲D飛翔，模仿鳥類扇動(dòng)翅膀，他們就會(huì)墜落下來。只有當(dāng)工程師掌握了空氣動(dòng)力學(xué)的基本定律時(shí)，他們才能提出解決方案，以便能將沉重的飛機(jī)移動(dòng)到云層之上的高度，而這些解決方案在自然界并沒有發(fā)現(xiàn)。與人工智能不同的是大腦研究和神經(jīng)醫(yī)學(xué)，它們想要為人類有機(jī)體建模，理解人類有機(jī)體，比如人類在自然中是怎樣進(jìn)化發(fā)展的。
圖形上，可以通過一個(gè)“博弈樹”來表示一個(gè)游戲。一個(gè)游戲的情況對(duì)應(yīng)于一個(gè)分支節(jié)點(diǎn)，從這些節(jié)點(diǎn)出發(fā)，根據(jù)規(guī)則不斷發(fā)展游戲，這些游戲進(jìn)程由“博弈樹”中相應(yīng)的分支來表示。這些樹枝在某些節(jié)點(diǎn)（游戲情境）停止，新的分支（游戲進(jìn)程）又出現(xiàn)了。這就是復(fù)雜“博弈樹”的產(chǎn)生方式。
人工智能程序在處理游戲的時(shí)候，會(huì)通過一個(gè)有效的過程在“博弈樹”中找到之前走法的不足之處，并試圖在隨后的游戲中避免它們。超級(jí)計(jì)算機(jī)的巨大運(yùn)算能力可以實(shí)現(xiàn)百萬次之多的自身博弈。但是撲克游戲所需要的自身博弈次數(shù)多達(dá)10126之量級(jí)，即使是目前速度最快的超級(jí)計(jì)算機(jī)也無法在一個(gè)可以期待的時(shí)間內(nèi)完成?，F(xiàn)在就要使用數(shù)學(xué)知識(shí)了：用數(shù)學(xué)概率定理和博弈論可以證明，在某些情形下，后面的走法根本就沒有成功的可能。因此，這些情形可以被忽略，以減少計(jì)算時(shí)間。
在這樣的背景下，Pokerlibratus程序使用兩種不同的算法：反事實(shí)的遺憾最小化（Counterfactual Regret Minimation，簡(jiǎn)稱CFR）是信息不完全的、解決零和博弈的一個(gè)迭代算法；遺憾的修剪法（Regret-Based Pruning，簡(jiǎn)稱RBP）則是進(jìn)一步的發(fā)展，允許修剪掉在“博弈樹”中不太成功的分支，以便加快CFR算法。在零和博弈中，RBP切斷了所有不是一個(gè)“納什均衡”最好響應(yīng)的行動(dòng)。一個(gè)“納什均衡”是一種游戲狀態(tài)，此時(shí)沒有一個(gè)玩家可以通過單方面的策略來改善自己的表現(xiàn)。
人們?cè)谛畔⒉煌暾牟┺闹性噲D找到“納什均衡”。在少于約108個(gè)可能的游戲情形（游戲樹中的節(jié)點(diǎn)）的2人零和博弈中，可以通過線性算法（計(jì)算機(jī)程序）精確地找到“納什均衡”。對(duì)于較大的游戲，可以使用迭代算法（例如CFR）收斂于作為極限值的“納什均衡”。
在每場(chǎng)比賽之后，CFR會(huì)計(jì)算“博弈樹”中每個(gè)決策點(diǎn)行動(dòng)的“遺憾值”，從而最大限度地減少遺憾，改善游戲策略；“反事實(shí)”意味著“怎樣才可以做得更好”，如果行動(dòng)會(huì)帶著負(fù)面的遺憾值，RBP會(huì)跳過一定的迭代次數(shù)，直到隨后CFR的“遺憾值”變?yōu)檎?。只要修剪完成，跳過的迭代就會(huì)在一次迭代中完成。這減少了機(jī)器使用的計(jì)算時(shí)間和存儲(chǔ)空間。
十一、人工智能、物聯(lián)網(wǎng)和工業(yè)4.0
智能產(chǎn)生在與周邊環(huán)境的相互作用中。從石器時(shí)代到現(xiàn)在，人類大腦從生理學(xué)上說幾乎沒有改變。通過在目前技術(shù)社會(huì)中的互動(dòng)可能性，我們才能成為21世紀(jì)的人類。與此同時(shí)，全球化的知識(shí)社會(huì)本身也變成了一個(gè)復(fù)雜的智能系統(tǒng)，這個(gè)智能系統(tǒng)整合了各種或多或少的智能功能，具有獨(dú)立意識(shí)的每個(gè)人成為這個(gè)系統(tǒng)的一個(gè)組成元素。賽博物理系統(tǒng)旨在實(shí)施人工智能系統(tǒng)中的社交和情境知識(shí)，以改善對(duì)人類的服務(wù)功能。因此，它們是具有分布式人工智能的數(shù)字物理系統(tǒng)，而不是孤立的個(gè)人機(jī)器人或計(jì)算機(jī)具有的人工智能。與具有數(shù)十億相互作用的細(xì)胞、器官、傳感器和神經(jīng)系統(tǒng)的生物體相似，社會(huì)體系可以被理解為具有經(jīng)濟(jì)代謝周期和體外信息系統(tǒng)的超級(jí)生物體。
原則上，這個(gè)程序也可以轉(zhuǎn)移到其他應(yīng)用領(lǐng)域，因此不僅僅是某個(gè)領(lǐng)域的專家系統(tǒng)。自適應(yīng)算法已經(jīng)以指數(shù)級(jí)增長(zhǎng)的計(jì)算能力來控制網(wǎng)絡(luò)世界的進(jìn)程。沒有它們，互聯(lián)網(wǎng)上由數(shù)十億傳感器和聯(lián)網(wǎng)設(shè)備產(chǎn)生的海量數(shù)據(jù)將無法管理。傳感器使得現(xiàn)在的所有東西都可以彼此通信，而不僅僅是人。這就是我們談?wù)撐锫?lián)網(wǎng)(Internet of Things，簡(jiǎn)稱IoT)的原因。
工業(yè)4.0將物聯(lián)網(wǎng)應(yīng)用于工業(yè)和其他專業(yè)領(lǐng)域。工業(yè)4.0與歷史上工業(yè)化的前3個(gè)階段截然不同。工業(yè)1.0是19世紀(jì)蒸汽機(jī)的時(shí)代。在20世紀(jì)初，工業(yè)2.0是由亨利·福特裝配線的產(chǎn)生而引入的；流水線不過是工作流程的算法化，通過分工，人們按照固定的程序一步步地生產(chǎn)出工業(yè)產(chǎn)品。在工業(yè)3.0中，工業(yè)機(jī)器人進(jìn)入了生產(chǎn)過程，并且自20世紀(jì)末以來一直支配生產(chǎn)線上的工作。但是，這些工業(yè)機(jī)器人是固定的，并且一次又一次地為同一個(gè)特定的子任務(wù)執(zhí)行相同的程序。在工業(yè)4.0中，人工智能和機(jī)器學(xué)習(xí)融入了工作流程。操作人員通過網(wǎng)絡(luò)設(shè)備同智能設(shè)備相互通信，以靈活組織工作流程。根據(jù)客戶的要求，可以在需要的時(shí)間內(nèi)單獨(dú)定制產(chǎn)品。技術(shù)、生產(chǎn)和市場(chǎng)合并成一個(gè)社會(huì)技術(shù)系統(tǒng)，靈活自動(dòng)地適應(yīng)不斷變化的外部環(huán)境。
經(jīng)濟(jì)數(shù)據(jù)可被視為價(jià)值鏈組成部分的產(chǎn)品。數(shù)據(jù)不像食物一樣被消費(fèi)，但是像原材料一樣，可以通過不同的方式進(jìn)行轉(zhuǎn)化、合并和回收，從而一次又一次地連接新的商業(yè)模式。例如，一億輛車輛的實(shí)時(shí)位置數(shù)據(jù)可以通過不同方式被利用起來：車輛類型、出租車公司數(shù)據(jù)、天氣數(shù)據(jù)和交通歷史經(jīng)驗(yàn)加起來，可以優(yōu)化一個(gè)區(qū)域的車輛流動(dòng)模型。也可以利用同樣的數(shù)據(jù)，根據(jù)不同時(shí)間的交通負(fù)荷對(duì)相關(guān)經(jīng)濟(jì)狀況和勞動(dòng)力市場(chǎng)進(jìn)行判斷。還可以將數(shù)據(jù)與自動(dòng)ABS信號(hào)結(jié)合起來，以確定一個(gè)地區(qū)最安全的道路。
大數(shù)據(jù)不僅在經(jīng)濟(jì)上有利可圖，而且在政府和行政管理方面也有優(yōu)勢(shì)。通過對(duì)大規(guī)模結(jié)構(gòu)化和非結(jié)構(gòu)化管理數(shù)據(jù)進(jìn)行有針對(duì)性的評(píng)估，可以做出更好的管理決策，并指導(dǎo)公民行為。例如，通過對(duì)經(jīng)濟(jì)、氣候變化、人口統(tǒng)計(jì)、城市規(guī)劃和交通規(guī)劃的預(yù)測(cè)可以促進(jìn)經(jīng)濟(jì)發(fā)展。同樣，網(wǎng)絡(luò)輿情分析可以成為某些基礎(chǔ)設(shè)施缺陷的預(yù)警系統(tǒng)（如大型技術(shù)項(xiàng)目的規(guī)劃審批程序）。
十二、區(qū)塊鏈：進(jìn)入完全算法化的社會(huì)？
計(jì)算能力的指數(shù)級(jí)增長(zhǎng)加速了社會(huì)的算法化。智能算法將逐漸取代機(jī)構(gòu)并創(chuàng)建分散的服務(wù)和供應(yīng)結(jié)構(gòu)。區(qū)塊鏈數(shù)據(jù)庫技術(shù)展現(xiàn)了這個(gè)新數(shù)字世界的入門級(jí)場(chǎng)景。它類似一種分散的記賬系統(tǒng)，銀行將經(jīng)紀(jì)人之間的金錢交易用算法代替。這種分權(quán)措施是在2008年全球金融危機(jī)后發(fā)明的，這次金融危機(jī)主要是由國家和國際中央銀行的人為錯(cuò)誤造成的。
區(qū)塊鏈可以被視為一個(gè)持續(xù)分散記錄的賬本。賬本不是集中存儲(chǔ)的，而是分散在所涉及成員的每臺(tái)計(jì)算機(jī)上。在每個(gè)“頁面”（塊）中，參與者和安全代碼之間的交易都會(huì)被記錄下來，直到完整并且新頁面出現(xiàn)為止。技術(shù)上說它是一個(gè)使用加密技術(shù)連接的可擴(kuò)展塊的列表。每個(gè)塊包含前一個(gè)塊的加密安全的“哈?！?、時(shí)間戳和事務(wù)數(shù)據(jù)。哈希是一個(gè)關(guān)于前一個(gè)塊的信息的、由復(fù)雜的數(shù)字和字母組成的加密代碼。
新塊由共識(shí)方法生成（例如，工作證明算法）。通過區(qū)塊鏈這個(gè)記賬系統(tǒng)，數(shù)字商品或資產(chǎn)（貨幣、合同等）可以根據(jù)需要進(jìn)行隨意復(fù)制：“一切都是復(fù)制！”這就是“價(jià)值互聯(lián)網(wǎng)”（Internet of Value,簡(jiǎn)稱IoV）。所有以前的交易都在每個(gè)塊中再次編碼。由于區(qū)塊鏈中數(shù)據(jù)的積累，單方面的變化將立即被識(shí)別。任何相關(guān)參與者都會(huì)識(shí)別其區(qū)塊鏈副本中的更改，因?yàn)橄嚓P(guān)的連接區(qū)塊都必須“解包”。除此之外，整個(gè)網(wǎng)絡(luò)在“挖礦”過程中的計(jì)算能力需要很高，這樣才能使區(qū)塊鏈具有強(qiáng)大的防偽功能。參與者的網(wǎng)絡(luò)越大，哈希表計(jì)算就越復(fù)雜。隨著區(qū)塊鏈的增加，哈希的復(fù)雜性也在增加。
分散式加密貨幣按照以下步驟工作:
1.新交易已簽署并發(fā)送給參與者的所有節(jié)點(diǎn)。
2.每個(gè)節(jié)點(diǎn)（參與者）在一個(gè)塊中收集新的交易。
3.每個(gè)節(jié)點(diǎn)（參與者）搜索所謂的隨機(jī)值（nonce），它驗(yàn)證它的塊。
4.節(jié)點(diǎn)（參與者）發(fā)現(xiàn)一個(gè)有效的塊時(shí)，它將塊發(fā)送給所有其他節(jié)點(diǎn)（參與者）。
5.節(jié)點(diǎn)（參與者）只有當(dāng)下列規(guī)則有效時(shí)才接受該塊：
（1）塊的哈希值必須與當(dāng)前難度級(jí)別匹配。
（2）所有交易必須正確簽署。
（3）交易必須相應(yīng)地覆蓋前面的塊（無重復(fù)問題）。
（4）新的問題和交易費(fèi)用必須符合公認(rèn)的規(guī)則。
6.節(jié)點(diǎn)（參與者）通過將其哈希值放入其新塊中來表示它接受該塊。
創(chuàng)建一個(gè)新的有效塊（挖掘）對(duì)應(yīng)于解決加密任務(wù)（工作證明）。在網(wǎng)絡(luò)中，任務(wù)的難度是以平均每十分鐘生成一個(gè)新塊的方式來調(diào)節(jié)的。成功開采的概率與所使用的計(jì)算能力成正比。為此，挖掘的難度必須不斷地適應(yīng)網(wǎng)絡(luò)的當(dāng)前計(jì)算能力。工作證明算法遵循以下步驟（這里使用的閾值與采礦難度成反比）：
1.初始化塊，將根哈希作為交易計(jì)算。
2.計(jì)算哈希值：H=SHA256(SHA256(塊頭))。
3.如果h≥閾值，更改塊標(biāo)頭并返回步驟2;否則（h<閾值）,找到有效塊，停止計(jì)算和發(fā)布?jí)K。
新塊中包含的交易最初只由創(chuàng)建塊的參與者確認(rèn)。這只會(huì)給其有限的信譽(yù)。如果該塊被其他參與者接受為有效，則它們將在其新的塊中創(chuàng)建其哈希值。如果大多數(shù)參與者認(rèn)為這個(gè)塊有效，那么這個(gè)鏈將以最快的速度從這個(gè)塊繼續(xù)增長(zhǎng)。如果不認(rèn)為它是有效的，鏈將從目前為止的最后一塊開始增長(zhǎng)。這些塊演變成了一棵“樹”。
只有從第一個(gè)塊（根）開始的樹中生長(zhǎng)的最長(zhǎng)的鏈才被認(rèn)為是有效的。因此，這種形式的記賬自動(dòng)構(gòu)成了大多數(shù)人認(rèn)為有效的那些塊。第一個(gè)密碼貨幣開始被稱為創(chuàng)世紀(jì)塊，它是唯一不包含前一個(gè)哈希值的塊。
參與者在比特幣軟件幫助下管理所有交易記錄的分布式數(shù)據(jù)庫（區(qū)塊鏈），這是比特幣網(wǎng)絡(luò)的基礎(chǔ)?？尚诺牡谌胶蜋C(jī)構(gòu)（如銀行、國家貨幣管理機(jī)構(gòu)、中央銀行）被需要大量計(jì)算和防偽的算法代替（如工作證明算法）。比特幣所有權(quán)的證明可以存儲(chǔ)在個(gè)人數(shù)字錢包中。比特幣轉(zhuǎn)換成其他支付方式的比率是由供求決定的。這可能引發(fā)投機(jī)性泡沫，目前這仍然是比特幣能否被普遍接受需要解決的一個(gè)問題。
與這些“兒童病癥”無關(guān)，從長(zhǎng)期來看，區(qū)塊鏈在較長(zhǎng)時(shí)期內(nèi)將進(jìn)入技術(shù)分散的數(shù)字世界中，其中作為客戶和公民的民眾不通過中介機(jī)構(gòu)來直接實(shí)現(xiàn)相互的交易和交流。這項(xiàng)技術(shù)的前景絕不僅限于銀行和貨幣交易。未來的發(fā)展也是可以想象的，其他服務(wù)設(shè)施和國家機(jī)構(gòu)將被智能算法取代。乍看之下這是非常草根的民主，更嚴(yán)密地分析可以看出這根本就不是民主的。民主的基本思想是，每個(gè)人不論其地位和來源如何，只有一票：一人一票！但是比特幣的影響力取決于用戶能夠成功地實(shí)現(xiàn)一個(gè)新塊的計(jì)算能力：可用的計(jì)算能力越大，用戶就可以解決必要的加密任務(wù)，從而保證安全性（工作證明）的概率和可信度越大。
隨著區(qū)塊鏈的增長(zhǎng)，這些任務(wù)變得越來越復(fù)雜，需要消耗越來越多的計(jì)算密集能力。計(jì)算強(qiáng)度意味著能源密集型。今天，人們很少考慮到計(jì)算密集型算法要消耗大量能源這一事實(shí)。2017年11月，比特幣的計(jì)算網(wǎng)絡(luò)消費(fèi)在每個(gè)小時(shí)消耗的電力，與丹麥整個(gè)國家的消耗相當(dāng)。因此，擁有廉價(jià)能源和能夠?yàn)橐愿邷貭顟B(tài)運(yùn)行的超級(jí)計(jì)算機(jī)降溫的國家可以生產(chǎn)出最多的比特幣（如中國）。除非采取對(duì)策和改進(jìn)措施，這種計(jì)算只會(huì)增加能源問題以及相應(yīng)的環(huán)境問題。數(shù)字化的發(fā)展取決于更好的基礎(chǔ)設(shè)施的整體平衡、較少的能源消耗和更好的環(huán)境。
十三、超級(jí)智能？
人工智能研究自誕生之日起就與人類未來的偉大愿景聯(lián)系在一起。人工智能能代替人嗎？有些人已經(jīng)在談?wù)摷磳⒌絹淼摹俺恕?，引發(fā)了人們的憂慮和希望。另一方面，這種貢獻(xiàn)要求人工智能必須證明自己能夠服務(wù)社會(huì)。筆者從大學(xué)時(shí)期以來就一直著迷于使人工智能成為可能的算法。但我們必須知道人工智能的基本知識(shí)，能夠評(píng)估其功能和局限性。令人驚訝的是，我所秉持的基本哲學(xué)觀點(diǎn)還是如此，即最快的超級(jí)計(jì)算機(jī)也不會(huì)改變?nèi)祟愔悄芩茏C明的邏輯數(shù)學(xué)基礎(chǔ)。只有基于這方面的知識(shí)，才能評(píng)估其社會(huì)效果。我們應(yīng)該抓住人類智能的這個(gè)機(jī)會(huì)！
未來智能實(shí)驗(yàn)室的主要工作包括：建立AI智能系統(tǒng)智商評(píng)測(cè)體系，開展世界人工智能智商評(píng)測(cè)；開展互聯(lián)網(wǎng)（城市）大腦研究計(jì)劃，構(gòu)建互聯(lián)網(wǎng)（城市）大腦技術(shù)和企業(yè)圖譜，為提升企業(yè)，行業(yè)與城市的智能水平服務(wù)。每日推薦范圍未來科技發(fā)展趨勢(shì)的學(xué)習(xí)型文章。目前線上平臺(tái)已收藏上千篇精華前沿科技文章和報(bào)告。
聯(lián)系客服
