陸汝鈐

陸汝鈐 現為數學與系統科學研究院博士生導師

研究方向：人工智慧

1959年畢業於德國耶拿大學數學系。1999年當選中科院院士。

在知識工程和基於知識的軟體工程方面作了系統和創造性的工作，是中國該領域的開拓者之一。倡導並主持完成了以軟體的機械化生成和移植為目標的系列軟體計劃（XR計劃），推動了當時國產機軟體缺乏問題的解決。主持研製了知識工程語言TUILI和大型專家系統開發環境《天馬》，應用於國防和經濟等20多個領域，取得了重要的經濟和社會效益。研究出基於人類自然語言理解的知識自動獲取及以此為基礎的應用軟體自動生成技術，包括智能化的領域分析和領域建模技術，促進了管理軟體開發的自動化。英國AIWATCH雜誌發表評論指出這是他們所見到的“以領域知識庫支持主流軟

件開發的第一例”。主持研製了一套全過程計算機輔助動畫生成技術，從受限自然語言理解開始，把中文童話故事自動轉換成動畫片，在藝術創造領域發展了人工智慧技術。

發表論文一百餘篇，出版中英文共專著6部，曾獲華羅庚獎，全國科學大會先進集體獎，中科院重大成果一等獎，中科院科技進步一等獎，和國家科技進步二等獎。

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

陸汝鈐院士是中國人工智慧領域研究的開拓者之一，在知識工程和基於知識的軟體工程方面作了系統的、創造性的工作。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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