亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

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

        2015-02-27 10:00:26文丨肖
        當(dāng)代貴州 2015年8期
        關(guān)鍵詞:人工智能研究學(xué)生

        文丨肖 燕 劉 輝

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

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

        這是庫爾特·哥德爾學(xué)會(huì)首次頒發(fā)終身成就獎(jiǎng),張明義也成為獲該領(lǐng)域重要國際大獎(jiǎng)的首位中國科學(xué)家。這枚具有雙重意義的獎(jiǎng)?wù)?,充分肯定了張明義的重大貢獻(xiàn),正如頒獎(jiǎng)詞所說——

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

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

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

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

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

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

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

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

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

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

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

        桃李天下的良師益友

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

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

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

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

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

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

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

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

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

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

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

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

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

        對話張明義

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

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

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

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

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

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

        猜你喜歡
        人工智能研究學(xué)生
        FMS與YBT相關(guān)性的實(shí)證研究
        遼代千人邑研究述論
        視錯(cuò)覺在平面設(shè)計(jì)中的應(yīng)用與研究
        科技傳播(2019年22期)2020-01-14 03:06:54
        EMA伺服控制系統(tǒng)研究
        2019:人工智能
        商界(2019年12期)2019-01-03 06:59:05
        人工智能與就業(yè)
        趕不走的學(xué)生
        數(shù)讀人工智能
        小康(2017年16期)2017-06-07 09:00:59
        學(xué)生寫話
        下一幕,人工智能!
        岛国视频在线无码| 久久久精品人妻久久影视| 亚洲av无码资源在线观看| 2021亚洲色中文字幕| 日产一区二区三区的精品| 亚洲成在人线视av| 亚洲精品字幕| 亚洲丁香五月激情综合| 日本熟妇裸体视频在线| 99精品久久99久久久久| 美女又色又爽视频免费| 中文字幕一区二区三区四区在线| 亚洲一区二区三区视频免费| 成人影院在线视频免费观看| 亚洲av综合日韩| 国产在线一区二区三区av| 亚洲av中文字字幕乱码软件| 精品亚洲成a人在线观看| 好吊色欧美一区二区三区四区 | 亚洲日本中文字幕乱码在线| 波多野结衣爽到高潮大喷| 亚洲精品久久久久高潮| 国产大陆av一区二区三区| 看女人毛茸茸下面视频 | 97人人超碰国产精品最新o| 中文字幕无码免费久久| 国产激情自拍在线视频| 我把护士日出水了视频90分钟| 国产日韩亚洲欧洲一区二区三区| 国产啪啪视频在线观看| 激情综合五月| 韩国精品一区二区三区无码视频| 无码熟妇人妻AV不卡| 日韩精品一区二区免费| 亚洲av午夜国产精品无码中文字| 成人欧美在线视频| 国产成人一区二区三区| 亚洲日韩在线中文字幕综合| 97超级碰碰人妻中文字幕| 初尝人妻少妇中文字幕在线| 一二三四区中文字幕在线|