雷鋒網(wǎng) AI 科技評(píng)論按：今年，IJCAI（國(guó)際人工智能聯(lián)合會(huì)議，International Joint Conferences on Artificial Intelligence）將于 8 月 10 日至 16 日在中國(guó)澳門隆重召開。作為國(guó)際人工智能領(lǐng)域最頂級(jí)的學(xué)術(shù)會(huì)議之一，IJCAI 始終都是該領(lǐng)域研究者關(guān)注的焦點(diǎn)會(huì)議之一。

此前，我們開啟了 IJCAI 50 周年特別報(bào)道，介紹了 IJCAI 2019 對(duì)于 IJCAI 本身以及中國(guó)所承載的歷史性意義，并一一點(diǎn)名了在這兩段歷史中留下姓名的科學(xué)家們，包括：

•  11 位 IJCAI「卓越研究獎(jiǎng)」獲得者：Judea Pearl、 Donald Michie、 Nils Nilsson、 Geoffrey E. Hinton、 Alan Bundy、Victor R. Lesser、Robert Kowalski、 Hector Levesque、 Barbara Grosz、 Andrew Barto、Jitendra Malik；

•  5 位 IJCAI「中國(guó)學(xué)者第一人」：林堯瑞教授、張鈸院士、陸汝鈐院士、林方真教授以及楊強(qiáng)教授。

日前，AI 科技評(píng)論有幸采訪到了 2007 年 IJCAI「卓越研究獎(jiǎng)」得主 Alan Bundy，就他的個(gè)人研究生涯、當(dāng)前對(duì)于機(jī)器學(xué)習(xí)和 AI 危機(jī)的討論以及 IJCAI「卓越研究獎(jiǎng)」的獲獎(jiǎng)經(jīng)歷等進(jìn)行了對(duì)話。

Alan Bundy，英國(guó)皇家科學(xué)院院士、愛丁堡大學(xué)教授。他的主要研究方向?yàn)樽詣?dòng)推理，重要研究成果包括證明規(guī)劃（Proof-Planning）、元級(jí)推理的證明搜索（Meta-level Reasoning to Guide Rroof Search）等。他曾擔(dān)任 AAAI 創(chuàng)始 Fellow、歐洲人工智能聯(lián)合會(huì)（ECCAI）Fellow、皇家工程院 Fellow（FREng）、ACM Fellow、英國(guó)皇家藝術(shù)協(xié)會(huì)會(huì)員（FRSA）以及英國(guó)皇家學(xué)會(huì)會(huì)員（FRS），此外，他還是 2007 年 IJCAI「卓越研究獎(jiǎng)」以及自動(dòng)推理領(lǐng)域最高獎(jiǎng)「Herbrand 獎(jiǎng)」的獲得者。

因偶然的契機(jī)從數(shù)學(xué)轉(zhuǎn)向自動(dòng)推理

1968 年和 1971 年，Alan Bundy 先后在萊斯特大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位和數(shù)學(xué)邏輯學(xué)博士學(xué)位。而之后轉(zhuǎn)到使其聞名世界的自動(dòng)推理領(lǐng)域，Alan Bundy 自身更多地歸因?yàn)椋号既坏钠鯔C(jī)。

博士畢業(yè)后的 Alan Bundy，希望能夠利用自身在邏輯方面的積淀來解決實(shí)際問題，而自動(dòng)定理證明（Automated theorem proving）似乎是他能夠選擇的一個(gè)順理成章的研究方向。如果說這還是 Alan Bundy 當(dāng)時(shí)想轉(zhuǎn)變研究方向的一個(gè)想法，那他在博士期間認(rèn)識(shí)的 Bernard Meltzer 則讓他這一想法變成了現(xiàn)實(shí)：當(dāng)時(shí)，Bernard Meltzer 已加入愛丁堡大學(xué)領(lǐng)導(dǎo)世界領(lǐng)先的 ATP 研究組，恰好正在招收博士后，于是 Alan Bundy 便申請(qǐng)了這一崗位，并最終成功獲得錄用。由此，Alan Bundy 便正式開啟了他在自動(dòng)推理方向的研究生涯。

ATP 研究組將推理的嚴(yán)謹(jǐn)和搜索方向的啟發(fā)式方法進(jìn)行了理想的結(jié)合，這一點(diǎn)深深地吸引了 Alan Bundy，同時(shí)更讓他意識(shí)到了一個(gè)核心卻被忽視的問題：推理表示的自動(dòng)形成。之后，基于這一思路，Alan Bundy 領(lǐng)導(dǎo)研究小組在開展 Mecho 項(xiàng)目中就解決了推理表示的自動(dòng)形成問題?！窶echo 項(xiàng)目通過將英語理想化為場(chǎng)景的一階表示，然后提取和求解聯(lián)立方程，解決了用英語表示的力學(xué)問題?！?/p>

