陆汝钤院士获首位人工智能最高成就奖

11月1日CCTV13、CCTV1《朝闻天下》报道了由中国人工智能学会发起主办的“吴文俊人工智能科学技术奖”揭晓及首次评出人工智能最高成就奖的重磅新闻,在社会各界引发强烈热议。

央视新闻报道:“吴文俊人工智能最高成就奖”今天(11月1日)在北京揭晓,中国科学院数学与系统科学研究院研究员、中国科学院院士陆汝钤因其在知识工程和基于知识的软件工程方面作出系统、创造性工作,以及在大知识领域作出的开创性贡献,而成为首位“吴文俊人工智能最高成就奖”获得者。另外还有70个项目成果获得“吴文俊人工智能科学技术奖”各奖项。“吴文俊人工智能科学技术奖”设立于2011年1月6日,代表我国人工智能领域的最高荣誉。迄今,该奖先后授予198个单位及行业机构, 210个创新成果和项目,699名学者及专家表彰奖励。而“吴文俊人工智能最高成就奖”是今年第一次设立。

陆汝钤院士获奖理由

陆汝钤在人工智能、知识工程、和基于知识的软件工程方面作了系统和创造性的工作。设计并主持研制了知识工程语言TUILI和大型专家系统开发环境《天马》。首次把异构型DAI和机器辩论引进人工智能领域。研究出基于类自然语言理解的知识自动获取方法,开发出基于知识的应用软件自动生成技术。研究并主持实现了一套全过程计算机辅助动画自动生成技术,在艺术创造领域推进了人工智能方法和技术,做出了开创性的工作。近年来提出并系统地发展了知件及知件工程、以及知件和软件协工程等一整套发展思路,在国际上首次给出大知识的10 MC 特征刻画并进行了系统的研究,积极倡导和促进中国知识产业的发展。陆汝钤作为我国人工智能领域的开拓者和先驱之一,在知识工程方面取得系统性创新成就,特别是在全过程动画自动生成、专家系统开发环境、软件自动生成、少儿图灵测试、知件、大知识特征刻画等方面取得多项被国际公认具有创新性的领先成果,荣获我国首位“吴文俊人工智能最高成就奖”。

(一)潜心研究

陆汝钤早期从事多元复变函数论研究,首先在一大类非对称可递域上建立起调和函数论,正面回答了在著名的Cartan猜想被否定以后,学术界对非对称可递域上能否建立调和函数论的疑惑。他倡导并主持旨在软件机械生成和自动移植的系列软件计划(XR计划),提出了可统一各类优先文法的广义优先文法,给出了有效的分析算法及相应的正确性证明,取得了一系列重大基础理论成果。

陆汝钤1959年毕业于德国耶拿大学数学系,获学士学位,同年起在中国科学院数学研究所工作。1983年任数学研究所研究员,1984年起担任博士生导师,1980-1987年任计算机科学研究室主任,1987-1990年任数学研究所副所长、代所长,1991-1994年任数学研究所学术委员会主任。1999年当选为中国科学院院士。现为中国科学院数学与系统科学研究院研究员。

陆汝钤院士以人工智能、知识工程和基于知识的软件工程为主要研究方向,做出了系统和创造性的工作,是中国该领域研究的开拓者之一。与此同时还有着较为广泛的研究兴趣。

1959-1963年陆汝钤在数学所师从华罗庚院士,并在陆启铿院士指导下从事多元复变函数论研究。早期的主要工作是1972年起进入计算机科学领域,1972-1974年研制了DJS-21机上Algol60编译程序改进版。1975-1981年倡导并主持旨在软件机械生成和自动移植的系列软件计划(XR计划),在此期间提出了可统一各类优先文法的广义优先文法,给出了有效的分析算法及相应的正确性证明。

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

(二)创新应用

陆汝钤在国际上率先研究异构型分布式人工智能(DAI),把机器辩论引进人工智能。设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件等成果应用,均作出重大杰出贡献。

