牛津大學(xué)教授伍爾德里奇主講“金岳霖學(xué)術(shù)講座”

清華新聞網(wǎng)10月28日電 10月22-24日，由清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心、人文學(xué)院哲學(xué)系組織的“金岳霖學(xué)術(shù)講座”在主樓327會(huì)議室舉行。牛津大學(xué)計(jì)算機(jī)系主任伍爾德里奇（Michael Wooldridge）教授受邀主講。講座圍繞伍爾德里奇最新研究成果和如何看待當(dāng)下人工智能的發(fā)展等問(wèn)題展開(kāi)，吸引了校內(nèi)外眾多師生參與。講座分三次進(jìn)行，由清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心主任、人文學(xué)院哲學(xué)系教授劉奮榮主持。 

伍爾德里奇作演講

第一次是通識(shí)講座，探討人工智能的現(xiàn)實(shí)與虛構(gòu)。伍爾德里奇指出，不同于科幻作品中的想象，現(xiàn)實(shí)中的人工智能是一個(gè)相對(duì)狹窄的概念。他從人工智能發(fā)展的歷史講起，分別闡述了實(shí)現(xiàn)人工智能自上而下的路徑（模型建構(gòu)）與自下而上的路徑（機(jī)器學(xué)習(xí)）。伍爾德里奇指出，時(shí)下熱門(mén)的深度學(xué)習(xí)屬于自下而上的方式，實(shí)現(xiàn)了語(yǔ)音及圖像的識(shí)別處理，在不久的將來(lái)還會(huì)實(shí)現(xiàn)自動(dòng)駕駛等技術(shù)。他認(rèn)為，我們應(yīng)對(duì)計(jì)算機(jī)技術(shù)的發(fā)展保持興趣，但毋需過(guò)度擔(dān)心人工智能對(duì)人類(lèi)的威脅。

第二次和第三次講座詳細(xì)介紹了布爾博弈（Boolean Games）和策略推理。布爾博弈是一種基于邏輯的博弈，每個(gè)主體都擁有對(duì)一組命題變量給定賦值的策略，主體在博弈中以滿(mǎn)足一個(gè)目標(biāo)公式為目的。目標(biāo)公式可以看作是邏輯程序規(guī)范，通過(guò)引入所謂的“稅收模式”，可以調(diào)控多主體系統(tǒng)的運(yùn)行，實(shí)現(xiàn)社會(huì)效益最大化。跟博弈論理論相結(jié)合，伍爾德里奇引入了均衡檢測(cè)（Equilibrium checking）的概念。均衡檢測(cè)可以理解為模型檢測(cè)的博弈論版本，用來(lái)確定多主體系統(tǒng)是否具有某些屬性的問(wèn)題。針對(duì)與布爾博弈對(duì)應(yīng)的均衡檢測(cè)模型，伍爾德里奇探討了決策問(wèn)題的計(jì)算復(fù)雜度等問(wèn)題。 

講座現(xiàn)場(chǎng)

邁克爾·伍爾德里奇，國(guó)際計(jì)算機(jī)協(xié)會(huì)(ACM)會(huì)士，人工智能協(xié)會(huì)(AAAI)會(huì)士，歐洲人工智能協(xié)會(huì)(EurAI)會(huì)士。2019年起，擔(dān)任清華大學(xué)-阿姆斯特丹大學(xué)邏輯學(xué)聯(lián)合研究中心國(guó)際咨詢(xún)委員。伍爾德里奇從事人工智能理論研究30余年，發(fā)表400多篇相關(guān)論文，國(guó)際影響廣泛。2018 年出版通識(shí)讀物《人工智能：未來(lái)人工智能你需要了解的一切》（Artificial Intelligence: Everything You Need to Know about the Coming AI）， 受到讀者們的熱烈歡迎和高度評(píng)價(jià)。他的學(xué)術(shù)研究集中在邏輯學(xué)、計(jì)算復(fù)雜性、博弈論等學(xué)科交叉的領(lǐng)域，主要研究多主體系統(tǒng)的推理，特別是理性行為的計(jì)算方面的內(nèi)容。

“金岳霖學(xué)術(shù)講座”是邏輯學(xué)聯(lián)合研究中心于2015年開(kāi)始舉辦的系列學(xué)術(shù)活動(dòng)。系列講座以金岳霖先生的名字命名，旨在傳承和發(fā)揚(yáng)金岳霖先生在清華開(kāi)創(chuàng)的邏輯學(xué)傳統(tǒng)。中心每年邀請(qǐng)國(guó)際知名邏輯學(xué)家來(lái)清華開(kāi)展三次講座，進(jìn)一步推動(dòng)清華邏輯學(xué)的跨學(xué)科發(fā)展和建設(shè)。

供稿：人文學(xué)院

編輯：李華山

審核：呂   婷