「最近，我也回到這一領(lǐng)域進(jìn)行研究，對(duì)錯(cuò)誤的表示進(jìn)行診斷和修復(fù)，因?yàn)殡S著我們更加依賴于噪音網(wǎng)站和手動(dòng)構(gòu)建的本體，這一問題的解決也變得越發(fā)重要?！?/p>

一直到退休，Alan Bundy 始終都在愛丁堡大學(xué)任教，他在采訪中表示：「愛丁堡大學(xué)發(fā)展成為了全球 AI 研究的四大中心之一（美國(guó)之外的唯一一個(gè)），在我加入后的四十多年時(shí)間里，我找不到離開愛丁堡大學(xué)去其他機(jī)構(gòu)的理由?！?/p>

研究生涯最具代表性成果：證明規(guī)劃

證明規(guī)劃（Proof-Planning）是 Alan Bundy 研究生涯中最為人所稱道的一項(xiàng)成果，他表示，這也是他個(gè)人認(rèn)為最具代表性的成果。

「證明策略可以指導(dǎo)定理證明器解決一部分證明問題。研究者通過給這些策略制定前置和后置條件，可以構(gòu)建某個(gè)證明的規(guī)劃。如果規(guī)劃失敗，研究者就能夠使用前置和后置條件來分析故障原因并修復(fù)證明嘗試。其中，經(jīng)過我們改善后的最佳策略就是 rippling，它能夠指導(dǎo)目標(biāo)改寫，從而使得將給定條件應(yīng)用到目標(biāo)證明中成為可能。而給定的條件可以是歸納假設(shè)，也可以是假設(shè)證明的假設(shè)或公理。同時(shí)，在對(duì) rippling 故障的分析中，也可以體現(xiàn)策略是否缺少了中間輔助定理和普遍原理——而這些，此前都被認(rèn)為是要求人為干預(yù)的?！?/p>

雖然已退休七年，Alan Bundy 現(xiàn)在依舊在他所熱愛的研究領(lǐng)域勤耕不輟，他提到，近期他最引以為豪的一項(xiàng)工作成果叫做 Reformation：

「這是一個(gè)領(lǐng)域獨(dú)立的算法，用以診斷和修復(fù)故障邏輯表示，也就是說研究者通過證明某個(gè)錯(cuò)誤的定理或證明無法實(shí)現(xiàn)正確推測(cè)的錯(cuò)誤來找到故障。此前針對(duì)這一問題的解決方法是信念修正（belief revision），即刪除錯(cuò)誤公理或不明推論，并添加正確的推論。而 Reformation 則為修復(fù)提出了一個(gè)新的方向，它通過改變理論的語言來實(shí)現(xiàn)修復(fù)，例如拆分或融合概念，或者添加、消除概念的獨(dú)立性。它基于匹配算法、聯(lián)合，可以分解在錯(cuò)誤定理證明中不想要但是成功的聯(lián)合，或者能夠賦能正確推測(cè)的拖延證明中想要但失敗的聯(lián)合?！?/p>

除此之外，Alan Bundy 表示，他現(xiàn)在還熱衷于自動(dòng)推斷策略的研究，具體研究方向包括從 Web 上的信息多源到通過組合各種推理方法的新知識(shí)推斷，例如統(tǒng)計(jì)學(xué)和演繹等?！概e個(gè)例子，我們的 FRANK（Functional Reasoning Acquires New Knowledge）系統(tǒng)就通過在已知數(shù)據(jù)上利用回歸來構(gòu)建功能，之后再將其推斷成未來數(shù)據(jù)，從事實(shí)現(xiàn)自動(dòng)預(yù)測(cè)?！?/p>

與所有研究者一樣，Alan Bundy 在其幾十年的研究生涯中也遇到過不少挑戰(zhàn)和挫折，不過，他在回顧自己所遇到的問題時(shí)，顯得格外樂觀，他表示：雖然他無法用「好」這個(gè)字眼來形容他此前在研究中遇到的問題，但是他有一套克服研究困難的竅門：

• 首先，我一直都堅(jiān)持招收最好的博士后和學(xué)生。并且在招收后，我就會(huì)相信他們能做好其所能做的工作。這也是我從我的第一任領(lǐng)導(dǎo) Bernard Meltzer 那里學(xué)到的重要經(jīng)驗(yàn)。

