必威电竞|足球世界杯竞猜平台

陸汝鈐
來源:互聯(lián)網(wǎng)

陸汝(1935年2月15日-),男,出生于上海,祖籍蘇州市,計(jì)算機(jī)科學(xué)家,中國科學(xué)院院士 ,中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)研究所研究員,復(fù)旦大學(xué)教授,博士生導(dǎo)師,蘇州大學(xué)“圖靈班”咨詢委員會主任。

1959年,陸汝鈐畢業(yè)于德國耶拿大學(xué)數(shù)學(xué)系,獲學(xué)士,之后他進(jìn)入中國科學(xué)院數(shù)學(xué)研究所工作,先后擔(dān)任副研究員、研究員、博士生導(dǎo)師。1987年,陸汝鈐擔(dān)任中國科學(xué)院數(shù)學(xué)研究所副所長,1991年,他擔(dān)任中國科學(xué)院數(shù)學(xué)研究所學(xué)術(shù)委員會主任;1999年當(dāng)選中國科學(xué)院院士。?陸汝鈐于2000年受聘復(fù)旦大學(xué),任復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院教授。2002年至2003年,他任復(fù)旦大學(xué)智能信息處理開放實(shí)驗(yàn)室主任。2003年,他獲得華羅庚數(shù)學(xué)獎(jiǎng),2004年起,他任復(fù)旦大學(xué)上海市智能信息處理重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會主任。2018年獲得吳文俊人工智能最高成就獎(jiǎng)。

陸汝鈐主要從事人工智能、知識工程和基于知識的軟件工程領(lǐng)域研究,并在這些領(lǐng)域作了系統(tǒng)的、創(chuàng)造性的工作,是中國人工智能領(lǐng)域的開拓者和先驅(qū)之一。陸汝鈐在知識工程方面取得系統(tǒng)性創(chuàng)新成就,特別是在全過程動畫自動生成、軟件自動生成、少兒圖靈測試、知件、大知識特征刻畫等方面取得多項(xiàng)被國際公認(rèn)具有創(chuàng)新性的領(lǐng)先成果。他把數(shù)學(xué)中黎曼曲面的思想引進(jìn)petri網(wǎng)論,建立了多層PETRI網(wǎng)模型,他首次把異構(gòu)型DAI和機(jī)器辯論引進(jìn)人工智能領(lǐng)域,還研究出了能把中文童話故事自動轉(zhuǎn)換成動畫片的CG全過程自動生成技術(shù)。陸汝鈐發(fā)表論文兩百余篇,撰寫和主編出版著作十余部。除吳文俊人工智能最高成就獎(jiǎng)以外,陸汝鈐還曾獲得全國科學(xué)大會先進(jìn)集體獎(jiǎng)、中科院重大成果一等獎(jiǎng)中國科學(xué)院科技進(jìn)步一等獎(jiǎng)、國家科技進(jìn)步二等獎(jiǎng)華羅庚數(shù)學(xué)獎(jiǎng)中國計(jì)算機(jī)學(xué)會終身成就獎(jiǎng)等諸多獎(jiǎng)項(xiàng)。

人物經(jīng)歷

早年經(jīng)歷

陸汝鈐,1935年出生于上海市,祖籍蘇州市。他是家中長子、長孫。在他4歲時(shí),母親就開始教他認(rèn)字。后來為了給他湊學(xué)費(fèi),母親還變賣了自己的婚床。1942年,他7歲時(shí)隨祖父母回到蘇州鳳凰街陸家老宅。1952年,陸汝鈐高中畢業(yè)。1953年作為新中國第一批公派留德學(xué)生出國留學(xué),先在萊比錫大學(xué)學(xué)習(xí)德語,一年后的1954年進(jìn)入耶拿大學(xué)數(shù)學(xué)系。1959年,陸汝鈐畢業(yè)于德國耶拿大學(xué)數(shù)學(xué)系,獲學(xué)士

工作經(jīng)歷

