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

中文名

陸汝鈐

性別

男

出生日期

1935-02-15

籍貫

中國江蘇

國籍

中國

出生地

上海

畢業(yè)院校

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

職業(yè)

計算機科學(xué)家

職位

博士生導師

任職機構

復旦大學(xué)

代表作品

人工智能

主要成就

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

職稱(chēng)

研究員、教授

人物經(jīng)歷

陸汝鈐

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

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

陸汝鈐接受復旦大學(xué)聘書(shū)

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

研究方向

陸汝鈐

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

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

獲得榮譽(yù)

主編人工智能

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

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

人物評價(jià)

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

研究課題

人工智能

陸汝鈐

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

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

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

形式語(yǔ)義學(xué)

陸汝鈐

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

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

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

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

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

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

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

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

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

主要成就

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

陸汝鈐

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

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

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

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

視力問(wèn)題

院士陸汝鈐先生，數學(xué)所人稱(chēng)“小陸”（因為所里還有一位老陸–老一輩數學(xué)家陸啟鏗，）是薩爹通家之好，稱(chēng)為大師兄，此人才華過(guò)人，但眼神一向不太好。

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

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

唔。。。薩爹琢磨過(guò)味來(lái)，感覺(jué)頓時(shí)逆轉，，看來(lái)我沒(méi)有不及格啊！那也就是說(shuō)我能留下了？想到這里不禁一點(diǎn)激動(dòng)。就在這時(shí)候，薩爹看見(jiàn)師兄定睛瞧他車(chē)上的行李，不禁又有些心虛，如果師兄問(wèn)起來(lái)，如何回復呢？

卻見(jiàn)陸大師兄扶扶眼鏡，道：賣(mài)破爛阿？噢，你來(lái)沒(méi)幾天么，怎么這么多破爛？