【大師講堂】自主系統(tǒng) – 嚴(yán)謹(jǐn)?shù)募軜?gòu)描述
主題：自主系統(tǒng) – 嚴(yán)謹(jǐn)?shù)募軜?gòu)描述
演講者：約瑟夫·斯發(fā)基斯教授
時(shí)間：10月19日10:00--11:00
地點(diǎn)：道遠(yuǎn)樓理事會(huì)會(huì)議室
語(yǔ)言：英語(yǔ)
?
【摘要】
“自主”是實(shí)現(xiàn)物聯(lián)網(wǎng)的關(guān)鍵所在。所謂“自主”，即在將智能服務(wù)更好地集成于系統(tǒng)的同時(shí)，最大限度地減少人為干預(yù)。為了實(shí)現(xiàn)這一愿景，我們需要構(gòu)建嚴(yán)密、開(kāi)放且可信賴(lài)的自主系統(tǒng)。但現(xiàn)在，我們未能為這樣的自主系統(tǒng)找到嚴(yán)謹(jǐn)而通用的語(yǔ)義框架。自主系統(tǒng)有哪些主要特征呢？答案依然非?；煜?。諸多文獻(xiàn)表示，人們無(wú)法很好地理解與自主相關(guān)的詞匯，如以“自我” 開(kāi)頭的“自我修復(fù)”、“自我優(yōu)化”、“自我保護(hù)”、“自我意識(shí)”、“自我組織”等詞。當(dāng)我們?cè)谡務(wù)撟詣?dòng)駕駛汽車(chē)時(shí)，我們幾乎只關(guān)注于人工智能和學(xué)習(xí)技術(shù)，卻忽略了許多同樣重要的自主系統(tǒng)設(shè)計(jì)問(wèn)題。
?
自主系統(tǒng)需要在某些共同環(huán)境中協(xié)調(diào)好代理（Agent）和對(duì)象（Object）的關(guān)系，以便兩者相互作用從而滿(mǎn)足整體目標(biāo)。為此，我們提出了一種結(jié)合系統(tǒng)架構(gòu)模型和代理模型的通用計(jì)算模型。該架構(gòu)模型允許在組件之間實(shí)現(xiàn)動(dòng)態(tài)可重構(gòu)的多模式協(xié)調(diào)。代理模型則由五個(gè)交互模塊組成，每個(gè)模塊分別為了實(shí)現(xiàn)一個(gè)特征：感知、表達(dá)、目標(biāo)管理，規(guī)劃和自適應(yīng)。這五者構(gòu)成了“自主復(fù)雜性”概念，體現(xiàn)出構(gòu)建自主系統(tǒng)的難度。
?
我們的研究強(qiáng)調(diào)：自主系統(tǒng)的主要特征是它們處理知識(shí)和自適應(yīng)響應(yīng)環(huán)境變化的能力。研究結(jié)果主要表明：在研發(fā)自主系統(tǒng)時(shí)，我們需要更多地強(qiáng)調(diào)功能設(shè)計(jì)而非特定的技術(shù)。機(jī)器學(xué)習(xí)對(duì)于自主系統(tǒng)來(lái)說(shuō)是必不可少的，盡管它只能滿(mǎn)足自主系統(tǒng)設(shè)計(jì)所隱含的一小部分需求。
?
因此，我們得出了如下結(jié)論：自主是一種廣泛的智能。構(gòu)建可靠、最優(yōu)化的自主系統(tǒng)，僅靠人工智能研究是遠(yuǎn)遠(yuǎn)不夠的。
?
【演講者簡(jiǎn)介】
約瑟夫·斯發(fā)基斯教授是法國(guó)國(guó)家科研中心的榮譽(yù)研究員，同時(shí)也是Verimag實(shí)驗(yàn)室的創(chuàng)始人，研究領(lǐng)域主要包括系統(tǒng)設(shè)計(jì)的基本概念和應(yīng)用。斯發(fā)基斯教授主要專(zhuān)注于系統(tǒng)設(shè)計(jì)的形式化，即根據(jù)特定的要求實(shí)現(xiàn)可信賴(lài)、最優(yōu)化且構(gòu)造正確的系統(tǒng)。2011年到2016年期間，約瑟夫·斯發(fā)基斯教授于洛桑聯(lián)邦理工學(xué)院；（EPFL）擔(dān)任正教授一職。同時(shí)，他也是格勒諾布爾市Verimag實(shí)驗(yàn)室的創(chuàng)始人，主管該機(jī)構(gòu)13年之久。
2007年，約瑟夫·斯發(fā)基斯教授被授予了圖靈獎(jiǎng)，以表彰其在模型檢查理論和應(yīng)用方面做出的卓越貢獻(xiàn)。如今，該模型檢查理論已經(jīng)成為了使用最廣泛的系統(tǒng)驗(yàn)證技術(shù)。約瑟夫·斯發(fā)基斯教授是法國(guó)科學(xué)院院士、法國(guó)國(guó)家工程院院士、歐洲科學(xué)院院士、美國(guó)藝術(shù)與科學(xué)學(xué)院院士及美國(guó)國(guó)家工程院院士。他曾獲得法國(guó)國(guó)家勛章以及法國(guó)榮譽(yù)軍團(tuán)勛章，并于2012年獲得了達(dá)芬奇獎(jiǎng)?wù)隆?/p>
?