陆汝钤还在人工智能、知识工程和基于知识的软件工程方面做出了系统和创造性的工作。1982-1984年设计并主持开发集逻辑过程和产生式于一体的模块式知识工程语言TUILI。1985 年在国际上率先研究异构型分布式人工智能(DAI),把机器辩论引进人工智能。设计并主持实现分布式逻辑推理和基于分布式推理的城市交通管理软件。1987-1990主持国家七五攻关项目“专家系统开发环境”,完成大型专家系统开发环境《天马》的研制,应用于国防和经济的二十多个领域。1988年提出Pseudo-Natural Language Understanding (PNLU, 类自然语言理解)方法,作为一种简易但有效的从书面语言素材自动获取知识以快速构造基于知识的系统的《天蜂》技术,可把ICAI(智能计算机辅助教学)生成技术从初期的手工编制、和后来主流的用写作软件编制,推进到基于知识的自动生成;将PNLU应用于软件工程的需求分析则形成一套基于知识的管理软件快捷开发技术《天鹰》。1994-1997年研究常识问题,设计并建设了面向agent和本体的大型常识知识库《盘古》.在此基础上实现了一个少儿图灵测试系统和成功的少儿图灵测试。1990-1995年提出一套全过程计算机支持动画自动生成技术《天鹅》,在艺术创造领域发展了人工智能。

2005年陆汝钤提出“知件”和“知识中间件”概念,作为从软件中分离出来的领域知识的独立商品化形式。并进一步研究了知件工程、基于知件的软件工程、软件/知件协工程及其生命周期模型。拓展了基于量子逻辑的格值量子有限自动机,给出并证明了其上的广义泵引理。证明了希尔伯特空间上的该类量子自动机全体对复空间维数n构成一个真包含谱系。研究了量子进程代数的代数语义,证明了两个量子进程代数双模拟当且仅当相应的种子代数深度同构。

(三)成就卓越

陆汝钤在国际上首次给出大知识的10 MC 特征刻画并进行了系统研究,给出了各个MC特征的定性和定量参考标准,进一步地给出了大知识工程的初步定义及其生命周期模型,这是具有突破性的最新研究成果。

陆汝钤发表论文两百余篇,撰写和主编出版著作十余部。其中两卷本《人工智能》在国内有较大影响,被许多高校用为教材。《计算机语言的形式语义》及其两卷扩充版《计算系统的形式语义》系统地总结了该领域的成果。《Knowware the third star after hardware and software》在国际上全面地介绍了知件的创新思想及研究成果。《软件移植:原理和技术》、《专家系统开发环境》、《Domain modeling based software engineering-a formal approach》和《Automatic generation of computer animation》分别系统总结了XR计划、《天马》、《天鹰》、《天鹅》四个项目及有关成果。《Algol68导引》是国内唯一研究Algol68语言的专著。所有这些中英文专著中陆汝钤均为唯一/第一作者。陆汝钤主持编撰《计算机科学技术名词第三版》并获中国计算机学会杰出贡献奖。国际上在热烈探讨大数据之后逐渐提到了要从大数据获取大知识,但尚无人对大知识进行具体研究。最近陆汝钤在国际上首次给出大知识的10 MC 特征刻画并进行了系统研究,给出了各个MC特征的定性和定量参考标准,进一步地给出了大知识工程的初步定义及其生命周期模型,这是陆汝钤院士最新的研究成果。

陆汝钤1978年获全国科学大会先进集体奖,1983年获中科院重大成果一等奖,1988年被评为国家级有突出贡献的中青年专家。1992年获中国科学院科技进步一等奖,1993年获国家科技进步二等奖,2003年获华罗庚数学奖,2014年获中国计算机学会终身成就奖。另外曾获科普创作一、二、三等奖,在第三和第四次中国科普作协代表大会上两次被评为“建国以来,特别是科普作协成立以来成绩突出的科普作家”。所有这些奖励中陆汝钤均为唯一/第一获奖者。

这次陆汝钤院士获得中国人工智能学会吴文俊人工智能最高成就奖,是他在人工智能领域多年来辛勤耕耘得到的最高荣誉。

(四)奖励通报

北京百度网讯科技有限公司高级副总裁王海峰因长期从事人工智能技术及产业工作,做出了大量创新成果,并在大规模产业应用中产生了巨大的经济效益和社会效益,而获得首个“吴文俊人工智能杰出贡献奖”。通报指出,共有70个项目成果摘得中国智能科学技术奖励最高殊荣。

