通用人工智能（AGI）的數(shù)學(xué)基礎(chǔ),是計算機科學(xué)和神經(jīng)科學(xué)這兩種途徑之外的第三種研究途徑或方法,其核心是區(qū)分計算機的算術(shù)范式與學(xué)習(xí)機的統(tǒng)計范式乃至理解機的幾何范式以及貫穿三者的邏輯范式,三類機器之間實現(xiàn)不同數(shù)學(xué)范式的相互映射和相互轉(zhuǎn)換。其目的是探尋AGI的數(shù)學(xué)基礎(chǔ),這是智能機自動編程和理解各類模式的關(guān)鍵。如果通用學(xué)習(xí)機是AGI的基石,那么通用理解機則是理解畢達(dá)哥拉斯、康德和哥德爾等深刻哲思的關(guān)鍵。其意義在于:明確了探討三類機器的統(tǒng)一數(shù)學(xué)原理的問題與探尋AGI的數(shù)學(xué)基礎(chǔ)之間的關(guān)系,同時明確和驗證了人工智能和計算機科學(xué)之間的關(guān)系。 

【文章來源】：自然辯證法研究. 2020,36(03)北大核心CSSCI

【文章頁數(shù)】：7 頁

【部分圖文】：

可預(yù)言的AGI發(fā)展的三個里程碑[3]

1936年圖靈在求解希爾伯特第十問題時,給出了“機械計算”的一種嚴(yán)格定義,它演變成了通用計算機的數(shù)學(xué)模型(后人稱圖靈機)。同時代的丘奇和哥德爾也給出過“機械計算”的不同定義,被證明都與圖靈機是等價的,他們的定義都是從純數(shù)理邏輯的意義上來考慮的,不像圖靈機那樣體現(xiàn)出了計算與操作的直觀本質(zhì)。因此,哥德爾對自己和丘奇的方法都不滿意,唯獨對圖靈的方法口服心服,他認(rèn)為“圖靈機以一種精確定義完全把握了機械(或計算)過程的直觀概念”。前兩年鄒曉輝在北大數(shù)學(xué)學(xué)院舉辦的跨學(xué)科大討論班上的多次演講,則更加明確地指出了圖靈機計算模型同時又是物理操作模型。圖靈機的跨學(xué)科描述方式,是希爾伯特、丘奇和哥德爾等數(shù)學(xué)家當(dāng)時幾乎都沒有想到的。鄒曉輝進一步給出了三類孿生圖靈機即形式化理解模型。由圖2可見,三類孿生圖靈機即三類形式化理解模型,其基礎(chǔ)是物理和數(shù)學(xué)跨學(xué)科的圖靈機理論模型。其關(guān)鍵在于圖靈測試分別導(dǎo)入的是數(shù)字、符號和字符三種類型的數(shù)據(jù),其中承載的信息和知識卻是由于人類用戶根據(jù)各自的實際需要可具體賦予的。其焦點就是當(dāng)年的圖靈測試[5](現(xiàn)在可由ABC三類孿生圖靈機暨三類形式化理解模型ABC分別完成)和后來的中文房間[6](其間接形式化之后即可簡稱中文屋)-用中文做圖靈測試的示例。

三類形式化理解模型不僅把圖靈機和圖靈測試以及中文屋和中文房間(用中文做圖靈測試)兩類極端沖突化解了,而且,還從廣義文本的視角升華了人們對計算機到學(xué)習(xí)機再到理解機的認(rèn)識,同時,還得到了間接形式化標(biāo)準(zhǔn)范例。由圖3可見,通用計算機發(fā)展的幾個里程碑,數(shù)字化、符號化、結(jié)構(gòu)化和對象化,其每一步的發(fā)展都有堅實的基礎(chǔ)。從專用學(xué)習(xí)機到通用學(xué)習(xí)機的發(fā)展,在強AI或AGI上遭遇了發(fā)展瓶頸:自然語言理解或?qū)＜抑R表達(dá)或軟件模式識別(后者在基于統(tǒng)計的機器學(xué)習(xí)和深度學(xué)習(xí)領(lǐng)域異軍突起,在特定領(lǐng)域產(chǎn)生了專用學(xué)習(xí)機)。通用理解機或間接形式化理解模型另辟蹊徑,從數(shù)字化與弱AI(強人類智力)途徑,打通了八大形式體系的間接形式化途徑。為貫通理性反思與經(jīng)驗預(yù)測,探索了雙重形式化途徑。

【參考文獻】：
期刊論文
[1]大數(shù)據(jù)與人機對話:語必在言的集合里選取[J]. 鄒曉輝,王肖群,鄒順鵬.  計算機應(yīng)用與軟件. 2019(09)
[2]從基因編輯到AI繁殖[J]. 邱元陽.  中國信息技術(shù)教育. 2018(23)
[3]圖靈測試六十五年——一種批判性的哲學(xué)概念分析[J]. 王陽.  科學(xué)技術(shù)哲學(xué)研究. 2016(02)
[4]兩大類形式化方略[J]. 鄒曉輝,鄒順鵬.  計算機應(yīng)用與軟件. 2013(09)
[5]軟件工程學(xué)科何以獨特——形式化方法的雙重路徑[J]. 鄒曉輝,鄒順鵬.  軟件. 2011(07)



本文編號：2962896