3月6日，国家自然科学基金委员会信息科学部组织验收专家组在京对国家自然科学基金重大项目“非规范知识处理的基本理论和核心技术（批准号：60496320）”进行了验收。该项目由中国科学院数学与系统科学研究院、人民大学数据工程与知识工程教育部重点实验室学术委员会主任陆汝钤院士负责。验收专家组由9位专家组成，组长由北京大学何新贵院士和中国科学院软件研究所林惠民院士共同担任。国家自然科学基金委员会相关工作人员也参加了验收会议。来自全国各地、以及澳大利亚、香港等境外学者、特邀嘉宾共计70余人参加了会议。本次会议由中科院数学所和我校共同承办。

陆汝钤院士首先作了项目总结报告，随后本项目下属七个课题的负责人也分别汇报了研究成果。该项目自2004年正式批准，经历了4年多的认真研究探索，在进程代数及其互模拟等方面取得了一系列突出成果，发表国际期刊论文146篇，其中有近四分之一为 Theoretical Computer Science、Artificial Intelligence、IEEE Transactions、Journal of Symbolic Logic等高水平国际期刊论文；发表国际会议论文268篇，包括AAAI、IJCAI、VLDB、ICDE、ISAAC等高水平国际会议；获批和申请专利22项。验收专家组通过现场答辩的形式评估了项目计划任务和预期目标的完成情况、研究水平和创新性、研究队伍与人才培养、项目组织管理、国际合作与交流情况。验收专家组认为项目组已按计划圆满完成了任务，一致同意通过验收，评审结果为“特优”。

人民大学王珊教授是第5课题“非规范知识处理的实验平台”的负责人，人民大学杜小勇教授和复旦大学周傲英教授分别是人民大学和复旦大学两个子课题的负责人。杜小勇教授及其团队负责“示范语义网及其知识服务平台研究”，周傲英教授及其团队负责“通用网络知识获取和编辑器研究”，两单位按照自顶向下和自底向上两种不同技术路线分别展开工作。中国人民大学研制成功了“语义网实验平台基础设施”和URI数目超过20万的经济学/法学学科知识检索系统示范应用，复旦大学开发了网上学科知识获取和编辑器Dolphin系统。

（编辑：张宪慧）