陸汝鈐,男,1935年2月15日出生于上海,計(jì)算機(jī)科學(xué)家。1959年畢業(yè)于德國耶拿大學(xué)數(shù)學(xué)系,獲學(xué)士學(xué)位。中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)研究所研究員、復(fù)旦大學(xué)教授。

中文名

陸汝鈐

性別

出生日期

1935-02-15

籍貫

中國江蘇

國籍

中國

出生地

上海

畢業(yè)院校

德國耶拿大學(xué)數(shù)學(xué)系

職業(yè)

計(jì)算機(jī)科學(xué)家

職位

博士生導(dǎo)師

任職機(jī)構(gòu)

復(fù)旦大學(xué)

代表作品

人工智能

主要成就

1999年當(dāng)選為中國科學(xué)院院士

職稱

研究員、教授

人物經(jīng)歷

陸汝鈐

陸汝鈐,男,1935年生于上海。1959年畢業(yè)于德國耶拿大學(xué)數(shù)學(xué)系,獲學(xué)士學(xué)位,同年起進(jìn)入中國科學(xué)院數(shù)學(xué)研究所工作。1978年起任副研究員。1983年起任研究員。1984年起任博士生導(dǎo)師。1987年至1990年任中科院數(shù)學(xué)研究所副所長。1991年至1994年任中科院數(shù)學(xué)研究所學(xué)術(shù)委員會主任。1999年當(dāng)選為中科院院士。2000年加盟復(fù)旦大學(xué),任復(fù)旦大學(xué)計(jì)算機(jī)學(xué)院教授。2002年至2003年任復(fù)旦大學(xué)智能信息處理開放實(shí)驗(yàn)室主任。2004年起任復(fù)旦大學(xué)上海市智能信息處理重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會主任。

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

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

陸汝鈐在知識工程和基于知識的軟件工程方面作了系統(tǒng)和創(chuàng)造性的工作,是中國該領(lǐng)域的開拓者之一。倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃(XR計(jì)劃),推動了當(dāng)時國產(chǎn)機(jī)軟件缺乏問題的解決。主持研制了知識工程語言TUILI和大型專家系統(tǒng)開發(fā)環(huán)境《天馬》,應(yīng)用于國防和經(jīng)濟(jì)等20多個領(lǐng)域,取得了重要的經(jīng)濟(jì)和社會效益。研究出基于人類自然語言理解的知識自動獲取及以此為基礎(chǔ)的應(yīng)用軟件自動生成技術(shù),包括智能化的領(lǐng)域分析和領(lǐng)域建模技術(shù),促進(jìn)了管理軟件開發(fā)的自動化。英國AIWATCH雜志發(fā)表評論指出這是他們所見到的“以領(lǐng)域知識庫支持主流軟件開發(fā)的第一例”。主持研制了一套全過程計(jì)算機(jī)輔助動畫生成技術(shù),從受限自然語言理解開始,把中文童話故事自動轉(zhuǎn)換成動畫片,在藝術(shù)創(chuàng)造領(lǐng)域發(fā)展了人工智能技術(shù)。陸汝鈐發(fā)表論文一百余篇,出版中英文共專著6部,曾獲華羅庚獎,全國科學(xué)大會先進(jìn)集體獎,中科院重大成果一等獎,中科院科技進(jìn)步一等獎,和國家科技進(jìn)步二等獎。

研究方向

陸汝鈐

為了解決知識工程中的瓶頸問題,陸汝鈐研究出基于類自然語言理解的一套知識自動獲取技術(shù),可應(yīng)用于基于知識的應(yīng)用軟件自動生成,特別是專家系統(tǒng)、ICAI系統(tǒng)和MIS系統(tǒng)的自動生成。該方法有利于把ICAI生成技術(shù)從手工編制(第一代),用寫作軟件編制(第二代)向基于知識自動獲取的自動生成(第三代)推進(jìn)。陸汝鈐進(jìn)一步把類自然語言理解和軟件工程中的領(lǐng)域分析和領(lǐng)域建模結(jié)合起來,促進(jìn)了管理軟件開發(fā)的自動化,并使企業(yè)管理人員能夠直接介入軟件的開發(fā)和維護(hù)。1994年英國AIWATCH雜志用整整一頁篇幅發(fā)表評論指出這是他們所見到的“以領(lǐng)域知識庫支持主流軟件開發(fā)的第一例”,“很有可能發(fā)展為可實(shí)用的工業(yè)工具”,并就此提出:“看來是歐洲的人工智能/軟件工業(yè)界與中國的人工智能界建立聯(lián)系的時候了”。

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

獲得榮譽(yù)

主編人工智能

