當前位置:股票大全官網 - 資訊咨詢 - 陸汝謙簡介及詳細信息

陸汝謙簡介及詳細信息

基本信息盧如謙盧如謙現為數學與系統科學研究所博士生導師。

研究方向:人工智能

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

在知識工程和基於知識的軟件工程方面做了系統的、創造性的工作,是國內該領域的開拓者之壹。倡導並主持完成了壹系列以軟件的機械化生成和移植為目標的軟件項目(XR項目),促進了當時國產軟件匱乏的解決。主持開發了知識工程語言TUILI和大型專家系統開發環境天馬,應用於國防、經濟等20多個領域,取得了重要的經濟效益和社會效益。基於自然語言理解的知識自動獲取和基於此的應用軟件自動生成技術,包括智能領域分析和領域建模技術,促進了管理軟件開發的自動化。英國《AIWATCH》雜誌評論說,這就是他們所看到的“用領域知識庫支持主流軟件”

盧汝謙《小品開發第壹案》。他主持開發了壹套計算機輔助動畫生成技術,從對自然語言的有限理解中自動將中國的童話轉換成動畫片,發展了藝術創作領域的人工智能技術。

發表中英文論文100余篇,專著6部。曾獲華獎、全國科學大會先進集體獎、中國科學院重大成果壹等獎、中國科學院科技進步壹等獎、國家科技進步二等獎。

簡歷陸如謙陸如謙,男,1935出生於上海。65438-0959畢業於耶拿大學數學系,獲學士學位。同年進入中國科學院數學研究所。副研究員自1978。1983以來壹直是研究員。1984至今,博士生導師。1987-1990任中國科學院數學研究所副所長。1991至1994任中國科學院數學研究所學術委員會主任。1999當選中國科學院院士。2000年,他加入復旦大學,擔任計算機科學教授。2002年至2003年擔任復旦大學智能信息處理開放實驗室主任。2004年起任上海市智能信息處理重點實驗室學術委員會主任。

盧如謙院士是我國人工智能研究領域的開拓者之壹,在知識工程和基於知識的軟件工程方面做了系統的、創造性的工作。盧汝謙設計並主持開發了知識工程語言TUILI和大型專家系統開發環境天馬。其中,天馬已應用於國防和經濟的20多個領域,取得了巨大的經濟效益和社會效益。獲中國科學院科技進步壹等獎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完整的真並發語義,徹底解決了其特有的語義等價問題(雙重模擬意義下)。

人工智能、知識工程和基於知識的軟件工程領域的開拓者和先行者盧如謙,做了深入系統的創造性工作。同時,他還積極參加社會學術活動,獲得以下職稱和職務:中國科學院計算技術研究所終身研究員;北京多媒體和

盧汝謙智能軟件重點實驗室學術委員會主任;中國科學院計算機科學重點實驗室學術委員會副主任;中國科學院管理、決策與信息系統重點實驗室學術委員會副主任;中國計算機聯合會模式識別與人工智能專業委員會副主任;軟件雜誌常務副主任;《數據庫技術》編輯委員會(英國);《計算機雜誌》(英國)編輯委員會;人工智能和認知科學顧問委員會成員(德國斯普林格出版社叢書);等壹下。

在早期的軟件工程中,盧汝謙發起並主持完成了壹系列以軟件的機械化生成和移植為目標的軟件項目(XR項目),有力地促進了當時國產軟件匱乏問題的解決。該項目計劃持續7年,將有中國30多個研究所和高等院校參與。後來獲得全國科學大會先進集體獎,中國科學院1983重大成果壹等獎。

盧如謙於20世紀80年代初進入知識工程領域。知識工程強調人類知識是機器智能的基礎,研究知識的表示、獲取、轉換、推理和應用。它幫助人工智能研究在70年代走出低谷,80年代以來被各國高技術計劃采用,被視為推動技術進步的關鍵手段。

語義研究在形式語義的研究中,陸汝謙將只能描述靜態控制結構的代數語義擴展到描述動態控制結構,使之成為代數語言

盧如謙的意思是有能力描述壹個完整的程序控制結構,從而真正體現了“對於代數語義來說,壹個程序是壹個抽象的數據類型”這個話題。盧汝謙還將數學中的黎曼曲面思想引入PETRI網理論,建立了多層PETRI網模型——P/R網,並應用P/R網給出了CCS完整的真並發語義,徹底解決了其特有的語義等價問題(雙重模擬意義下)。

盧如謙將自然語言理解與軟件工程中的領域分析和領域建模相結合,提出了“需求前分析”的概念及其實現技術。企業管理者只需要用自己行業的語言把企業情況表達清楚,計算機就可以在領域知識庫的支持下自動分析需求,提出設計方案,並對管理信息系統(MIS)進行編程,從而為軟件工程中長期存在的問題找到了新的解決方案:需求分析。1994年,英國雜誌《AIWATCH》發表了壹個整版的評論,指出這是他們看到的第壹個“用領域知識庫支持主流軟件開發”、“很可能發展成實用的工業工具”的例子,並提出“看來是時候讓歐洲的人工智能/軟件行業與中國的人工智能行業建立聯系了”。

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

