3月6日，國家自然科學(xué)基金委員會信息科學(xué)部組織驗收專家組在京對國家自然科學(xué)基金重大項目“非規(guī)范知識處理的基本理論和核心技術(shù)（批準號：60496320）”進行了驗收。該項目由中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院、人民大學(xué)數(shù)據(jù)工程與知識工程教育部重點實驗室學(xué)術(shù)委員會主任陸汝鈐院士負責(zé)。驗收專家組由9位專家組成，組長由北京大學(xué)何新貴院士和中國科學(xué)院軟件研究所林惠民院士共同擔(dān)任。國家自然科學(xué)基金委員會相關(guān)工作人員也參加了驗收會議。來自全國各地、以及澳大利亞、香港等境外學(xué)者、特邀嘉賓共計70余人參加了會議。本次會議由中科院數(shù)學(xué)所和我校共同承辦。

陸汝鈐院士首先作了項目總結(jié)報告，隨后本項目下屬七個課題的負責(zé)人也分別匯報了研究成果。該項目自2004年正式批準，經(jīng)歷了4年多的認真研究探索，在進程代數(shù)及其互模擬等方面取得了一系列突出成果，發(fā)表國際期刊論文146篇，其中有近四分之一為 Theoretical Computer Science、Artificial Intelligence、IEEE Transactions、Journal of Symbolic Logic等高水平國際期刊論文；發(fā)表國際會議論文268篇，包括AAAI、IJCAI、VLDB、ICDE、ISAAC等高水平國際會議；獲批和申請專利22項。驗收專家組通過現(xiàn)場答辯的形式評估了項目計劃任務(wù)和預(yù)期目標的完成情況、研究水平和創(chuàng)新性、研究隊伍與人才培養(yǎng)、項目組織管理、國際合作與交流情況。驗收專家組認為項目組已按計劃圓滿完成了任務(wù)，一致同意通過驗收，評審結(jié)果為“特優(yōu)”。

人民大學(xué)王珊教授是第5課題“非規(guī)范知識處理的實驗平臺”的負責(zé)人，人民大學(xué)杜小勇教授和復(fù)旦大學(xué)周傲英教授分別是人民大學(xué)和復(fù)旦大學(xué)兩個子課題的負責(zé)人。杜小勇教授及其團隊負責(zé)“示范語義網(wǎng)及其知識服務(wù)平臺研究”，周傲英教授及其團隊負責(zé)“通用網(wǎng)絡(luò)知識獲取和編輯器研究”，兩單位按照自頂向下和自底向上兩種不同技術(shù)路線分別展開工作。中國人民大學(xué)研制成功了“語義網(wǎng)實驗平臺基礎(chǔ)設(shè)施”和URI數(shù)目超過20萬的經(jīng)濟學(xué)/法學(xué)學(xué)科知識檢索系統(tǒng)示范應(yīng)用，復(fù)旦大學(xué)開發(fā)了網(wǎng)上學(xué)科知識獲取和編輯器Dolphin系統(tǒng)。

（編輯：張憲慧）