陸汝鈐在知識工程和基于知識的軟件工程方面,作了系統(tǒng)的、創(chuàng)造性的工作,是中國該領(lǐng)域研究的開拓者之一。倡導(dǎo)、主持并完成以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃(XR計(jì)劃),推動早期國產(chǎn)機(jī)缺乏軟件問題的解決,獲全國科學(xué)大會先進(jìn)集體獎和中科院1983年重大成果一等獎。

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

人物評價

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

研究課題

人工智能

陸汝鈐

陸汝鈐在人工智能、知識工程和基于知識的軟件工程方面進(jìn)行了深入系統(tǒng)的創(chuàng)造性工作,是中國該研究領(lǐng)域的開拓者和先驅(qū)者。同時他還積極參加社會學(xué)術(shù)活動,獲得以下職稱和職務(wù):中科院計(jì)算所終身研究員;北京市多媒體和智能軟件重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會主任;中科院計(jì)算機(jī)科學(xué)重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會副主任;中科院管理、決策和信息系統(tǒng)重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會副主任;中國計(jì)算機(jī)學(xué)會模式識別與人工智能專業(yè)委員會副主任;軟件學(xué)報(bào)常務(wù)副主任;DatabaseTechnology(英國)編委;ComputerJournal(英國)編委;ArtificialIntelligenceandCognitiveScience(德國,Springer出版社叢書)顧問委員會委員;等等。

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

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

形式語義學(xué)

陸汝鈐

在形式語義學(xué)研究方面,陸汝鈐把原來只能描述靜態(tài)控制結(jié)構(gòu)的代數(shù)語義,推廣到能描述動態(tài)控制結(jié)構(gòu),使代數(shù)語義具備描述完整程序控制結(jié)構(gòu)的能力,從而真正體現(xiàn)“對代數(shù)語義來說,程序即抽象數(shù)據(jù)類型”這一論題。陸汝鈐還把數(shù)學(xué)中黎曼曲面的思想引進(jìn)PETRI網(wǎng)論,建立了多層PETRI網(wǎng)模型——P/R網(wǎng),并應(yīng)用P/R網(wǎng)給出了CCS的完全真并發(fā)語義,徹底解決了其特有的(在雙模擬意義下的)語義等價問題。

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

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

知識產(chǎn)業(yè)

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

建立知識產(chǎn)業(yè)首先要建立知識生產(chǎn)行業(yè),最重要的知識生產(chǎn)行業(yè)是軟件工程領(lǐng)域的知識產(chǎn)業(yè)。軟件工程的實(shí)踐表明,軟件開發(fā)失敗的原因往往在于需求分析沒有做好,其進(jìn)一步原因是用戶和軟件工程師之間缺乏共同的知識。為把用戶吸引到軟件開發(fā)過程中來,甚至把開發(fā)軟件的鑰匙交到用戶手里,讓用戶自己來定義、設(shè)計(jì)、開發(fā)、維護(hù)和修改他的軟件,就必須免去用戶學(xué)習(xí)和掌握軟件開發(fā)知識的負(fù)擔(dān)。而做到這一點(diǎn)必須以強(qiáng)大的知識支持做后盾。

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

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

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

主要成就

獲獎成果
獎項(xiàng)名稱獲獎時間
華羅庚數(shù)學(xué)獎2003
全國科學(xué)大會獎
中國科學(xué)院重大成果一等獎
中科院科技進(jìn)步一等獎
國家科技進(jìn)步二等獎
展開表格數(shù)學(xué)獎

陸汝鈐

中國數(shù)學(xué)會第九次全國代表大會暨學(xué)術(shù)年會昨日在武漢大學(xué)開幕,并為第六屆華羅庚數(shù)學(xué)獎獲得者——中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院石鐘慈、陸汝鈐院士頒獎。

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

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

論著與研究
成果名作者出版單位時間
專著人工智能(下)陸汝鈐科學(xué)出版社1996
計(jì)算機(jī)語言的形式語義陸汝鈐科學(xué)出版社1992
人工智能(上)陸汝鈐科學(xué)出版社1988
項(xiàng)目名稱負(fù)責(zé)人類別時間
常識性知識的實(shí)用研究(69733020)陸汝鈐國家自然科學(xué)基金重點(diǎn)項(xiàng)目1998-2001
軟件新工具和新技術(shù)研究(96-729-01-06)陸汝鈐國家攻關(guān)項(xiàng)目1996-1997
智能軟件工具的概念模型研究(96-729-01-06-09)陸汝鈐國家攻關(guān)項(xiàng)目1996-1997

視力問題

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

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

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

唔。。。薩爹琢磨過味來,感覺頓時逆轉(zhuǎn),,看來我沒有不及格?。∧且簿褪钦f我能留下了?想到這里不禁一點(diǎn)激動。就在這時候,薩爹看見師兄定睛瞧他車上的行李,不禁又有些心虛,如果師兄問起來,如何回復(fù)呢?

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