張明義：冷板凳上熬出國(guó)際科學(xué)大獎(jiǎng)

文丨肖 燕 劉 輝

“沒有扎實(shí)的基礎(chǔ)研究，就不可能有原始創(chuàng)新。”張明義是一個(gè)坐得住冷板凳的人，他潛心從事基礎(chǔ)科學(xué)研究，為中國(guó)、為貴州捧回一枚在國(guó)際學(xué)術(shù)界極具分量的獎(jiǎng)?wù)隆?/p>

2014年夏天，第二屆維也納邏輯之夏科學(xué)盛會(huì)，在來(lái)自世界各地的2500多名邏輯學(xué)家及學(xué)者的見證下，著名國(guó)際學(xué)術(shù)組織——庫(kù)爾特·哥德爾學(xué)會(huì)將終身成就獎(jiǎng)獎(jiǎng)?wù)麓髟诹?1歲的貴州科學(xué)家張明義的胸前。

這是庫(kù)爾特·哥德爾學(xué)會(huì)首次頒發(fā)終身成就獎(jiǎng)，張明義也成為獲該領(lǐng)域重要國(guó)際大獎(jiǎng)的首位中國(guó)科學(xué)家。這枚具有雙重意義的獎(jiǎng)?wù)拢浞挚隙藦埫髁x的重大貢獻(xiàn)，正如頒獎(jiǎng)詞所說(shuō)——

“他是中國(guó)人工智能和知識(shí)表示研究領(lǐng)域的一個(gè)拓荒者。他在貴陽(yáng)創(chuàng)立了一個(gè)研究非單調(diào)邏輯的團(tuán)隊(duì)，長(zhǎng)期以來(lái)促進(jìn)中西方科學(xué)家的交流。他對(duì)各種形式的非單調(diào)邏輯，包含缺省邏輯，回答集程序以及信念修改貢獻(xiàn)了大量的結(jié)果……張明義指導(dǎo)過(guò)的一些學(xué)生已經(jīng)成為國(guó)際同行尊重的研究者。”

“開門研究”的國(guó)際學(xué)者

站在國(guó)際學(xué)術(shù)領(lǐng)域前沿的張明義，他的書房并不“前沿”，只有一臺(tái)普通電腦、一套木質(zhì)桌椅和一排老式書柜。幾十年潛心科研，他對(duì)物質(zhì)的需求很少，對(duì)科學(xué)的熱度卻一直不減。圖為張明義在翻看《霍金傳》，這是他業(yè)余時(shí)間最愛讀的書。（劉 輝/攝）

上個(gè)世紀(jì)80年代，擔(dān)任貴州科學(xué)院應(yīng)用數(shù)學(xué)研究室主任的張明義，專心進(jìn)行泛系語(yǔ)義分析等領(lǐng)域的研究，獲得過(guò)省科技進(jìn)步獎(jiǎng)等重要獎(jiǎng)項(xiàng)。

在一次全國(guó)理論計(jì)算機(jī)科學(xué)會(huì)議上，兩名年輕學(xué)者關(guān)于“非單調(diào)邏輯”的論述，讓張明義從現(xiàn)有的狀態(tài)中“驚醒”。他放棄了已有的成績(jī)，將視線投向在中國(guó)尚屬空白的“非單調(diào)邏輯”領(lǐng)域，一頭扎入純粹的學(xué)術(shù)研究。

1992年，張明義向國(guó)際頂級(jí)學(xué)術(shù)刊物《人工智能》投送了一份論文。維也納科技大學(xué)教授Gottlob審閱此稿時(shí)，建議增加計(jì)算復(fù)雜性，并提出與之合作完成此篇論文，以兩人的名字聯(lián)合發(fā)表。已經(jīng)為該論文做了主要工作的張明義，毫不猶豫地答應(yīng)了。

此篇論文最終讓張明義成為在《人工智能》上發(fā)表論文的首位中國(guó)學(xué)者。因?yàn)槲恼率鹈从⑽淖帜疙樞蚺帕校拿峙旁贕ottlob之后，張明義卻沒有計(jì)較，之后他與Gottlob繼續(xù)合作，成為學(xué)術(shù)至交。

“開門做研究”，讓張明義逐漸具備國(guó)際視野，他的研究成果先后在多種國(guó)際頂級(jí)學(xué)術(shù)刊物上發(fā)表，引起國(guó)際學(xué)術(shù)界的廣泛關(guān)注。

