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

中文名

陸汝鈐

性別

男

出生日期

1935-02-15

籍貫

中國(guó)江蘇

國(guó)籍

中國(guó)

出生地

上海

畢業(yè)院校

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

職業(yè)

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

職位

博士生導(dǎo)師

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

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

代表作品

人工智能

主要成就

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

職稱

研究員、教授

人物經(jīng)歷

陸汝鈐

陸汝鈐，男，1935年生于上海。1959年畢業(yè)于德國(guó)耶拿大學(xué)數(shù)學(xué)系，獲學(xué)士學(xué)位，同年起進(jìn)入中國(guó)科學(xué)院數(shù)學(xué)研究所工作。1978年起任副研究員。1983年起任研究員。1984年起任博士生導(dǎo)師。1987年至1990年任中科院數(shù)學(xué)研究所副所長(zhǎng)。1991年至1994年任中科院數(shù)學(xué)研究所學(xué)術(shù)委員會(huì)主任。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ù)委員會(huì)主任。

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

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

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

研究方向

陸汝鈐

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

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

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

人物評(píng)價(jià)

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

研究課題

人工智能

陸汝鈐

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

在早期軟件工程方面，陸汝鈐倡導(dǎo)并主持完成了以軟件的機(jī)械化生成和移植為目標(biāo)的系列軟件計(jì)劃（XR計(jì)劃），有力地推動(dòng)了當(dāng)時(shí)國(guó)產(chǎn)機(jī)軟件缺乏問題的解決。該項(xiàng)目計(jì)劃為期七年，國(guó)內(nèi)共有三十多所科研院所和高等院校參加，之后獲全國(guó)科學(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ì)八十年代以來的各國(guó)高技術(shù)計(jì)劃采用，視作推動(dòng)技術(shù)進(jìn)步的關(guān)鍵手段。

形式語義學(xué)

陸汝鈐

在形式語義學(xué)研究方面，陸汝鈐把原來只能描述靜態(tài)控制結(jié)構(gòu)的代數(shù)語義，推廣到能描述動(dòng)態(tài)控制結(jié)構(gòu)，使代數(shù)語義具備描述完整程序控制結(jié)構(gòu)的能力，從而真正體現(xiàn)“對(duì)代數(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ā)語義，徹底解決了其特有的（在雙模擬意義下的）語義等價(jià)問題。

陸汝鈐把類自然語言理解和軟件工程中的領(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í)產(chǎn)業(yè)

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

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

建立知識(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é)科國(guó)內(nèi)外當(dāng)前最新發(fā)展，以及個(gè)人的最新學(xué)習(xí)進(jìn)度和知識(shí)掌握情況，每次開機(jī)即求即得。

20多年來，知識(shí)工程主要是一門實(shí)驗(yàn)性科學(xué)，知識(shí)處理的大量理論性問題尚待解決。對(duì)知識(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)行深入探討。

主要成就

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

陸汝鈐

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

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

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

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

視力問題

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

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

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

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

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