为加快实施国家创新驱动发展战略,深入贯彻《新一代人工智能发展规划》,更好地推进科教兴国、人才强国的政策落实,弘扬“尊重劳动、尊重知识、尊重人才、尊重创造”的良好风尚,通过推选优秀的智能科学技术成果及应用项目,充分调动和激发广大智能科技工作者投身建设创新型国家的积极性和创造热情,大力提升我国智能科学技术与产业应用的创新发展水平,隆重表彰在智能科学技术领域取得重大突破,做出突出贡献的单位和个人,根据《吴文俊人工智能科学技术奖励条例实施细则》规定,经各相关地方人工智能学会,全国各高校及科研(院)所、学会专委会和工委会及院士专家提名、推荐和申报,2018年9月-10月,中国人工智能学会邀请李德毅院士、谭铁牛院士、吴朝晖院士和陆建华院士和29位杰青、长江学者等专家组成评审委员会,经过初评、终评答辩和公示,第八届“吴文俊人工智能科学技术奖”共评出70个获奖项目成果,包括吴文俊人工智能最高成就奖1项(属提名制不参与公示),吴文俊人工智能杰出贡献奖1项,吴文俊人工智能自然科学奖14项,吴文俊人工智能技术发明奖13项,吴文俊人工智能科技进步奖18项、吴文俊人工智能科技进步奖企业技术创新工程项目11项、吴文俊人工智能科技进步奖科普项目1项,吴文俊人工智能优秀青年奖11项。其中,在70个获奖项目成果中,囊括有 56个高校的项目成果(包括两所军队院校)、48个企业的项目成果和7个研究院所的项目成果。中科云丛、平安科技、汇川科技、易华录、云天励飞、明略数据、奇虎360、虹软、兖矿集团、浙江远传、金碟软件、思必驰、影谱科技、地平线、山东鲁能、清睿教育等人工智能企业在本届吴文俊人工智能科学技术奖中崭露头角。

(五)隆重表彰

中国人工智能学会将邀请国家及部委领导、嘉宾现场为获得人工智能最高荣誉的资深学者和专家、企业领军人颁发200万人民币重奖,通过权威表彰,分享创新荣耀,用人工智能的榜样力量赋能社会,启迪前沿与未来。

“吴文俊人工智能科学技术奖”由国家级学会--中国人工智能学会发起主办,得到了享誉海内外的杰出科学家、数学大师、人工智能先驱、我国智能科学研究的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院院士、中国人工智能学会名誉理事长吴文俊先生的支持,经国家科学技术部核准,国家科学技术奖励工作办公室(国科奖社证字第0218号)公告,2011年1月6日正式设立“吴文俊人工智能科学技术奖”,具备提名推荐国家科学技术奖资格,被外界誉为“中国智能科学技术最高奖”,代表人工智能领域的最高荣誉。该奖旨在贯彻“尊重劳动、尊重知识、尊重人才、尊重创造”的方针,奖励在智能科学技术领域取得重大突破,做出卓著贡献的科技工作者和管理者,为弘扬科学精神,激励科技工作者勇攀科学技术高峰,不断推进智能科学技术领域的创新与发展,赢得了广泛的社会赞誉。

“吴文俊人工智能科学技术奖”是我国科学史上第一次以“人工智能”命名,面向智能科学技术领域涵盖面最广、影响力最大、最具权威性的社会力量奖励,它借鉴了国内外民间奖励实行科学、民主、客观、公正的推荐与提名制相结合的办奖经验,对人工智能科技奖励结构进行了积极尝试和探索,填补了人工智能奖项设立的空白。该奖每年设立有200万人民币奖金池,其中对授予“吴文俊人工智能最高成就奖”的获奖者颁发100万奖金。迄今,该奖先后授予198个单位及行业机构, 210个创新成果和项目,699名学者及专家表彰奖励。

☀若网络转载,版权归原作者所有

如有侵权,请联系我们进行处理

关注我按

微信号:云康股份(←)记得分享哟

如需了解更多,请长按图中二维码(→),即可识别关注。

  • 发表于:
  • 原文链接https://kuaibao.qq.com/s/20181102B1NLE800?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券