人物經(jīng)歷

陸汝鈐

陸汝鈐院士是中國人工智能領(lǐng)域研究的開拓者之一，在知識(shí)工程和基于知識(shí)的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作。

陸汝鈐接受復(fù)旦大學(xué)聘書

研究方向

陸汝鈐

陸汝鈐研究并主持實(shí)現(xiàn)了一套全過程計(jì)算機(jī)輔助動(dòng)畫生成技術(shù)，其特點(diǎn)是從受限自然語言理解開始，把中文童話故事自動(dòng)轉(zhuǎn)換成動(dòng)畫片，使計(jì)算機(jī)模擬腳本改編，電影導(dǎo)演和攝影師的功能，在藝術(shù)創(chuàng)造領(lǐng)域內(nèi)發(fā)展了人工智能技術(shù)。

獲得榮譽(yù)

主編人工智能

主持研制知識(shí)工程語言TUILI以及大型專家系統(tǒng)開發(fā)環(huán)境《天馬》，其中《天馬》已應(yīng)用于國防和經(jīng)濟(jì)的20多個(gè)領(lǐng)域，取得重要的經(jīng)濟(jì)和社會(huì)效益，獲1992年中科院科技進(jìn)步一等獎(jiǎng)，1993年國家科技進(jìn)步二等獎(jiǎng)。

人物評價(jià)

陸汝鈐為中國計(jì)算機(jī)事業(yè)的發(fā)展做出了卓越貢獻(xiàn)。（2014年中國計(jì)算機(jī)學(xué)會(huì)終身成就獎(jiǎng)評）^[1]

研究課題

陸汝鈐

在早期軟件工程方面，陸汝鈐倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃（XR計(jì)劃），有力地推動(dòng)了當(dāng)時(shí)國產(chǎn)機(jī)軟件缺乏問題的解決。該項(xiàng)目計(jì)劃為期七年，國內(nèi)共有三十多所科研院所和高等院校參加，之后獲全國科學(xué)大會(huì)先進(jìn)集體獎(jiǎng)和中科院1983年重大成果一等獎(jiǎng)。

陸汝鈐于20世紀(jì)80年代初進(jìn)入知識(shí)工程領(lǐng)域。知識(shí)工程強(qiáng)調(diào)以人類知識(shí)作為機(jī)器智能的基礎(chǔ)，研究知識(shí)的表示、獲取、轉(zhuǎn)換、推理和應(yīng)用，它曾幫助人工智能研究走出了上世紀(jì)七十年代的低谷，又被上世紀(jì)八十年代以來的各國高技術(shù)計(jì)劃采用，視作推動(dòng)技術(shù)進(jìn)步的關(guān)鍵手段。

陸汝鈐

陸汝鈐把類自然語言理解和軟件工程中的領(lǐng)域分析和領(lǐng)域建模結(jié)合起來，提出了“前需求分析”概念及其實(shí)現(xiàn)技術(shù)。企業(yè)管理人員只需用本行業(yè)的語言把企業(yè)情況表述清楚，計(jì)算機(jī)即可在領(lǐng)域知識(shí)庫的支持下自動(dòng)做需求分析，提出設(shè)計(jì)方案并編程實(shí)現(xiàn)管理信息系統(tǒng)（MIS），從而為軟件工程中的老大難問題：需求分析，找到了一種新的解決辦法。

在計(jì)算機(jī)科學(xué)理論方面，陸汝鈐從事了多方面的研究并取得了很好的科研成果，包括編譯理論、定理證明、形式語言理論、形式語義學(xué)、量子自動(dòng)機(jī)等等。

主編知識(shí)科學(xué)書籍

建立知識(shí)產(chǎn)業(yè)還應(yīng)建立知識(shí)服務(wù)行業(yè)，一是要建立網(wǎng)上軟件服務(wù)行業(yè)，這是今后知識(shí)服務(wù)的主要形式之一；二是要建立網(wǎng)上知識(shí)服務(wù)代理行業(yè)。如今瀏覽器功能較弱，一是召回率和準(zhǔn)確率低，而且是只收集，不加工。要研制比瀏覽器高一個(gè)層次的通用網(wǎng)上知識(shí)搜索和編輯器，既要有高度的召回率和準(zhǔn)確率，又要有加工、提煉網(wǎng)上知識(shí)的能力，這里主要是處理和集成各種非規(guī)范知識(shí)的能力，還能組織和編輯經(jīng)過提煉的知識(shí)，其中包括信息的濃縮和信息向知識(shí)的過渡。

