陆汝钤
陆汝钤，1935年2月15日出生于上海，计算机科学家[1] ，中国科学院院士[2]，中国科学院数学与系统科学研究院研究员 ，复旦大学教授、博士生导师[3]。
| 陆汝钤 | |
|---|---|
|
中国科学院院士 | |
| 出生 |
1935年2月15日 上海 |
| 国籍 | 中国 |
| 母校 | 德国耶拿大学 |
| 职业 | 教育科研工作者 |
| 知名作品 | 《人工智能》、《计算系统的形式语义》 |
1959年陆汝钤从德国耶拿大学数学系本科毕业后进入中国科学院数学研究所工作，先后担任副研究员、研究员、博士生导师;1987年担任中国科学院数学研究所副所长;1991年担任中国科学院数学研究所学术委员会主任;1999年当选中国科学院院士;2000年加盟复旦大学，担任复旦大学计算机学院教授;2002年担任复旦大学智能信息处理开放实验室主任;2003年获得华罗庚数学奖[4];2004年担任上海市智能信息处理重点实验室学术委员会主任 ;2018年获得吴文俊人工智能最高成就奖 [5]。
陆汝钤以人工智能、知识工程和基于知识的软件工程为主要研究方向，是中国该领域研究的开拓者之一，他在国际上率先研究异构型分布式人工智能(DAI)，把机器辩论引进人工智能，设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用 。
目录
人物经历
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-Natural Language Understanding (PNLU, 类自然语言理解)方法，作为一种简易但有效的从书面语言素材自动获取知识以快速构造基于知识的系统的《天蜂》技术，可把ICAI(智能计算机辅助教学)生成技术从初期的手工编制、和后来主流的用写作软件编制，推进到基于知识的自动生成;将PNLU应用于软件工程的需求分析则形成一套基于知识的管理软件快捷开发技术《天鹰》。1994年-1997年研究常识问题，设计并建设了面向agent和本体的大型常识知识库《盘古》。在此基础上实现了一个少儿图灵测试系统和成功的少儿图灵测试。2005年提出"知件"和"知识中间件"概念，作为从软件中分离出来的领域知识的独立商品化形式。并进一步研究了知件工程、基于知件的软件工程、软件/知件协工程及其生命周期模型。拓展了基于量子逻辑的格值量子有限自动机，给出并证明了其上的广义泵引理。证明了希尔伯特空间上的该类量子自动机全体对复空间维数n构成一个真包含谱系。研究了量子进程代数的代数语义，证明了两个量子进程代数双模拟当且仅当相应的种子代数深度同构。陆汝钤在国际上首次给出大知识的10 MC特征刻画并进行了系统研究，给出了各个MC特征的定性和定量参考标准，进一步地给出了大知识工程的初步定义及其生命周期模型。
人工智能研究
1985年在国际上率先研究异构型分布式人工智能(DAI)，把机器辩论引进人工智能。设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件。1990年-1995年提出一套全过程计算机支持动画自动生成技术《天鹅》，在艺术创造领域发展了人工智能 。
学术论著
截至2019年77月，陆汝钤发表论文200余篇，撰写和主编出版著作十余部。其中两卷本《人工智能》在中国国内被许多高校用为教材;《计算机语言的形式语义》及其两卷扩充版《计算系统的形式语义》系统地总结了该领域的成果;《Knowware the third star after hardware and software》在国际上介绍了知件的创新思想及研究成果;《软件移植:原理和技术》、《专家系统开发环境》、《Domain modeling based software engineering-a formal approach》和《Automatic generation of computer animation》分别系统总结了XR计划、《天马》、《天鹰》、《天鹅》四个项目及有关成果;《Algol68导引》是中国国内唯一研究Algol68语言的专著，所有这些中英文专著中陆汝钤均为唯一、第一作者 。
| 出版日期 | 名称 | 作者 | 出版社 |
| 2017.01 | 《计算系统的形式语义 下》 | 陆汝钤著 | 北京:清华大学出版社 |
| 2017.01 | 《计算系统的形式语义 上》 | 陆汝钤著 | 北京:清华大学出版社 |
| 2003.01 | 《知识科学与计算科学》 | 陆汝钤主编 | 北京:清华大学出版社 |
| 2000.06 | 《人工智能》 | 陆汝钤 | 北京:科学出版社 |
| 1996.09 | 《人工智能 下》 | 陆汝钤编著 | 北京:科学出版社 |
| 1996.09 | 《人工智能 下》 | 陆汝钤编著 | 北京:科学出版社 |
| 1994.04 | 《专家系统开发环境》 | 陆汝钤等著 | 北京:科学出版社 |
| 1993.04 | 《数学、计算、逻辑》 | 陆汝钤著 | 长沙:湖南教育出版社 |
| 1992.12 | 《计算机语言的形式语义》 | 陆汝钤编著 | 北京:科学出版社 |
| 1989.08 | 《人工智能 上》 | 陆汝钤编著 | 北京:科学出版社 |
| 1985 | 《CCITT高级语言(CHILL)CCITT第七次全会文件》 | 陆汝钤译 | 北京:人民邮电出版社 |
| 1982.08 | 《算法语言 ALGOL68 修改报告》 | 范维恩加登编;陆汝钤译 | 北京:科学出版社 |
| 1977.12 | 《算法语言ALGOL68报告》 | A.V.维恩加登主编;陆汝钤译 | 北京:科学出版社 |
承担项目
| 时间 | 项目名称 | 项目来源 |
| 1998年-2001年 | 常识性知识的实用研究(69733020) | 国家自然科学基金重点项目 |
| 1996年-1997年 | 软件新工具和新技术研究(96-729-01-06) | 国家攻关项目 |
| 1996年-1997年 | 智能软件工具的概念模型研究(96-729-01-06-09) | 国家攻关项目 |
科研成果奖励
截至2018年11月，陆汝钤先后获得中国科学院重大成果一等奖一项，中国科学院科技进步一等奖一项，国家科技进步二等奖一项。还获得科普创作一、二、三等奖，在第三和第四次中国科普作协代表大会上两次被评为"建国以来，特别是科普作协成立以来成绩突出的科普作家" 。
1978年， 全国科学大会先进集体奖
1983年， 中国科学院重大成果一等奖[6]
1992年， 中国科学院科技进步一等奖[7]
1993年， 国家科技进步二等奖
《计算机科学技术名词第三版》， 中国计算机学会杰出贡献奖
人才培养
教育思想
2013年4月26日，第二届杨浦区高中生进入院士团队和高校开展创新课题探究活动交流展示暨第三届活动启动仪式在上海院士风采馆举行，在陆汝钤院士的座谈会上，他鼓励带教同学要不断开动脑筋，在程序的设计和编排的工作中，找寻最优的解决方案 。
指导学生
截至2017年7月，根据全国图书馆参考咨询联盟显示，陆汝钤在北京工业大学 、中国科学院计算技术研究所、复旦大学、贵州大学 、中山大学一共培养了60多名博士生和硕士生，具体培养的博士生情况如下 :
| 年度 | 论文名称 | 作者 | 学位授予单位 | 学位 |
| 2012 | 基于不分明量子逻辑的计算理论 | 卢献 | 中国科学院研究生院 | 博士 |
| 2010 | 维数约简中的若干问题 | 何力 | 复旦大学 | 博士 |
| 2004 | 关联规则挖掘的取样复杂性分析 | 贾彩燕 | 中国科学院研究生院 | 博士 |
| 2004 | 量子信息处理中的纠缠态及其应用 | 李晓宇 | 中国科学院研究生院 | 博士 |
| 2004 | 描述逻辑SHOIN(D)的常识性扩展研究 | 王淞昕 | 复旦大学 | 博士 |
| 2003 | 量子自动机的研究 | 郑红 | 中国科学院研究生院 | 博士 |
| 2002 | 虚拟企业模型与实现技术研究 | 陈刚 | 中国科学院研究生院 | 博士 |
| 1996 | 关于运动规划问题的研究 | 施海虎 | 中国科学院研究生院 | 博士 |
| 1993 | Towards an Expert-Oriented Knowledge Acquisition Methodology | 曹存根 | 中国科学院研究生院 | 博士 |
| 1993 | 基于语用学的故事理解研究 | 李小滨 | 中国科学院研究生院 | 博士 |
| 1991 | 领域问题分类研究 | 吴建敏 | 中国科学院研究生院 | 博士 |
| 1991 | 分布式解题系统若干基本问题研究 | 赵致琢 | 中国科学院研究生院 | 博士 |
| -- | 多媒体ICAI及语音合成研究 | 陈卫芹 | 中国科学院研究生院 | 博士 |
| -- | 面向 Agent 的需求分析 | 刘璘 | 中国科学院研究生院 | 博士 |
| -- | 遗传算法的理论、技术及在科学发现中的应用 | 韩战钢 | 中国科学院研究生院 | -- |
| 陆汝钤 | |
|---|---|
|
著名科学家 陆汝钤 |
荣誉表彰
1988年， 国家级有突出贡献的中青年专家
2003年， 华罗庚数学奖
2014年， 中国计算机学会终身成就奖
2018年11月， 吴文俊人工智能最高成就奖
社会任职
陆汝钤长期担任《软件学报》执行主编、全国科学技术名词审定委员会计算机术语审定委员会主任、中国计算机学会名称审定工委顾问、中国计算机学会模式识别与人工智能专业委员会副主任 。他还担任北京市多媒体和智能软件重点实验室学术委员会主任;中国科学院管理、决策与信息系统重点实验室学术委员会副主任 ;
《Database Technology》编委;《Computer Journal》编委;《Artificial Intelligence and Cognitive Science》顾问委员会委员等多个职务 。
人物评价
陆汝钤为中国计算机事业的发展做出了卓越贡献 。(2014年中国计算机学会终身成就奖评)
陆汝钤作为中国人工智能领域的开拓者和先驱之一，在知识工程方面取得系统性创新成就，特别是在全过程动画自动生成、专家系统开发环境、软件自动生成、少儿图灵测试、知件、大知识特征刻画等方面取得多项被国际公认具有创新性的领先成果 。(人民网评)
视频
陆汝钤题字与手模2019-10-14
2018吴文俊人工智能奖揭晓：陆汝钤获最高成就奖 2018-11-02
参考来源
- ↑ 陆汝钤 ,中国科学院, 2009-06-24
- ↑ 专访中国科学院陆汝钤院士 ,搜狐, 2018-12-21
- ↑ 陆汝钤 ,北京工业大学
- ↑ 中科院院士石钟慈陆汝钤获华罗庚数学奖 ,搜狐, 2003-11-03
- ↑ 中科院陆汝钤获吴文俊人工智能最高成就奖 ,搜狐, 2018-12-09
- ↑ 央视报道丨陆汝钤院士获首位人工智能最高成就奖 ,搜狐, 2018-11-02
- ↑ 陆汝钤 ,搜狗