1959年留學(xué)歸國后,陸汝鈐進(jìn)入中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院工作。1972年,中科院數(shù)學(xué)所成立計(jì)算站,迎來了第一臺電子計(jì)算機(jī)。陸汝鈐受命維護(hù)這臺機(jī)器的主要軟件ALGOL 60編譯程序,為用戶答題,查錯(cuò)釋義,不僅改正了原程序的一些bugs,還擴(kuò)充其功能,最后達(dá)到約16000條指令。1975年,他和兩名同事共同發(fā)起了一項(xiàng)“XR計(jì)劃”,聯(lián)絡(luò)業(yè)內(nèi)同行合作研究高級語言開發(fā)和移植軟件系統(tǒng)。他們約定可以免費(fèi)使用彼此單位的計(jì)算機(jī),使所開發(fā)的軟件實(shí)現(xiàn)“一機(jī)實(shí)現(xiàn),萬機(jī)共享”。這一計(jì)劃推動了當(dāng)時(shí)國產(chǎn)機(jī)軟件缺乏問題的解決。該成果獲中科院1983年重大成果一等獎(jiǎng)

1978年起,陸汝鈐任中科院數(shù)學(xué)研究所副研究員。同年,他獲得全國科學(xué)大會先進(jìn)集體獎(jiǎng)。1979年,他受邀參加在長春市舉辦的“計(jì)算機(jī)科學(xué)暑期討論會”,會上在王湘浩的發(fā)言中第一次了解到“人工智能”的概念,這成為推動陸汝鈐從事人工智能工作的轉(zhuǎn)折點(diǎn)。之后的1980年,陸汝鈐首次從國外學(xué)者的報(bào)告中了解到‘知識工程’這一研究方向。隨后,陸汝鈐于1981年發(fā)表了自己的首篇人工智能文章。1983年起,陸汝鈐開始擔(dān)任研究員。同年,他獲得中國科學(xué)院重大成果一等獎(jiǎng)。1984年起,陸汝鈐開始擔(dān)任博士生導(dǎo)師。同年,陸汝鈐主持研制了知識工程語言TUILI,該語言實(shí)現(xiàn)后應(yīng)用于氣象臺天氣預(yù)報(bào)等領(lǐng)域。1987年,陸汝鈐接受了一項(xiàng)國家“七五”攻關(guān)任務(wù)——設(shè)計(jì)和開發(fā)專家系統(tǒng)開發(fā)環(huán)境,研制出大型專家系統(tǒng)開發(fā)環(huán)境“天馬”,應(yīng)用于國防和經(jīng)濟(jì)等20多個(gè)領(lǐng)域,取得了重要的經(jīng)濟(jì)和社會效益。1988年,陸汝鈐被評為國家級有突出貢獻(xiàn)的中青年專家,1987年至1990年,他擔(dān)任中科院數(shù)學(xué)研究所副所長。

1991年,陸汝鈐被聘為國際人工智能聯(lián)合會議(IJCAI)顧問委員會委員,是最早得到國際AI社區(qū)認(rèn)可的中國學(xué)者之一。1991年至1994年任中科院數(shù)學(xué)研究所學(xué)術(shù)委員會主任。1992年,他獲得中科院科技進(jìn)步一等獎(jiǎng)。1993年,他又獲得了國家科技進(jìn)步二等獎(jiǎng)。1995年,陸汝鈐主持研究了一套全過程計(jì)算機(jī)輔助動畫生成技術(shù),這套系統(tǒng)被命名為“天鵝”,其特點(diǎn)是從受限自然語言理解開始,把中文童話故事自動轉(zhuǎn)換成動畫片,使計(jì)算機(jī)模擬腳本改編,電影導(dǎo)演和攝影師的功能,在藝術(shù)創(chuàng)造領(lǐng)域內(nèi)發(fā)展了人工智能技術(shù)。

