我科學(xué)家首次提出“類腦計(jì)算完備性” 為類腦計(jì)算提供技術(shù)標(biāo)準(zhǔn)與方案

我科學(xué)家在類腦計(jì)算體系結(jié)構(gòu)領(lǐng)域再獲突破性進(jìn)展。清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系張悠慧團(tuán)隊(duì)、精密儀器系施路平團(tuán)隊(duì)與合作者首次提出“類腦計(jì)算完備性”以及軟硬件去耦合的類腦計(jì)算系統(tǒng)層次結(jié)構(gòu)，填補(bǔ)了類腦研究完備性理論與相應(yīng)系統(tǒng)層次結(jié)構(gòu)方面的空白，利于自主掌握新型計(jì)算機(jī)系統(tǒng)核心技術(shù)。該成果于10月14日以《一種類腦計(jì)算系統(tǒng)層次結(jié)構(gòu)》為題發(fā)表在《自然》雜志上。

類腦計(jì)算是借鑒生物神經(jīng)系統(tǒng)信息處理模式和結(jié)構(gòu)的計(jì)算理論、體系結(jié)構(gòu)、芯片設(shè)計(jì)以及應(yīng)用模型與算法的總稱。近年來，類腦計(jì)算研究受到越來越多的關(guān)注。歐盟人腦旗艦研究計(jì)劃項(xiàng)目指出：“在未來10到20年內(nèi)，誰要引領(lǐng)世界經(jīng)濟(jì)，誰就必須在這個(gè)領(lǐng)域領(lǐng)先。”

張悠慧介紹，在通用計(jì)算機(jī)領(lǐng)域，圖靈完備性和馮·諾依曼體系結(jié)構(gòu)是其能夠飛速發(fā)展并持續(xù)繁榮的關(guān)鍵因素，前者用來判斷計(jì)算系統(tǒng)能否用來解決任何計(jì)算性問題，后者則是通用計(jì)算機(jī)應(yīng)用運(yùn)作的體系結(jié)構(gòu)：“兩者使通用計(jì)算領(lǐng)域在軟件層、編譯層和硬件層有了統(tǒng)一范式，使不同層次各自發(fā)展而又可以無縫兼容?！?/p>

但現(xiàn)有類腦計(jì)算系統(tǒng)方面的研究多聚焦于具體芯片、工具鏈、應(yīng)用和算法的創(chuàng)新實(shí)現(xiàn)，對(duì)系統(tǒng)基礎(chǔ)性問題，如計(jì)算完備性、系統(tǒng)層次結(jié)構(gòu)等思考不足，沒有形成公認(rèn)的技術(shù)標(biāo)準(zhǔn)和方案，導(dǎo)致軟硬件緊耦合、應(yīng)用范圍不明確等一系列問題。

為此，上述研究團(tuán)隊(duì)提出了“類腦計(jì)算完備性”概念。相對(duì)于通用計(jì)算機(jī)，這一定義放松了對(duì)系統(tǒng)計(jì)算過程和精度的約束，并提出了相應(yīng)的系統(tǒng)層次結(jié)構(gòu)：圖靈完備的軟件模型，類腦計(jì)算完備的硬件體系結(jié)構(gòu)，以及位于兩者之間的編譯層。通過構(gòu)造性轉(zhuǎn)化算法，任意圖靈可計(jì)算函數(shù)都可以轉(zhuǎn)換為類腦計(jì)算完備硬件上的模型，這意味著類腦計(jì)算系統(tǒng)也可以支持通用計(jì)算，極大地?cái)U(kuò)展了類腦計(jì)算系統(tǒng)的應(yīng)用領(lǐng)域，使類腦計(jì)算軟硬件各自獨(dú)立發(fā)展成為可能。

“通俗來講，‘完備性’可以回答系統(tǒng)能夠完成什么、功能邊界在哪里等問題?！睆堄苹劢榻B，如果說“圖靈完備性”是通用計(jì)算機(jī)領(lǐng)域的“圭臬”，“類腦計(jì)算完備性”則希望能為類腦計(jì)算系統(tǒng)領(lǐng)域的發(fā)展提供一個(gè)“準(zhǔn)繩”。

審稿人認(rèn)為，“這是一個(gè)新穎的觀點(diǎn)，并可能被證明是神經(jīng)形態(tài)計(jì)算領(lǐng)域以及對(duì)人工智能的追求的重大發(fā)展”。

據(jù)悉，未來在理論層面，團(tuán)隊(duì)將更關(guān)注類腦應(yīng)用的“神經(jīng)形態(tài)特性”；在系統(tǒng)層面，團(tuán)隊(duì)將研發(fā)受腦啟發(fā)的支持通用計(jì)算的新型計(jì)算機(jī)系統(tǒng)結(jié)構(gòu)與芯片。