“以文會(huì)友，合作共贏”是“開門做研究”的宗旨，走出去要有學(xué)術(shù)見識(shí)和獨(dú)立見解，要有不計(jì)較論文排名、共享研究發(fā)現(xiàn)的豁達(dá)。秉持這樣的觀念，從1993年開始，張明義先后到奧地利維也納科技大學(xué)、德國(guó)海德堡大學(xué)、加拿大阿爾伯達(dá)大學(xué)、香港科技大學(xué)等世界知名高等學(xué)府講學(xué)或進(jìn)行合作研究，并與國(guó)內(nèi)外許多知名專家建立了長(zhǎng)期互訪和合作關(guān)系。德國(guó)人工智能學(xué)會(huì)會(huì)長(zhǎng)Brewka、澳大利亞人工智能之父Norman Foo等，都來(lái)到貴陽(yáng)與張明義進(jìn)行學(xué)術(shù)交流。

長(zhǎng)期卓有成效的科學(xué)研究，讓張明義在國(guó)際學(xué)術(shù)界逐步樹立了權(quán)威。1993年，他成為進(jìn)入世界人工智能會(huì)議程序委員會(huì)委員的首位中國(guó)大陸學(xué)者。他還擔(dān)任過(guò)重要國(guó)際學(xué)術(shù)刊物《人工智能通訊》編委，并多次被聘為國(guó)際知識(shí)表示與推理會(huì)議等國(guó)際重要學(xué)術(shù)會(huì)議程序委員會(huì)成員。

中山大學(xué)、廈門大學(xué)、西南大學(xué)等多所高校曾花重金“挖”張明義到學(xué)校任教，可他仍選擇了留下。除了對(duì)家鄉(xiāng)的眷念，還有一個(gè)重要原因是張明義對(duì)科研的領(lǐng)悟——“只要開門做研究，在哪兒都能出成果”。

桃李天下的良師益友

張明義在貴陽(yáng)創(chuàng)立了一個(gè)非單調(diào)邏輯的科研團(tuán)隊(duì)，這是庫(kù)爾特·哥德爾學(xué)會(huì)授予他終身成就獎(jiǎng)的原因之一。

這支科研團(tuán)隊(duì)，是他以自己嚴(yán)謹(jǐn)?shù)目蒲袘B(tài)度、豐碩的學(xué)術(shù)成就以及獨(dú)特的人格魅力打造出來(lái)的。團(tuán)隊(duì)的成員，都是張明義親自指導(dǎo)過(guò)的博士或者碩士研究生。

貴州大學(xué)計(jì)算機(jī)學(xué)院博導(dǎo)王以松教授說(shuō)，張明義老師是自己的領(lǐng)路人。“他要求我們，每一篇論文都要經(jīng)得起國(guó)際同行的評(píng)議，每一個(gè)證明和定義都必須準(zhǔn)確無(wú)誤。有時(shí)候他的批注比學(xué)生論文的字?jǐn)?shù)還多，從他手中拿到博士學(xué)位并非易事。”

不計(jì)較與學(xué)生合作論文的署名排名順序，不限制學(xué)生的學(xué)術(shù)成長(zhǎng)范圍，盡力開拓學(xué)生的國(guó)際視野，讓學(xué)生們?cè)谡嬲杂傻膶W(xué)術(shù)氛圍內(nèi)健康成長(zhǎng)——凡是張明義指導(dǎo)過(guò)的碩士和博士研究生，都非常慶幸自己遇到了這樣一位良師。

“張老師不僅因材施教指導(dǎo)碩士或者博士生，更鼓勵(lì)每個(gè)學(xué)生有自己的思想和研究方向，即使你從事的研究與他申報(bào)的課題項(xiàng)目無(wú)關(guān)。”貴州大學(xué)計(jì)算機(jī)學(xué)院博士楊靜教授說(shuō)，張明義教授不同凡響的學(xué)術(shù)精神和人格魅力，是他的科研團(tuán)隊(duì)能不斷出成果的重要原因。

張明義指導(dǎo)的博士生，從沒有因?yàn)樯硖庂F州而與國(guó)際“脫節(jié)”。事實(shí)上，他們經(jīng)常跟隨導(dǎo)師出國(guó)進(jìn)行學(xué)術(shù)訪問活動(dòng)，一開始就站在了學(xué)術(shù)研究前沿領(lǐng)域，因此視野開闊、成果顯著，常常被國(guó)內(nèi)其他著名高校同專業(yè)博士生所羨慕。張明義的學(xué)生，即使畢業(yè)甚至離開貴州，仍然與導(dǎo)師保持學(xué)術(shù)交流。