他還在原有研究的基礎(chǔ)上進(jìn)一步把類自然語言理解與軟件工程中的領(lǐng)域分析、領(lǐng)域建模結(jié)合起來,促進(jìn)管理軟件開發(fā)的自動化,并使企業(yè)管理人員能夠直接介入軟件的開發(fā)和維護(hù)。在此基礎(chǔ)上,他主持開發(fā)了“天鷹”“天蜂”“天鳳”“天使”等多類系統(tǒng)的自動生成軟件,應(yīng)用于信息管理計(jì)算機(jī)輔助教學(xué)、口腔護(hù)理等多個(gè)領(lǐng)域。

英國《AI?WATCH》雜志曾用整整一頁篇幅發(fā)表評論說,陸汝鈐的研究成果是他們所見到的“以領(lǐng)域知識庫支持主流軟件開發(fā)的第一例”,“很有可能發(fā)展為可實(shí)用的工業(yè)工具”,并就此提出:“是歐洲人工智能軟件工業(yè)界與中國的人工智能界建立聯(lián)系的時(shí)候了”。

1999年陸汝鈐當(dāng)選為中科院院士。2000年他加盟復(fù)旦大學(xué),任復(fù)旦大學(xué)計(jì)算機(jī)科學(xué)技術(shù)學(xué)院教授。2002年至2003年任復(fù)旦大學(xué)智能信息處理開放實(shí)驗(yàn)室主任。2003年,陸汝鈐獲得中國數(shù)學(xué)界的最高榮譽(yù)獎(jiǎng)項(xiàng)“華羅庚數(shù)學(xué)獎(jiǎng)”,2004年起擔(dān)任復(fù)旦大學(xué)上海市智能信息處理重點(diǎn)實(shí)驗(yàn)室學(xué)術(shù)委員會主任。2008年3月起,他被聘為北京大學(xué)信息科學(xué)技術(shù)學(xué)院教授。2014年,他獲得中國計(jì)算機(jī)學(xué)會中國計(jì)算機(jī)學(xué)會夏培肅獎(jiǎng))頒發(fā)的“CCF特別貢獻(xiàn)獎(jiǎng)”。陸汝鈐從2016年開始研究“大知識”,并于2018年正式發(fā)文,通過分析一組從大數(shù)據(jù)獲取海量知識的實(shí)例首次給出了大知識、大知識系統(tǒng)和大知識工程及其生命周期的定義和判別準(zhǔn)則。接著又組織研發(fā)了大知識系統(tǒng)實(shí)例《天猿》大知識圖譜支撐平臺作為大知識系統(tǒng)的模型。2018年,他獲得首屆“吳文俊人工智能最高成就獎(jiǎng)”。

在2018年他被授予吳文俊人工智慧最高成就獎(jiǎng)后,談到他所取得的成就,他曾在采訪中說:“有種惶恐的感覺。最近收到很多朋友、學(xué)生的祝賀,但我也在反思。我自己確實(shí)有不足的地方,這不是客氣話。有不少研究工作沒有產(chǎn)生實(shí)際的經(jīng)濟(jì)或社會效益。”他表示自己有一些創(chuàng)新性的設(shè)想和思路沒有得到堅(jiān)持,并說:“這是我很大的一個(gè)問題。”在另一次采訪中,他對記者表示:“不瞞你說,我覺得自己有點(diǎn)落后了,必須趕上。如今,我和團(tuán)隊(duì)正積極探索將互聯(lián)網(wǎng)、大數(shù)據(jù)深度學(xué)習(xí)技術(shù)與知識工程相結(jié)合,這樣知識工程才能煥發(fā)新的活力。”在2023年,他又入選了2023“環(huán)球人物年度人物”。

科研成就

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

