陆汝钤
陆汝钤 (1935-)
陆汝钤院士是我国知识工程研究的主要开拓者之一。他把数学中黎曼曲面思想引进PETRI网论，建立了多层PETRI网模型。
1935年生，原籍江苏苏州，生于上海。1959年毕业于德国耶拿大学数学系。中国科学院数学研究所研究员、博士生导师、中国科学院院士。在知识工程和基于知识的软件工程方面作了系统的、创造性的工作，是我国该领域研究的开拓者之一。倡导并主持完成了以软件的机械化生成和移植为目标的系列软件计划。设计并主持研制了知识工程语言TUILI和大型专家系统开发环境《天马》。研究出基于类自然语言理解的知识自动获取方法。可应用于基于知识的应用软件自动生成，特别是专家系统、ICAI系统和MIS系统的自动生成。研究出计算机动画全过程自动生成技术，在艺术创造领域内推进了人工智能。共发表文章约百篇，专著六本。获中科院重大成果一等奖一次，中科院科技进步一等奖一次，国家科技进步二等奖一次，全国科学大会先进集体奖一次。陆汝钤院士任北京工业大学兼职教授，与刘椿年教授联合招收培养博士生。
陆汝钤院士发表论文近百篇，专著六部。曾获中科院重大成果一等奖一项，中科院科技进步一等奖一项，国家科技进步二等奖一项。
陆汝钤现为实验室学术委员会主任，首席科学家。中国科学院数学与系统科学研究院研究员，博士生导师。1999年当选为中国科学院院士。研究方向主要为人工智能和基于知识的软件工程。曾获中科院科技成果一等奖、中科院科技进步一等奖各一次，国家科技进步二等奖一次，均排名第一。担任《软件学报》、《计算机学报》、《应用数学学报》、《模式识别和人工智能》、《计算机科学》、《Database Technology（ Pegamon Press 出版，英国）》等杂志的编委。 目前担任中国计算机学会模式识别和人工智能专业委员会副主任委员。1997年以来曾到不来梅大学、汉堡大学、慕尼黑技术大学、萨尔州大学（德国）、马德里技术大学、巴塞罗那技术大学（西班牙）讲学。
之后，陆汝钤进一步把类自然语言理解与软件工程中的领域分析、领域建模结合起来，促进管理软件开发的自动化，并使企业管理人员能够直接介入软件的开发和维护。1994年英国AI WATCH杂志，用整整一页篇幅发表评论指出，这是他们所见到的“以领域知识库支持主流软件开发的第一例”，“很有可能发展为可实用的工业工具”，并就此提出：“看来是欧洲的人工智能/软件工业界与中国的人工智能界建立联系的时候了”。
陆汝钤研究并主持实现一套全过程计算机辅助动画生成技术，其特点是从受限自然语言理解开始，把中文童话故事自动转换成动画片，使计算机模拟脚本改编，电影导演和摄影师的功能，在艺术创造领域内发展人工智能技术。
在形式语义学研究方面，陆汝钤把原来只能描述静态控制结构的代数语义，推广到能描述动态控制结构,使代数语义具备描述完整程序控制结构的能力，从而真正体现“对代数语义来说，程序即抽象数据类型”这一论题。陆汝钤还把数学中黎曼曲面的思想引进PETRI网论，建立了多层PETRI网模型—— P/R网,并应用P/R网给出了CCS的完全真并发语义，彻底解决了其特有的（在双模拟意义下的）语义等价问题。