陆汝钤

陆汝钤，1935年2月15日出生于上海，计算机科学家，中国科学院院士，中国科学院数学与系统科学研究院研究员，复旦大学教授、博士生导师。1959年陆汝钤从德国耶拿大学数学系本科毕业后进入中国科学院数学研究所工作，先后担任副研究员、研究员、博士生导师；1987年担任中国科学院数学研究所副所长；1991年担任中国科学院数学研究所学术委员会主任；1999年当选中国科学院院士；2000年加盟复旦大学，担任复旦大学计算机学院教授；2002年担任复旦大学智能信息处理开放实验室主任；2003年获得华罗庚数学奖；2004年担任上海市智能信息处理重点实验室学术委员会主任；2018年获得吴文俊人工智能最高成就奖。陆汝钤以人工智能、知识工程和基于知识的软件工程为主要研究方向，是中国该领域研究的开拓者之一，他在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能，设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用。

基本资料

中文名：陆汝钤

国籍：中国

出生地：上海

出生日期：1935年2月15日

毕业院校：德国耶拿大学

职业：教师

代表作品：《人工智能》、《计算系统的形式语义》

发表论文数量：200余篇（截至2019年7月）

人物经历

1935年2月15日，陆汝钤出生于上海，原籍江苏苏州。

1959年，陆汝钤毕业于德国耶拿大学数学系，获得学士学位，同年进入中国科学院数学研究所工作，师从华罗庚院士，并在陆启铿院士指导下从事多元复变函数论研究。先后担任副研究员（1978年起）、研究员（1983年起）、博士生导师（1984年起）。

1980年，陆汝钤担任中国科学院数学研究所计算机科学研究室主任（至1987年）。

1987年，陆汝钤担任中国科学院数学研究所副所长（至1990年）。

1991年，陆汝钤担任中国科学院数学研究所学术委员会主任（至1994年）。

1999年，陆汝钤当选中国科学院院士。

2000年，陆汝钤加盟复旦大学，担任复旦大学计算机学院教授。

2002年，陆汝钤担任复旦大学智能信息处理开放实验室主任（至2003年）。

2004年，陆汝钤担任复旦大学上海市智能信息处理重点实验室学术委员会主任。

主要成就

陆汝钤科研成就

科研综述

多元复变函数论研究

陆汝钤早期从事多元复变函数论研究，首先在一大类非对称可递域上建立起调和函数论，正面回答了在Cartan猜想被否定以后，学术界对非对称可递域上能否建立调和函数论的疑惑。

形式语义学研究

在形式语义学方面，陆汝钤研究了逻辑语义、代数语义和分布式语义，证明了任意Horn子句集的模型论语义和最小不动点语义的等价性；给出了能描述动态控制结构的基调式代数语义；把平面的Petri网扩展成多页的Petri/Riemann网（P/R网）作为进程模型，获得了演算的最大真并发结构。

计算机科学研究

1972年起，陆汝钤进入计算机科学领域，1972年—1974年研制了DJS-21机上Algol60编译程序改进版。1975年—1981年倡导并主持旨在软件机械生成和自动移植的系列软件计划（XR计划），提出了可统一各类优先文法的广义优先文法，给出了有效的分析算法及相应的正确性证明。

知识工程研究