陸汝鈐把數(shù)學(xué)中黎曼曲面的思想引進(jìn)petri網(wǎng)論,建立了多層PETRI網(wǎng)模型,為發(fā)展中國的數(shù)學(xué)與理論計(jì)算機(jī)科學(xué)事業(yè)作出了突出貢獻(xiàn)而享譽(yù)國內(nèi)外數(shù)學(xué)界。他設(shè)計(jì)并主持研制知識工程語言TUILI系統(tǒng)和大型專家系統(tǒng)開發(fā)環(huán)境《天馬》。首次把異構(gòu)型DAI和機(jī)器辯論引進(jìn)人工智能領(lǐng)域。研制出基于類自然語言理解的知識自動獲取方法,把ICAI生成技術(shù)推進(jìn)到以自動知識獲取為特征的第三代,并開發(fā)出基于知識的應(yīng)用軟件自動生成技術(shù)。研究出能把中文童話故事自動轉(zhuǎn)換成動畫片的CG全過程自動生成技術(shù),在藝術(shù)創(chuàng)造領(lǐng)域內(nèi)推進(jìn)了人工智能。

陸汝鈐在知識工程方面取得系統(tǒng)性創(chuàng)新成就,特別是在全過程動畫自動生成、軟件自動生成、少兒圖靈測試、知件、大知識特征刻畫等方面取得多項(xiàng)被國際公認(rèn)具有創(chuàng)新性的領(lǐng)先成果。

主要項(xiàng)目

科研獎(jiǎng)項(xiàng)

學(xué)術(shù)活動

學(xué)術(shù)報(bào)告

學(xué)術(shù)交流

1985年,陸汝鈐作為中國科學(xué)院AI學(xué)科的高級訪問學(xué)者前往美國,在3個(gè)月的時(shí)間里先后走訪了10所高校和數(shù)家知名企業(yè),對他有很大收獲。自1989年至今,他多次應(yīng)邀赴美國、德國英國法國等多所大學(xué)研究院講學(xué)和交流。

主要論文與著作

學(xué)術(shù)論文

出版著作

陸汝鈐發(fā)表論文兩百余篇,撰寫和主編出版著作十余部。其中兩卷本《人工智能》在中國國內(nèi)有較大影響,被許多高校用為教材。

社會職務(wù)

人才培養(yǎng)

陸汝鈐曾用文字鼓勵(lì)年輕的科研工作者:“致投身科學(xué)的年輕勇士們:敢為人先,百折不回。探索未知,創(chuàng)造未來。樂以青春換明天,埋頭一生終不悔。科學(xué)雖無垠,瀟灑走一回”。

在一次采訪中,陸汝鈐說:“很多優(yōu)秀的科學(xué)人才正在涌現(xiàn)”。“但相當(dāng)一部分年輕人,還不太習(xí)慣獨(dú)立思考,不太習(xí)慣走自己的路,總是滿足于在別人的工作上做一點(diǎn)改進(jìn)”。“在人家的基礎(chǔ)上做改進(jìn)的人,已經(jīng)太多了。我前不久還跟我以前的學(xué)生聊天,談到我們應(yīng)該有學(xué)術(shù)自信,不要老跟在別人后面”。“但學(xué)術(shù)自信也不是盲目自信,它的前提是——你要有做出正確判斷的基本素養(yǎng)。具體到人工智能領(lǐng)域,那就是,你需要判斷出什么事情是計(jì)算機(jī)在原則上能做到的,而什么是在可見的將來做不到的。只要大的方向正確,就可以盡情放飛想象力”。對此,陸汝鈐還曾進(jìn)一步說:“我的建議是,要放開想象力,敢于去做別人沒有想到的事情,走別人沒有走過的路。就像我最贊同的,阿爾伯特·愛因斯坦說過的一句話——想象力比知識更重要。”

另一次采訪中,他談到:“在AI領(lǐng)域,就應(yīng)該做別人沒做甚至別人沒想到的東西。我對學(xué)生也這樣要求,有時(shí)候?qū)W生有畏難情緒,說這個(gè)東西沒人做過。我說如果人家都做了,還要你干嗎?就是要敢走別人沒走過的路,敢走自己的路”。在他帶出的人工智能方向的學(xué)生中,如曹存根張松懋等學(xué)者,今天已是中國AI領(lǐng)域的中流砥柱。