• 但是不久后，優(yōu)秀的研究人員可能就會(huì)想離開我的研究小組并開始成立自己的研究小組。對(duì)于這一點(diǎn)，比起認(rèn)為我失去了一位關(guān)鍵的團(tuán)隊(duì)成員，我更愿意將其視作一個(gè)外部合作的新機(jī)會(huì)。

• 同時(shí)，我認(rèn)為有好的判斷能力去選擇合適的研究平臺(tái)也非常重要。一些新的編程語言或工具包可能看上去符合你要求的理想技術(shù)，但你同時(shí)還要確保這些平臺(tái)始終得到充分維護(hù)。否則，在被使用幾年后，它可能會(huì)壞掉，而你此前所有的投入也將付諸東流。此外，知道什么時(shí)候跳出來你的某個(gè)，也是至關(guān)重要的。

關(guān)于機(jī)器學(xué)習(xí)的一些思考

Alan Bundy 作為傳統(tǒng) AI 領(lǐng)域的代表性人物，在采訪中也就當(dāng)前非常熱門的機(jī)器學(xué)習(xí)表達(dá)了他的肯定與顧慮：

「統(tǒng)計(jì)機(jī)器學(xué)習(xí)在近年來取得了巨大的成功，并且可以說，正是機(jī)器學(xué)習(xí)真正讓 AI 引起了大眾的廣泛關(guān)注。然而，它同樣也存在局限性，例如，機(jī)器學(xué)習(xí)在推理的解釋性方面要求大量的樣本，并且這一方法無法構(gòu)建像程序這樣的復(fù)合結(jié)構(gòu)。

因此，我也非常開心能夠看到當(dāng)下對(duì)于所謂的第三波 AI 浪潮的討論，在這波浪潮中，AI 的符號(hào)和次符號(hào)方法都被視作能夠解決任意方法局限性的混合系統(tǒng)的潛在補(bǔ)充。我自己也開始進(jìn)行這個(gè)方向的研究實(shí)驗(yàn)，并期待有合作者來共同進(jìn)一步探索其可能性。」

另外針對(duì)當(dāng)前「深度學(xué)習(xí)過熱」這一重要議題，Alan Bundy 也結(jié)合自己的研究生涯，提醒大家要辯證地看待深度學(xué)習(xí)這一研究方法：

「實(shí)際上，這類過熱現(xiàn)象往往會(huì)限制 AI 的發(fā)展，我的研究生涯就橫跨了 AI 歷經(jīng)的幾個(gè)發(fā)展階段，就比如說上世紀(jì) 80 年代專家系統(tǒng)的爆發(fā)式發(fā)展。雖然每個(gè)階段出現(xiàn)的一系列 AI 新方法都給研究者帶來了非常有用的新工具，但是對(duì)于“使用某一種重要方法就能解決 AI 所有的問題”的這種錯(cuò)誤預(yù)期，則會(huì)導(dǎo)致不切實(shí)際的遐想，并且最終會(huì)給人類帶來失望。我認(rèn)為統(tǒng)計(jì)機(jī)器學(xué)習(xí)的成功是毋庸置疑，其使用的 S 型曲線（S-Curve）能夠接近最優(yōu)解的臨界值，給 AI 領(lǐng)域的研究帶來了巨大的價(jià)值。同時(shí)，我也認(rèn)為下一個(gè) AI 寒冬不會(huì)到來。另外，我希望現(xiàn)在這第三波 AI 浪潮能夠創(chuàng)造各色各樣的新機(jī)遇和新成果。」

笨拙、低效、無能才是 AI 最大的危機(jī)

AI 領(lǐng)域中一直都有聲音警示 AI 目前存在或未來將到來的危機(jī)，其中不少人認(rèn)為 AI 過于智能將對(duì)整個(gè)人類物種造成威脅。而 Alan Bundy 對(duì)此的觀點(diǎn)有所不同，他曾在計(jì)算機(jī)學(xué)會(huì)雜志《ACM 通訊》（Communications of the ACM）上表示：AI 的威脅的確存在，但威脅并不來自于類人智能 AI 的出現(xiàn)，正好相反，威脅來自于笨拙、低效、無能的 AI。

