菜單總覽

【大師講堂】自主系統 – 嚴謹的架構描述

  • 2018.10.17
  • 活動
“自主”,即在將智能服務更好地集成于系統的同時,最大限度地減少人為干預。約瑟夫·斯發基斯教授為我們帶來關于自主系統 – 嚴謹的架構描述的報告。

主題:自主系統 – 嚴謹的架構描述

演講者:約瑟夫·斯發基斯教授

時間:10月19日10:00--11:00

地點:道遠樓理事會會議室

語言:英語

?

【摘要】

“自主”是實現物聯網的關鍵所在。所謂“自主”,即在將智能服務更好地集成于系統的同時,最大限度地減少人為干預。為了實現這一愿景,我們需要構建嚴密、開放且可信賴的自主系統。但現在,我們未能為這樣的自主系統找到嚴謹而通用的語義框架。自主系統有哪些主要特征呢?答案依然非常混淆。諸多文獻表示,人們無法很好地理解與自主相關的詞匯,如以“自我” 開頭的“自我修復”、“自我優化”、“自我保護”、“自我意識”、“自我組織”等詞。當我們在談論自動駕駛汽車時,我們幾乎只關注于人工智能和學習技術,卻忽略了許多同樣重要的自主系統設計問題。

?

自主系統需要在某些共同環境中協調好代理(Agent)和對象(Object)的關系,以便兩者相互作用從而滿足整體目標。為此,我們提出了一種結合系統架構模型和代理模型的通用計算模型。該架構模型允許在組件之間實現動態可重構的多模式協調。代理模型則由五個交互模塊組成,每個模塊分別為了實現一個特征:感知、表達、目標管理,規劃和自適應。這五者構成了“自主復雜性”概念,體現出構建自主系統的難度。

?

我們的研究強調:自主系統的主要特征是它們處理知識和自適應響應環境變化的能力。研究結果主要表明:在研發自主系統時,我們需要更多地強調功能設計而非特定的技術。機器學習對于自主系統來說是必不可少的,盡管它只能滿足自主系統設計所隱含的一小部分需求。

?

因此,我們得出了如下結論:自主是一種廣泛的智能。構建可靠、最優化的自主系統,僅靠人工智能研究是遠遠不夠的。

?

【演講者簡介】

約瑟夫·斯發基斯教授是法國國家科研中心的榮譽研究員,同時也是Verimag實驗室的創始人,研究領域主要包括系統設計的基本概念和應用。斯發基斯教授主要專注于系統設計的形式化,即根據特定的要求實現可信賴、最優化且構造正確的系統。2011年到2016年期間,約瑟夫·斯發基斯教授于洛桑聯邦理工學院;(EPFL)擔任正教授一職。同時,他也是格勒諾布爾市Verimag實驗室的創始人,主管該機構13年之久。

2007年,約瑟夫·斯發基斯教授被授予了圖靈獎,以表彰其在模型檢查理論和應用方面做出的卓越貢獻。如今,該模型檢查理論已經成為了使用最廣泛的系統驗證技術。約瑟夫·斯發基斯教授是法國科學院院士、法國國家工程院院士、歐洲科學院院士、美國藝術與科學學院院士及美國國家工程院院士。他曾獲得法國國家勛章以及法國榮譽軍團勛章,并于2012年獲得了達芬奇獎章。

?

?