榮譽(yù)獎(jiǎng)項(xiàng)

人物評價(jià)

陸汝鈐為中國計(jì)算機(jī)事業(yè)的發(fā)展做出了卓越貢獻(xiàn)。(2014年中國計(jì)算機(jī)學(xué)會終身成就獎(jiǎng)評)

作為我國人工智能和知識工程領(lǐng)域的開拓者之一,陸汝鈐首次把異構(gòu)型DAI和機(jī)器辯論引進(jìn)人工智能領(lǐng)域。他還研究出能把中文童話故事自動轉(zhuǎn)換成動畫片的計(jì)算機(jī)動畫全過程自動生成技術(shù),寫下了“藝術(shù)和科學(xué)相遇”的美好篇章。(人民網(wǎng)股份有限公司評)

他們(指陸汝鈐與其學(xué)生張松懋)利用人工智能制作動畫的原創(chuàng)性和巧妙構(gòu)思令人感興趣。(德國《人工智能》雜志評)

我們能夠讓計(jì)算機(jī)不僅僅是作為實(shí)現(xiàn)動畫的工具,而且還能夠積極參與從自然語言文本開始直到最后動畫完成的整個(gè)過程,甚至充當(dāng)一個(gè)完全自動的導(dǎo)演嗎?兩個(gè)中國人,陸汝鈐和張松懋,成功地做到了這一點(diǎn)。(法國信息科學(xué)和技術(shù)學(xué)會評)

建國以來,特別是科普作協(xié)成立以來成績突出的科普作家。(第三和第四次中國科普作協(xié)代表大會評)

他為科學(xué)付出最大的熱情和好奇,在之年也能夠以飽滿的精力激勵(lì)著他去探索,在他的精神世界中暢游。(陸汝鈐女兒孔曉軍評)

參考資料 >

媒界 | 人工智能領(lǐng)域的開拓者陸汝鈐:想象力比知識更重要.復(fù)旦大學(xué).2024-04-19

信息技術(shù)科學(xué)部——中國科學(xué)院學(xué)部與院士.中國科學(xué)院學(xué)部.2024-04-19

陸汝鈐.北京大學(xué)校史館.2024-04-19

科研主頁.中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院.2024-04-19

計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院“圖靈班”導(dǎo)師介紹?.蘇州大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院軟件學(xué)院.2024-04-19

陸汝鈐 研究員(院士).中國科學(xué)院計(jì)算技術(shù)研究所.2024-04-22

陸汝鈐.北京工業(yè)大學(xué)研究生招生網(wǎng).2024-04-19

石鐘慈、陸汝鈐院士獲“華羅庚數(shù)學(xué)獎(jiǎng)”.中國科學(xué)院.2024-04-19

陸汝鈐獲首個(gè)吳文俊人工智能最高成就獎(jiǎng).中國新聞網(wǎng).2024-04-19

陸汝鈐院士榮獲首屆吳文俊人工智能最高成就獎(jiǎng).中國科學(xué)院管理、決策與信息系統(tǒng)重點(diǎn)實(shí)驗(yàn)室.2024-04-22

“AI老頑童”的44年——專訪中國人工智能開拓者之一陸汝鈐院士.人民網(wǎng).2024-04-19

人工智能領(lǐng)域的耕耘者.人與事?中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院科學(xué)家故事專欄.2024-04-22

想象力比知識更重要——專訪首屆吳文俊人工智能最高成就獎(jiǎng)得主陸汝鈐.光明網(wǎng).2024-04-22

中國科學(xué)院院士 陸汝鈐.高科技與產(chǎn)業(yè)化.2024-04-22

院士登臺,一個(gè)場景打動所有人.環(huán)球人物網(wǎng).2024-04-19

享受做科研的快樂——專訪中國科學(xué)院院士陸汝鈐.科學(xué)網(wǎng).2024-04-19