「我認(rèn)為 AI 的笨拙、低效、無能將會(huì)帶來非常嚴(yán)重的危機(jī)。沒錯(cuò)，大量 AI 系統(tǒng)確實(shí)取得了不小的成果，然而它們距離成為真正理想的專家還存在距離。它們也許實(shí)現(xiàn)了世界級(jí)的性能，但都還只能應(yīng)用于非常狹隘的領(lǐng)域，或者用于下圍棋，或者用于自動(dòng)駕駛、一般的知識(shí)問答等。然而，一旦將這些單個(gè)系統(tǒng)用到其能力以外的領(lǐng)域，它們將會(huì)帶來各種大型「翻車」現(xiàn)場(chǎng)。就比如說讓 AlphaGo 去駕駛車輛，這無疑將帶來巨大的安全隱患。再比如，心臟診斷系統(tǒng)如果被用來診斷癌癥患者，帶來的就不僅僅是誤導(dǎo)，更會(huì)給這些患者帶來嚴(yán)重的傷害。

目前關(guān)于 AI 奇點(diǎn)、AI 系統(tǒng)將讓人類失去主人地位的危機(jī)論，實(shí)際上干擾了我們對(duì)于 AI 所存在的這些真正危機(jī)的注意力。一些由帶有局限性的 AI 系統(tǒng)組成的解決方案一旦被應(yīng)用到其特定能力以外的領(lǐng)域，它們的笨拙、低效、無能顯而易見?！?/p>

基于這一擔(dān)憂，Alan Bundy 提出 AI 發(fā)展的終極目標(biāo)是：理解智能的本質(zhì)，尤其是認(rèn)知。

「我認(rèn)為不存在任何自然現(xiàn)象會(huì)永遠(yuǎn)都超出我們的理解范疇，而 AI 則是當(dāng)前我們理解智能的最佳選擇。一個(gè)類比就是我們對(duì)于飛行的理解。我們沒有利用對(duì)飛行的理解去創(chuàng)造出人造鳥，而是建造了飛機(jī)。同樣地，我們并不是要利用我們的智能知識(shí)去創(chuàng)造人類的替補(bǔ)，而是創(chuàng)造豐富的 AI 工具來增強(qiáng)和延展人類智能。一些 AI 在特定領(lǐng)域或許已經(jīng)超越了人類能力，而我希望這些領(lǐng)域能夠在范圍和專業(yè)知識(shí)方面有所增長(zhǎng)。我可不希望我們創(chuàng)造出一個(gè)超級(jí)機(jī)器人種族來接管我們這個(gè)世界，我們沒有這樣做的理由。

盡管，現(xiàn)在存在著某種威脅，即人類有可能制造出對(duì)人類和文明造成嚴(yán)重破壞的自主武器，但是這種威脅比起刻意設(shè)計(jì)，更帶有偶然因素，所以我們必須堅(jiān)決反對(duì)這種行為?！?/p>

IJCAI 2007「卓越研究獎(jiǎng)」得主遇上 IJCAI 50 周年

作為 2007 年 IJCAI「卓越研究獎(jiǎng)」得主，Alan Bundy 也成為了 IJCAI 歷史篇章上濃墨重彩的一筆?；貞浧甬?dāng)時(shí)得知自己獲得了 IJCAI「卓越研究獎(jiǎng)」的心情，Alan Bundy 用了「Mostly surprise」來形容。

「我猜我們這些獲獎(jiǎng)?wù)咴诘弥约韩@得了這一獎(jiǎng)項(xiàng)的那一刻，基本上都好似患上了某種程度上的冒名頂替綜合癥（Imposter Syndrome）。IJCAI「卓越研究獎(jiǎng)」在我心里就是 AI 領(lǐng)域的最高榮譽(yù)，所以當(dāng)時(shí)我簡(jiǎn)直不敢相信我的研究被授予了如此重量級(jí)的獎(jiǎng)項(xiàng)。而這個(gè)獎(jiǎng)項(xiàng)也讓我成為了我頗為尊崇的 AI 英雄行列中的一員。

不僅如此，這個(gè)獎(jiǎng)項(xiàng)也成為了我在正式退休后的七年時(shí)間里依舊活躍在 AI 研究領(lǐng)域的支撐之一，我希望我還能夠做出一些成果，讓我在回顧自己的研究生涯時(shí)能夠說：我的研究值得獲得這一獎(jiǎng)項(xiàng)?！?/p>

Alan Bundy 曾作為 AAAI（1990 年）和 ECCAI（1999 年）等起源于區(qū)域會(huì)議系列的學(xué)術(shù)會(huì)議的 Founding Fellow，因而他也更加能夠了解 IJCAI 所扮演的獨(dú)特性角色：

