陸汝鈐

陸汝鈐

電腦科學家。原籍蘇州,生于上海。1959年畢業于德國耶拿大學數學系,獲學士學位。中國科學院數學與系統科學研究院數學研究所研究員、復旦大學教授。在知識工程和基于知識的軟體工程方面作了系統的、創造性的工作,是中國該領域研究的開拓者之一。設計並主持研製了知識工程語言TUILI和大型專家系統開發環境《天馬》。首次把異構型DAI和機器辯論引進人工智慧領域。研究出基于類自然語言理解的知識自動獲取方法,並開發出基于知識的套用軟體自動生成技術。在藝術創造領域內推進了人工智慧。1999年當選為中國科學院院士。

  • 中文名稱
    陸汝鈐
  • 國籍
    中國
  • 出生地
    上海
  • 出生日期
    1935年
  • 職業
    數學家
  • 畢業院校
    德國耶拿大學數學系
  • 主要成就
    華羅庚數學獎
  • 祖籍
    中國江蘇

基本資料

陸汝鈐陸汝鈐

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

研究方向:人工智慧

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

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

陸汝鈐陸汝鈐

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

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

簡歷

陸汝鈐陸汝鈐

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

陸汝鈐院士是中國人工智慧領域研究的開拓者之一,在知識工程和基于知識的軟體工程方面作了系統的、創造性的工作。陸汝鈐設計並主持研製了知識工程語言TUILI和大型專家系統開發環境《天馬》。其中《天馬》已套用于國防和經濟的二十多個領域,取得了重大的經濟和社會效益。獲1992年中科院科技進步一等獎,1993年國家科技進步二等獎。

研究方向

為了解決知識工程中的瓶頸問題,陸汝鈐研究出基于類自然語言理解的一套知識自動獲取技術,可套用于基于知識的套用軟體自動生成,特別是專家系統、ICAI系統和MIS系統的自動生成。該方法有利于把ICAI生成技術從手工編製(第一代),用寫作軟體編製(第二代)向基于知識自動獲取的自動生成(第三代)推進。

陸汝鈐進一步把類自然語言理解和軟體工程中的領域分析和領域建模結合起來,促進了管理軟體開發的自動化,並使企業管理人員能夠直接介入軟體的開發和維護。1994年英國AIWATCH雜志用整整一頁篇幅發表評論指出這是他們所見到的“以領域知識庫支持主流軟體開發的第一例”,“很有可能發展為可實用的工業工具”,並就此提出:“看來是歐洲的人工智慧/軟體工業界與中國的人工智慧界建立聯系的時候了”。 陸汝鈐研究並主持實現了一套全過程電腦輔助動畫生成技術,其特點是從受限自然語言理解開始,把中文話故事自動轉換成卡通片,使電腦模擬腳本改編,電影導演和攝影師的功能,在藝術創造領域內發展了人工智慧技術。

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

軟體研究

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

陸汝鈐陸汝鈐

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

為了解決知識工程中的瓶頸問題,他研究出基于類自然語言理解的一套知識自動獲取技術,可套用于基于知識的套用軟體自動生成,特別是專家系統、ICAI系統和MIS系統的自動生成。該方法有利于把ICAI生成技術從手工編製(第一代),用寫作軟體編製(第二代),向基于知識自動獲取的自動生成(第三代)推進。

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

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

人工智慧研究

陸汝鈐在人工智慧、知識工程和基于知識的軟體工程方面進行了深入系統的創造性工作,是中國該研究領域的開拓者和先驅者。同時他還積極參加社會學術活動,獲得以下職稱和職務:中科院計算所終身研究員;北京市多媒體和

陸汝鈐陸汝鈐

智慧型軟體重點實驗室學術委員會主任;中科院電腦科學重點實驗室學術委員會副主任;中科院管理、決策和信息系統重點實驗室學術委員會副主任;中國電腦學會模式識別與人工智慧專業委員會副主任;軟體學報常務副主任;DatabaseTechnology(英國)編委;ComputerJournal(英國)編委;ArtificialIntelligenceandCognitiveScience(德國,Springer出版社叢書)顧問委員會委員;等等。

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

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

形式語義學研究

在形式語義學研究方面,陸汝鈐把原來隻能描述靜態控製結構的代數語義,推廣到能描述動態控製結構,使代數語

陸汝鈐陸汝鈐

義具備描述完整程式控製結構的能力,從而真正體現“對代數語義來說,程式即抽象資料類型”這一論題。陸汝鈐還把數學中黎曼曲面的思想引進PETRI網論,建立了多層PETRI網模型——P/R網,並套用P/R網給出了CCS的完全真並發語義,徹底解決了其特有的(在雙模擬意義下的)語義等價問題。

陸汝鈐把類自然語言理解和軟體工程中的領域分析和領域建模結合起來,提出了“前需求分析”概念及其實現技術。企業管理人員隻需用本行業的語言把企業情況表述清楚,電腦即可在領域知識庫的支持下自動做需求分析,提出設計方案並編程實現管理信息系統(MIS),從而為軟體工程中的老大難問題:需求分析,找到了一種新的解決辦法。1994年英國AIWATCH雜志用整整一頁篇幅發表評論指出這是他們所見到的“以領域知識庫支持主流軟體開發的第一例”,“很有可能發展為可實用的工業工具”,並就此提出:“看來是歐洲的人工智慧/軟體工業界與中國的人工智慧界建立聯系的時候了”。

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

知識產業研究

建立知識產業首先要建立知識生產行業,最重要的知識生產行業是軟體工程領域的知識產業。軟體工程的實踐表

陸汝鈐陸汝鈐

明,軟體開發失敗的原因往往在于需求分析沒有做好,其進一步原因是使用者和軟體工程師之間缺乏共同的知識。為把使用者吸引到軟體開發過程中來,甚至把開發軟體的鑰匙交到使用者手裏,讓使用者自己來定義、設計、開發、維護和修改他的軟體,就必須免去使用者學習和掌握軟體開發知識的負擔。而做到這一點必須以強大的知識支持做後盾。

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

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

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

獲獎成果

獲獎成果 獎項名稱 獲獎時間 獲獎人
華羅庚數學獎 2003 陸汝鈐
全國科學大會獎 陸汝鈐
中國科學院重大成果一等獎 陸汝鈐
中科院科技進步一等獎 陸汝鈐
國家科技進步二等獎 陸汝鈐

華羅庚數學獎

陸汝鈐陸汝鈐

中國數學會第九次全國代表大會暨學術年會昨日在武漢大學開幕,並為第六屆華羅庚數學獎得主——中國科學院數學與系統科學研究院石鍾慈、陸汝鈐院士頒獎。 華羅庚數學獎設立于一九九二年,中國數學界的終身成就獎,每兩年評選一次。是為了紀念世界著名數學家華羅庚先生,用以獎勵為發展中國數學作出突出貢獻的數學家而設立的。

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

論著與研究

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

視力問題

陸汝鈐陸汝鈐

院士陸汝鈐先生,數學所人稱“小陸”(因為所裏還有一位老陸–老一輩數學家陸啓鏗,)是薩爹通家之好,稱為大師兄,此人才華過人,但眼神一向不太好。 一九六零年薩爹入科學院,華羅庚親自出題面試,結果薩爹考得滿目紅叉,慘不忍睹,隻得了二十多分。他這人好面子,寒磣的受不了,既然沒有及格,也不想讓人家來趕,自己收拾行李就要走。

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

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

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

相關詞條