發(fā)展知識(shí)產(chǎn)業(yè)，還要發(fā)展網(wǎng)上知識(shí)教育行業(yè)，或現(xiàn)代遠(yuǎn)程網(wǎng)絡(luò)教育，使任何人在任何時(shí)候、任何地點(diǎn)都能從網(wǎng)上學(xué)到任何他關(guān)心的課程，并且內(nèi)容是專門為他設(shè)計(jì)、剪裁和編排過的。這種設(shè)計(jì)、剪裁和編排都應(yīng)根據(jù)該學(xué)科國內(nèi)外當(dāng)前最新發(fā)展，以及個(gè)人的最新學(xué)習(xí)進(jìn)度和知識(shí)掌握情況，每次開機(jī)即求即得。

20多年來，知識(shí)工程主要是一門實(shí)驗(yàn)性科學(xué)，知識(shí)處理的大量理論性問題尚待解決。對知識(shí)的研究應(yīng)該是一門具有堅(jiān)實(shí)理論基礎(chǔ)的科學(xué)，應(yīng)該把知識(shí)工程的概念上升為知識(shí)科學(xué)。知識(shí)產(chǎn)業(yè)和知識(shí)科學(xué)、知識(shí)工程共同構(gòu)成一條鏈上三個(gè)不可分割的環(huán)節(jié)，但知識(shí)科學(xué)本身是一個(gè)大問題，還需進(jìn)行深入探討。

主要成就

陸汝鈐

華羅庚數(shù)學(xué)獎(jiǎng)設(shè)立于一九九二年，中國數(shù)學(xué)界的終身成就獎(jiǎng)，每兩年評選一次。是為了紀(jì)念世界著名數(shù)學(xué)家華羅庚先生，用以獎(jiǎng)勵(lì)為發(fā)展中國數(shù)學(xué)作出突出貢獻(xiàn)的數(shù)學(xué)家而設(shè)立的。

陸汝鈐院士長期從事數(shù)學(xué)與計(jì)算機(jī)科學(xué)領(lǐng)域的研究，特別是在知識(shí)工程和基于知識(shí)的軟件工程方面作了系統(tǒng)的、創(chuàng)造性的工作，是中國知識(shí)工程研究的主要開拓者之一。他把數(shù)學(xué)中黎曼曲面的思想引進(jìn)PETRI網(wǎng)論，建立了多層PETRI網(wǎng)模型，為發(fā)展中國的數(shù)學(xué)與理論計(jì)算機(jī)科學(xué)事業(yè)作出了突出貢獻(xiàn)而享譽(yù)國內(nèi)外數(shù)學(xué)界。

視力問題

院士陸汝鈐先生，數(shù)學(xué)所人稱“小陸”（因?yàn)樗镞€有一位老陸–老一輩數(shù)學(xué)家陸啟鏗，）是薩爹通家之好，稱為大師兄，此人才華過人，但眼神一向不太好。

一九六零年薩爹入科學(xué)院，華羅庚親自出題面試，結(jié)果薩爹考得滿目紅叉，慘不忍睹，只得了二十多分。他這人好面子，寒磣的受不了，既然沒有及格，也不想讓人家來趕，自己收拾行李就要走。

自行車上放了被窩卷，也免不了掛些漱口缸子毛巾之類的零碎，薩爹凄凄涼涼推到所門口，就碰上小陸師兄，師兄非常親熱，說來啦？華老給你面試了嗎？薩爹說，唉，試了，才二十多分。。。陸師兄大喜，道：好啊好啊，華老的規(guī)矩，得分就是及格，你能得二十多，不簡單啊。

唔。。。薩爹琢磨過味來，感覺頓時(shí)逆轉(zhuǎn)，，看來我沒有不及格??！那也就是說我能留下了？想到這里不禁一點(diǎn)激動(dòng)。就在這時(shí)候，薩爹看見師兄定睛瞧他車上的行李，不禁又有些心虛，如果師兄問起來，如何回復(fù)呢？

卻見陸大師兄扶扶眼鏡，道：賣破爛阿？噢，你來沒幾天么，怎么這么多破爛？