1982年—1984年，陆汝钤设计并主持开发集逻辑过程和产生式于一体的模块式知识工程语言TUILI。1987年—1990主持国家七五攻关项目“专家系统开发环境”，完成大型专家系统开发环境《天马》的研制，应用于国防和经济领域。1988年提出Pseudo-NaturalLanguageUnderstanding（PNLU,类自然语言理解）方法，作为一种简易但有效的从书面语言素材自动获取知识以快速构造基于知识的系统的《天蜂》技术，可把ICAI（智能计算机辅助教学）生成技术从初期的手工编制、和后来主流的用写作软件编制，推进到基于知识的自动生成；将PNLU应用于软件工程的需求分析则形成一套基于知识的管理软件快捷开发技术《天鹰》。1994年—1997年研究常识问题，设计并建设了面向agent和本体的大型常识知识库《盘古》。在此基础上实现了一个少儿图灵测试系统和成功的少儿图灵测试。2005年提出“知件”和“知识中间件”概念，作为从软件中分离出来的领域知识的独立商品化形式。并进一步研究了知件工程、基于知件的软件工程、软件/知件协工程及其生命周期模型。拓展了基于量子逻辑的格值量子有限自动机，给出并证明了其上的广义泵引理。证明了希尔伯特空间上的该类量子自动机全体对复空间维数n构成一个真包含谱系。研究了量子进程代数的代数语义，证明了两个量子进程代数双模拟当且仅当相应的种子代数深度同构。陆汝钤在国际上首次给出大知识的10MC特征刻画并进行了系统研究，给出了各个MC特征的定性和定量参考标准，进一步地给出了大知识工程的初步定义及其生命周期模型。

人工智能研究

1985年在国际上率先研究异构型分布式人工智能（DAI），把机器辩论引进人工智能。设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件。1990年—1995年提出一套全过程计算机支持动画自动生成技术《天鹅》，在艺术创造领域发展了人工智能。

学术论著

截至2019年77月，陆汝钤发表论文200余篇，撰写和主编出版著作十余部。其中两卷本《人工智能》在中国国内被许多高校用为教材；《计算机语言的形式语义》及其两卷扩充版《计算系统的形式语义》系统地总结了该领域的成果；《Knowwarethethirdstarafterhardwareandsoftware》在国际上介绍了知件的创新思想及研究成果；《软件移植：原理和技术》《专家系统开发环境》《Domainmodelingbasedsoftwareengineering-aformalapproach》和《Automaticgenerationofcomputeranimation》分别系统总结了XR计划《天马》《天鹰》《天鹅》四个项目及有关成果；《Algol68导引》是中国国内唯一研究Algol68语言的专著，所有这些中英文专著中陆汝钤均为唯一、第一作者。

承担项目

科研成果奖励

截至2018年11月，陆汝钤先后获得中国科学院重大成果一等奖一项，中国科学院科技进步一等奖一项，国家科技进步二等奖一项。还获得科普创作一、二、三等奖，在第三和第四次中国科普作协代表大会上两次被评为“建国以来，特别是科普作协成立以来成绩突出的科普作家”。

陆汝钤人才培养

教育思想

2013年4月26日，第二届杨浦区高中生进入院士团队和高校开展创新课题探究活动交流展示暨第三届活动启动仪式在上海院士风采馆举行，在陆汝钤院士的座谈会上，他鼓励带教同学要不断开动脑筋，在程序的设计和编排的工作中，找寻最优的解决方案。

指导学生

截至2017年7月，根据全国图书馆参考咨询联盟显示，陆汝钤在北京工业大学、中国科学院计算技术研究所、复旦大学、贵州大学、中山大学一共培养了60多名博士生和硕士生，具体培养的博士生情况如下：

陆汝钤荣誉表彰

社会任职

陆汝钤长期担任《软件学报》执行主编、全国科学技术名词审定委员会计算机术语审定委员会主任、中国计算机学会名称审定工委顾问、中国计算机学会模式识别与人工智能专业委员会副主任。他还担任北京市多媒体和智能软件重点实验室学术委员会主任；中国科学院管理、决策与信息系统重点实验室学术委员会副主任；《DatabaseTechnology》编委；《ComputerJournal》编委；《ArtificialIntelligenceandCognitiveScience》顾问委员会委员等多个职务。

人物评价

陆汝钤为中国计算机事业的发展做出了卓越贡献。（2014年中国计算机学会终身成就奖评）

陆汝钤作为中国人工智能领域的开拓者和先驱之一，在知识工程方面取得系统性创新成就，特别是在全过程动画自动生成、专家系统开发环境、软件自动生成、少儿图灵测试、知件、大知识特征刻画等方面取得多项被国际公认具有创新性的领先成果。（人民网评）