【科技日報(bào)】陸汝鈐:就算在荒野,也能踏出路來.中國科學(xué)院學(xué)部.2024-04-19

光明網(wǎng):“聚力·奮發(fā)2024”環(huán)球人物年度盛典舉辦 我院陸汝鈐院士入選2023“環(huán)球人物年度人物”.中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)院.2024-04-19

對話院士: 研究生院特邀中國科學(xué)院陸汝鈐院士開展研究生人工智能前沿講座.中國傳媒大學(xué)研究生院.2024-06-23

特邀報(bào)告.CCL 2023.2024-04-22

“信息技術(shù)發(fā)展處于最好的歷史機(jī)遇期”——聽院士講網(wǎng)絡(luò)強(qiáng)國、大知識、智能網(wǎng)聯(lián)、人工智能.華龍網(wǎng).2024-04-22

特邀報(bào)告.2020全國知識圖譜與語義計(jì)算大會.2024-04-22

陸汝鈐院士一行來我院指導(dǎo).蘇州大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院軟件學(xué)院.2024-04-19

陸汝鈐院士應(yīng)邀到中國科技信息研究所做報(bào)告.湖南省科學(xué)技術(shù)廳.2024-04-22

中科院院士陸汝鈐等專家來我校指導(dǎo)工作.南京財(cái)經(jīng)大學(xué)校報(bào).2024-04-19

陸汝鈐院士、陸維明教授蒞臨我院做學(xué)術(shù)報(bào)告.貴州省先進(jìn)計(jì)算與醫(yī)療信息服務(wù)工程實(shí)驗(yàn)室.2024-04-19

校慶院士論壇:中國科學(xué)院院士陸汝鈐蒞臨我校作學(xué)術(shù)報(bào)告.西華大學(xué).2024-04-22

走進(jìn)科學(xué)院,感受數(shù)學(xué)之美!.中國科普博覽.2024-04-22

中國的“達(dá)特茅斯會議”-36氪.36氪.2024-04-22

從大數(shù)據(jù)到大知識.CNKI中國知網(wǎng).2024-04-19

YABKO-Yet Another Big Knowledge Organization.IEEE Xplore.2024-06-23

PSpan:Mining Frequent Subnets of Petri Nets.Cornell University.2024-06-23

BigCarl: Mining frequent subnets from a single large Petri net.Cornell University.2024-06-23

HAPE: A programmable big knowledge graph platform.ScienceDirect.2024-06-23

On semi-supervised multiple representation behavior learning.ScienceDirect.2024-06-23

B-SPARQL: A typed language for Querying the Big Knowledge.IEEE Xplore.2024-06-23

A Study on Big Knowledge and Its Engineering Issues.IEEE Xplore.2024-06-23

Attributed Rhetorical Structure Grammar for Domain Text Summarization.Cornell University.2024-06-23

On Semi-Supervised Multiple Representation Behavior Learnin.Cornell University.2024-06-23

A peep at knowledge science in a categorical prospect.springerlink.2024-06-24

自然語言理解和機(jī)器智能.CNKI中國知網(wǎng).2024-04-19

關(guān)于cyber詞根的中譯名.萬方數(shù)據(jù).2024-04-19

Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Animated computing changes the way and style of computer application.IEEE Xplore.2024-06-23

KACTL: Knowware Based Automated Construction of a Treelike Library from Web Documents.springerlink.2024-06-23

計(jì)算機(jī)動畫自動生成--回顧和展望.萬方數(shù)據(jù).2024-04-19

Object-oriented knowware programming and its abstract inheritance semantics.IEEE Xplore.2024-06-23

Pseudo natural language vs. controlled natural language.IEEE Xplore.2024-06-23

Process Algebra as Abstract Data Types.Cornell University.2024-06-23

Text Mining by Pseudo-Natural Language Understanding.IGI Global.2024-06-23

Knowware: A Commodity Form of Knowledge.springerlink.2024-06-23