「IJCIA 自創(chuàng)立以來就是世界性的會(huì)議，迄今為止已蒞臨全世界的多個(gè)國(guó)家和地區(qū)召開，也吸引了眾多來自全球各地區(qū)的 AI 研究者們。我認(rèn)為 IJCAI 的這一特點(diǎn)非常重要，這也是其他區(qū)域性會(huì)議所無法比擬的優(yōu)勢(shì)。

當(dāng)不同研究領(lǐng)域的多個(gè)觀點(diǎn)進(jìn)行交流互動(dòng)時(shí)，往往會(huì)碰觸出一個(gè)全新研究方向的火花，IJCAI 便是能夠?qū)崿F(xiàn)這些碰撞的理想勝地。特別是，IJCAI 的 workshop 能夠讓分布在全球各地的志同道合的研究者們匯聚一堂，分享交流觀點(diǎn)。

AI 是整個(gè)人類共同努力的成果，需要得到全世界的重視——而這便是 IJCAI 能夠?qū)崿F(xiàn)的。我希望，IJCAI 在今后依舊能夠繼續(xù)在推動(dòng)分布于世界各地實(shí)驗(yàn)室的研究者們之間的共同協(xié)作上，發(fā)揮著自己的獨(dú)特作用?！?/p>

今年恰逢 IJCAI 的 50 周年，對(duì)于本屆意義非凡的 IJCAI 會(huì)議，Alan Bundy 也非常驕傲而感慨地表達(dá)了自己的祝福：

「祝 IJCAI 50 周年快樂！1971 年，我參加了在倫敦召開的 第二屆 IJCAI 會(huì)議，當(dāng)時(shí)會(huì)議的規(guī)模遠(yuǎn)無法同現(xiàn)在的相提并論。真的很開心看到 IJCAI 發(fā)展得如此盛大，同時(shí)還匯聚了來自如此多不同國(guó)家 AI 研究團(tuán)隊(duì)。我衷心祝愿 IJCAI 能夠一如既往地推動(dòng) AI 的全世界發(fā)展，吸引世界級(jí)的出版媒體，并一直作為國(guó)際研究者合作的重要匯聚盛會(huì)。同時(shí)，我更希望，AI 領(lǐng)域在下個(gè) 50 年依舊會(huì)出現(xiàn)如此多出色的研究成果，祝福 IJCAI 的 100 周年！」

最后，AI 科技評(píng)論也代表廣大研究者向 Alan Bundy 這位在 AI 領(lǐng)域成績(jī)斐然的科學(xué)家取了一回經(jīng)。Alan Bundy 本人也向后輩研究者們分享了自己認(rèn)為最重要的兩點(diǎn)建議：

• 一方面，永遠(yuǎn)要研究重要的問題。對(duì)于一些并不重要的問題，即便你取得了成果，也沒有什么太大意義，但是如果你失敗了......。然而，對(duì)于一些重要的問題，即便你最終失敗了，在這個(gè)過程中你或許也能做出某種程度上的貢獻(xiàn)——即便只是判別出某項(xiàng)技術(shù)沒有什么用，這也可以為其他研究者節(jié)省不少時(shí)間。

• 另一方面，不要給自己制定不切實(shí)際的目標(biāo)，尤其是當(dāng)你在完成一個(gè)具有挑戰(zhàn)性的 deadline 時(shí)，例如說要拿到博士學(xué)位，更是要制定貼合實(shí)際的計(jì)劃和目標(biāo)。對(duì)于一些重要的研究問題，你沒必要讓自己一開始就朝著完全解決這個(gè)問題的目標(biāo)出發(fā)，而是首先判斷自己能夠做出顯著同時(shí)也是自己力所能及的成果、對(duì)這個(gè)研究領(lǐng)域具有貢獻(xiàn)性的事情是什么，再進(jìn)行規(guī)劃。在這個(gè)過程中，你還需要明白的一點(diǎn)是：你之后的研究生涯，會(huì)給你足夠多的時(shí)間去做出更多的成就！

隨著「IJCAI 50 周年特別報(bào)道」采訪計(jì)劃的推進(jìn)，雷鋒網(wǎng) AI 科技評(píng)論后續(xù)還將為大家?guī)硪幌盗胁稍L報(bào)道，歡迎大家前往雷鋒網(wǎng) AI 研習(xí)社專門開設(shè)的 IJCAI 小組（https://ai.yanxishe.com/page/meeting/47）向各位學(xué)者提問，而我們也將有選擇性地將大家的問題傳達(dá)給各位學(xué)者，并最終以文字的形式反饋給大家！

雷峰網(wǎng)原創(chuàng)文章，未經(jīng)授權(quán)禁止轉(zhuǎn)載。詳情見轉(zhuǎn)載須知。