【大師講堂】圖靈獎(jiǎng)得主Prof. Joseph Sifakis：自主系統(tǒng) – 嚴(yán)謹(jǐn)?shù)募軜?gòu)描述
2018年10月19日，圖靈獎(jiǎng)得主 Prof. Joseph Sifakis 做客香港中文大學(xué)（深圳）大師講堂，帶來(lái)了一場(chǎng)題為“自主系統(tǒng)——嚴(yán)謹(jǐn)?shù)募軜?gòu)描述”的學(xué)術(shù)報(bào)告。報(bào)告指出，當(dāng)今物聯(lián)網(wǎng)的愿景是實(shí)現(xiàn)“自主”，即將智能服務(wù)更好地集成于系統(tǒng)，且最大限度地減少人為干預(yù)。
?
圖靈獎(jiǎng)得主約瑟夫·斯發(fā)基斯教授作學(xué)術(shù)報(bào)告
?
基于自主系統(tǒng)的設(shè)計(jì)問(wèn)題，Prof. Joseph Sifakis 提出了一種結(jié)合系統(tǒng)構(gòu)架模型和智能體模型的通用計(jì)算模型，旨在調(diào)理自主系統(tǒng)中“智能體” (Agent) 和“對(duì)象” (Object) 的關(guān)系。該架構(gòu)模型可使得系統(tǒng)根據(jù)各種突發(fā)環(huán)境條件獨(dú)立實(shí)現(xiàn)動(dòng)態(tài)可重構(gòu)的多模式協(xié)調(diào)，從而自主完成任務(wù)。它結(jié)合了五個(gè)基本方面，分別是感知、知識(shí)庫(kù)、目標(biāo)管理、規(guī)劃和自適應(yīng)。隨后，Prof. Joseph Sifakis 對(duì)比了現(xiàn)階段機(jī)器自主和人類(lèi)輔助機(jī)器自主之間的差距，體現(xiàn)出構(gòu)建自主系統(tǒng)的難度。
?
大師講堂現(xiàn)場(chǎng)
?
隨后，Prof. Joseph Sifakis 從自主復(fù)雜性、設(shè)計(jì)復(fù)雜性、反應(yīng)復(fù)雜性和架構(gòu)復(fù)雜性等方面，討論了自主系統(tǒng)面臨的復(fù)雜性問(wèn)題。在他看來(lái)，嚴(yán)格的自主系統(tǒng)設(shè)計(jì)應(yīng)該重視準(zhǔn)確性，實(shí)現(xiàn)“可信賴(lài)”(Trustworthiness)和“優(yōu)化” (Optimization) 的目標(biāo)。談到“可信賴(lài)”的概念，Sifakis 教授借分析誤差 (Error) 和失敗 (Failure) 的區(qū)別 (Error is about the judgement. Failure is about?the experiment.) 解釋“可信賴(lài)”在一定程度上是可以容忍失敗的。在 Sifakis 教授看來(lái)，人工智能和機(jī)器學(xué)習(xí)技術(shù)對(duì)自主系統(tǒng)的構(gòu)建不可或缺，但是現(xiàn)有的機(jī)器學(xué)習(xí)技術(shù)在模型的正確性證明方面還有局限性。
?
理工學(xué)院院長(zhǎng)陳長(zhǎng)汶為約瑟夫·斯發(fā)基斯教授頒發(fā)“大師講堂”紀(jì)念牌
?
在總結(jié)階段，Prof. Joseph Sifakis 概述了其研究結(jié)果：“自主”作為一種廣泛的智能，不應(yīng)只局限于特定的實(shí)現(xiàn)技術(shù)，而應(yīng)強(qiáng)調(diào)系統(tǒng)的功能設(shè)計(jì)；建立可靠和優(yōu)化的自主系統(tǒng)遠(yuǎn)遠(yuǎn)超過(guò)目前人工智能系統(tǒng)所面臨的挑戰(zhàn)。問(wèn)答環(huán)節(jié)中，Prof. Joseph Sifakis 和與會(huì)師生一起就機(jī)器學(xué)習(xí)和軟件工程等問(wèn)題展開(kāi)討論。
?
理工學(xué)院教授與約瑟夫·斯發(fā)基斯教授合影
?
內(nèi)容由香港中文大學(xué)（深圳）理工學(xué)院提供
特別感謝理工學(xué)院黃銳教授與孫正隆教授提供本文修改建議
攝影| 陳鳴（傳訊與公共關(guān)系處）??
? ? ? ?馬天泰（2017級(jí)經(jīng)管學(xué)院、思廷書(shū)院）
排版| 郭文韜（2017級(jí)理工學(xué)院、思廷書(shū)院）
文案| 劉于豐（2017級(jí)理工學(xué)院、學(xué)勤書(shū)院）
? ? ? ?鄧晴文（2017級(jí)理工學(xué)院、思廷書(shū)院）
?
