清華大學(xué)團(tuán)隊首提“類腦計算完備性”概念
科技日報北京10月15日電 （記者林莉君）記者15日從清華大學(xué)獲悉，我國首篇以“計算機(jī)系作為第一完成單位”的論文登上《自然》，論文首次提出“類腦計算完備性”以及軟硬件去耦合的類腦計算系統(tǒng)層次結(jié)構(gòu)?！斑@是一個新穎的觀點(diǎn)，并可能被證明是神經(jīng)形態(tài)計算領(lǐng)域以及對人工智能的追求的重大發(fā)展?！薄蹲匀弧返囊晃粚徃迦私o出評價。
這篇題為《一種類腦計算系統(tǒng)層次結(jié)構(gòu)》的論文，由清華大學(xué)計算機(jī)科學(xué)與技術(shù)系張悠慧團(tuán)隊、精密儀器系施路平團(tuán)隊與合作者共同完成。首次提出“類腦計算完備性”（也稱為神經(jīng)形態(tài)完備性）概念——針對任意給定誤差∈≥0和任意圖靈可計算函數(shù)f(x)，如果一個計算系統(tǒng)可以實(shí)現(xiàn)函數(shù)F(x)使得‖F(xiàn)(x)-f(x)‖≤∈對所有合法的輸入x均成立，那么該計算系統(tǒng)是類腦計算完備的。
類腦計算，是借鑒生物神經(jīng)系統(tǒng)信息處理模式和結(jié)構(gòu)的計算理論、體系結(jié)構(gòu)、芯片設(shè)計以及應(yīng)用模型與算法的總稱。提起科研的初衷，張悠慧告訴記者:“現(xiàn)有的類腦計算系統(tǒng)研究大多聚焦于如何實(shí)現(xiàn)具體的芯片、工具鏈、應(yīng)用和算法的創(chuàng)新，忽略了從宏觀和抽象層面上對計算完備性和體系結(jié)構(gòu)的思考?！?tr>
“通俗來講，‘完備性’可以回答系統(tǒng)能夠完成什么、功能邊界在哪里等問題。研究完備性，能為軟硬件系統(tǒng)的解耦合、劃分不同研究領(lǐng)域間的任務(wù)分工與接口提供理論基礎(chǔ)。”張悠慧說。
類腦計算處于起步階段，國際上尚未形成公認(rèn)的技術(shù)標(biāo)準(zhǔn)與方案，這一成果填補(bǔ)了完備性理論與相應(yīng)系統(tǒng)層次結(jié)構(gòu)方面的空白，利于自主掌握新型計算機(jī)系統(tǒng)核心技術(shù)。計算機(jī)體系結(jié)構(gòu)專家、華中科技大學(xué)計算機(jī)學(xué)院教授金海評價此項(xiàng)研究：“在類腦計算系統(tǒng)領(lǐng)域做出了基礎(chǔ)性、原創(chuàng)性的貢獻(xiàn)，有利于自主掌握新型計算系統(tǒng)軟硬件核心技術(shù)?！?/p>