少兒圖靈測試和常識處理.萬方數(shù)據(jù).2024-04-19

圖靈測試——機(jī)器是否有智能.萬方數(shù)據(jù).2024-04-19

從基于知識的軟件工程到基于知件的軟件工程.萬方數(shù)據(jù).2024-04-19

Guest Editorial to the Special Issue on Advances of Artificial Intelligence and Knowledge Engineering in China.OXFORD ACADEMIC.2024-06-23

An Exact Data Mining Method for Finding Center Strings and All Their Instances.IEEE Xplore.2024-06-23

Knowware: the third star after Hardware and Software.Cornell University.2024-06-23

AI Research in China: 50 Years down the Road.IEEE Xplore.2024-06-23

Beyond Knowledge Engineering.springerlink.2024-06-23

Towards a Software/Knowware Co-engineering.springerlink.2024-06-23

From hardware to software to knowware: IT's third liberation?.IEEE Xplore.2024-06-23

Towards a Mathematical Theory of Knowledge.springerlink.2024-06-23

Some Cognitive Aspects of a Turing Test for Children.springerlink.2024-06-23

少兒圖靈測試回顧.萬方數(shù)據(jù).2024-04-19

Automating application software generation.WILEY Online Library.2024-06-23

從故事到動畫片——全過程計(jì)算機(jī)輔助動畫自動生成.萬方數(shù)據(jù).2024-04-19

廣義L系統(tǒng).萬方數(shù)據(jù).2024-04-19

面向Agent的常識知識庫.萬方數(shù)據(jù).2024-04-19

面向本體的需求分析.萬方數(shù)據(jù).2024-04-19

知識科學(xué)及其研究前沿.萬方數(shù)據(jù).2024-04-19

客戶/服務(wù)器風(fēng)格的體系結(jié)構(gòu)描述語言NEWCOM.萬方數(shù)據(jù).2024-04-19

知識推理的一個(gè)模型.萬方數(shù)據(jù).2024-04-19

Intelligent VR training.SPERINGER LINK.2024-06-23

Requirement specification in pseudo-natural language in PROMIS.IEEE Xplore.2024-06-23

A true concurrency model of CCS semantics.ScienceDirect.2024-06-23

P/R網(wǎng)和進(jìn)程(Ⅱ).萬方數(shù)據(jù).2024-04-19

關(guān)于專家系統(tǒng)開發(fā)工具的幾個(gè)問題.萬方數(shù)據(jù).2024-04-19

COMPUTER-AIDED GRAMMAR ACQUISITION IN TH E CHINESE UNDERSTANDING SYSYTEM CUSAGA.ijcai.2024-06-23

..2024-06-24

..2024-06-24

..2024-06-24

..2024-06-24

..2024-06-24

..2024-06-24

..2024-06-24

..2024-06-24

實(shí)驗(yàn)室簡介.復(fù)旦大學(xué)上海智能信息處理重點(diǎn)實(shí)驗(yàn)室.2024-04-22

學(xué)術(shù)委員會委員名單.中國科學(xué)院管理、決策與信息系統(tǒng)重點(diǎn)辦公室.2024-04-22

中國人工智能學(xué)會人工智能邏輯專委會(籌)2022年工作總結(jié)暨學(xué)術(shù)年會在我校召開.重郵新聞網(wǎng).2024-04-22

陸汝鈐-終身成就獎(jiǎng)-中國計(jì)算機(jī)學(xué)會.中國計(jì)算機(jī)學(xué)會.2022-01-17

編委會.軟件學(xué)報(bào).2024-04-22

計(jì)算機(jī)科學(xué)技術(shù)名詞審定委員會.全國科學(xué)技術(shù)名詞審定委員會.2024-04-22

研究小組及主要骨干人員.高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室.2024-04-22

“聚力·奮發(fā)2024”環(huán)球人物年度盛典成功舉辦.人民網(wǎng).2024-04-19

生活家百科家居網(wǎng)