甘愿吃虧的知識(shí)分子

張明義先后主持了國(guó)家863計(jì)劃3個(gè)智能計(jì)算機(jī)主題項(xiàng)目，1個(gè)國(guó)家自然科學(xué)基金重大計(jì)劃《可信軟件基礎(chǔ)研究》培育項(xiàng)目、2項(xiàng)貴州省優(yōu)秀科技教育人才省長(zhǎng)專項(xiàng)基金。他先后被評(píng)為國(guó)家級(jí)及省級(jí)“有突出貢獻(xiàn)的中青年優(yōu)秀專家”、“省管專家”和省級(jí)勞模，并獲得貴州省科技進(jìn)步個(gè)人獎(jiǎng)、國(guó)家教委科技進(jìn)步獎(jiǎng)以及國(guó)務(wù)院和首批貴州省政府特殊津貼。

盡管頭頂諸多光環(huán)，張明義很早就意識(shí)到拿獎(jiǎng)、評(píng)職稱并非自己搞科研的出發(fā)點(diǎn)，他寧愿沉下心來(lái)從事自己真正有興趣的科研。

這一次，他贏回了一枚極具分量的獎(jiǎng)?wù)拢瑓s低調(diào)地保存起來(lái)，差點(diǎn)瞞過(guò)了新聞媒體。對(duì)于自己在國(guó)際學(xué)術(shù)界享有的聲譽(yù)，他不愿意大肆宣揚(yáng)，因?yàn)椤安幌胗脛e人的評(píng)價(jià)來(lái)炒作自己”。

然而，幾乎每個(gè)了解他的人都說(shuō)，一輩子“為學(xué)術(shù)而學(xué)術(shù)”的張明義，明顯“吃了虧”。例如，他成就斐然，得到國(guó)際學(xué)術(shù)界一致認(rèn)可，但因?yàn)椴粻?zhēng)名利，其職稱還停留國(guó)內(nèi)四級(jí)教授的檔次；身為博導(dǎo)多年，他每個(gè)學(xué)期只有幾百元的課時(shí)費(fèi)；囊中羞澀的他，前幾年還住在單位分配給他的老宿舍樓里……

唯一沒有吃虧的，是他的口碑。

不管是同事、學(xué)生還是親朋好友都發(fā)自內(nèi)心尊重他，他深愛的科學(xué)研究也給予他豐厚的精神回報(bào)，對(duì)于張明義來(lái)說(shuō)，這已經(jīng)足夠。（作者單位：貴陽(yáng)日?qǐng)?bào)社 責(zé)任編輯/姚 遠(yuǎn)）

對(duì)話張明義

筆 者：頒獎(jiǎng)辭中，有一個(gè)邏輯專業(yè)術(shù)語(yǔ)——“非單調(diào)推理”，能否簡(jiǎn)單地解釋它的含義？

張明義：人們制定規(guī)劃、安排日程、診斷疾病、預(yù)報(bào)天氣時(shí)，是在已有知識(shí)不完全或者不可能完全的情形下必須作出結(jié)論，一旦預(yù)設(shè)條件發(fā)生變化，如原定的足球比賽計(jì)劃突遇下雪天需要終止，則要廢除原來(lái)預(yù)測(cè)的安排或結(jié)論。這種關(guān)于推導(dǎo)出來(lái)的結(jié)論可能被廢除的推理，就是“非單調(diào)推理”。非單調(diào)邏輯研究的是“非單調(diào)推理”，以便計(jì)算機(jī)能夠模擬人的智能進(jìn)行相關(guān)處理。

筆 者：結(jié)合自己的經(jīng)歷，您有什么心得可以分享給年輕的科研人員？

張明義：我有兩句話與大家共勉：一是科學(xué)無(wú)國(guó)界，要開門做研究，敢于把自己置于國(guó)際研究大舞臺(tái)上；二是搞科研要勇于創(chuàng)新并付出百分之百的努力，但不要太看重結(jié)果。

筆 者：您研究數(shù)理邏輯，想必在生活中也是個(gè)有條理的人？

張明義：我的女兒和學(xué)生們都說(shuō)我“生活上邏輯混亂”。有時(shí)候，我一邊走路回家，一邊思考問題，結(jié)果就走進(jìn)別人家去了，女兒笑話我說(shuō)“爸爸的確是研究‘模糊’的”。