知識產業研究要建立知識產業,首先要建立知識生產產業,而最重要的知識生產產業是在軟件工程領域。軟件工程實踐表

盧如謙知道,軟件開發的失敗往往在於需求分析的失敗,更進壹步的原因是用戶和軟件工程師之間缺乏共同的知識。為了把用戶吸引到軟件開發的過程中來,甚至把軟件開發的鑰匙交給用戶,讓用戶自己定義、設計、開發、維護、修改自己的軟件,就要避免學習和掌握軟件開發知識的負擔。而要做到這壹點,必須有強大的知識支撐作為後盾。

建立知識產業,也要建立知識服務業。首先,我們應該建立在線軟件服務業,這將是未來知識服務的主要形式之壹。二是建立在線知識服務代理行業。如今,瀏覽器的功能很弱。第壹,召回率和準確率低,它只收集不處理。開發壹個高於瀏覽器的通用在線知識搜索和編輯器,既要有較高的召回率和準確率,又要有對在線知識的處理和提煉能力。這裏主要是對各種非標準知識的加工和整合能力,也包括對精細化知識的組織和編輯,包括信息濃縮和信息向知識的過渡。

發展知識產業,還應該發展在線知識教育產業或者現代遠程在線教育,讓任何人在任何時間、任何地點都能從網上學習到他所關心的任何課程,內容都是專門為他設計、量身定制、編排的。這種設計、剪裁、整理,要根據國內外學科的最新發展,以及個人的最新學習進度和知識掌握情況,每次開機都要獲取。

20多年來,知識工程主要是壹門實驗科學,知識處理中的大量理論問題還有待解決。知識的研究應該是壹門有堅實理論基礎的科學,知識工程的概念應該提升到知識科學。知識產業、知識科學和知識工程是壹個鏈條上不可分割的三個環節,但知識科學本身是壹個大問題,需要進壹步探討。

獲獎成果獎項名稱獲獎時間獲獎人華數學獎2003年盧汝謙全國科學大會獎盧汝謙中國科學院重大成果壹等獎盧汝謙中科院科技進步壹等獎盧汝謙國家科技進步二等獎盧汝謙華數學獎盧汝謙中國數學學會第九次全國代表大會暨學術年會昨日在武漢大學開幕,並為第六屆華數學獎獲獎者頒獎——數學與系統科學研究院石忠慈、盧汝勇院士。華數學獎設立於1992年。它是中國數學領域的終身成就獎,每兩年評選壹次。它是為了紀念世界著名數學家華先生,獎勵為我國數學發展做出突出貢獻的數學家而設立的。

盧汝謙院士長期從事數學和計算機科學的研究,特別是在知識工程和基於知識的軟件工程方面。他是中國知識工程研究的主要開拓者之壹。他將數學中的黎曼曲面思想引入PETRI網理論,建立了多層PETRI網模型,為我國數學和理論計算機科學的發展做出了突出貢獻,在國內外數學界享有盛譽。

著作及研究成果著名作者出版單位時間專著《人工智能》(二)盧如謙科學出版社1996《計算機語言的形式語義學》;盧如謙科學出版社1992人工智能(壹)盧如謙科學出版社1988時間常識知識的實用研究項目名稱負責人(69733020)盧如謙國家自然科學基金重點項目1998-2001軟件新工具與技術研究(96-729-01-06)盧如謙國家重點項目65438他是賽迪的大家閨秀,人稱大哥。這個人才是有才華的,但是他的眼光壹直不太好。1960年,賽迪進入科學院,華親自接受采訪。結果賽迪考了個慘不忍睹的紅叉,只考了20多分。他好面子,他受不了。由於他沒有通過考試,他不想讓別人抓住他,所以他收拾行李離開了。

當床卷被放在自行車上時,不可避免地會掛壹些零碎的東西,如漱口水,罐子和毛巾。當賽迪把他們推到辦公室門口時,他遇到了呂霄修士,他非常親熱。我們可以說嗎?華老給妳面試了嗎?爸爸說,唉,我努力了,也才二十多分。。。魯哥喜出望外,說,對,對,按華老的規矩,分數及格。能考20多分,不簡單。

嗯。。。爸爸琢磨著味道,感覺突然反轉了。看來我沒有失敗!這是不是意味著我可以留下來?想到這個,我不禁有些激動。就在這時候,撒爸看到師兄盯著自己車裏的行李看,心裏很愧疚。如果師兄問,怎麽回復?

卻見魯大師扶著眼鏡說,賣破爛?哦,妳才來幾天。為什麽有這麽多垃圾?