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

中文名

陸汝鈐

性別

男

出生日期

1935-02-15

籍貫

中國江蘇

國籍

中國

出生地

上海

畢業(yè)院校

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

職業(yè)

計算機科學家

職位

博士生導師

任職機構

復旦大學

代表作品

人工智能

主要成就

1999年當選為中國科學院院士

職稱

研究員、教授

人物經(jīng)歷

陸汝鈐

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

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

陸汝鈐接受復旦大學聘書

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

研究方向

陸汝鈐

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

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

獲得榮譽

主編人工智能

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

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

人物評價

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

研究課題

人工智能

陸汝鈐

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

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

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

形式語義學

陸汝鈐

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

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

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

知識產業(yè)

主編知識科學書籍

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

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

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

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

主要成就

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

陸汝鈐

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

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

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

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

視力問題

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

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

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

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

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