王献昌 吉林大学教授

王献昌，男，1966年生于河南安阳。中国最早一批人工智能领域的科研专家，1991年获国防科技大学人工智能与软件工程博士学位，成为我国首批人工智能博士生，现任吉林大学计算机科学与技术学院教授、博士生导师，成都凯斯人工智能研究院院长，国家特聘专家，中国侨联特聘专家，科技部人工智能重大项目责任专家，吉林大学教授，成都凯斯人工智能研究院院长。长期从事人工智能的研究、开发和应用工作。在国内外顶尖人工智能杂志和会议发表论文40多篇。

王献昌14岁考入郑州大学计算机系，攻克通信顺序进程（CSP）数学与操作语义等价性国际难题，相关论文获首届泛太平洋国际人工智能会议优秀论文奖。1990年代其研究成果两次入选国际人工智能联合大会（IJCAI），并参与国家"863"计划智能计算机领域研究。2006年归国后创立科技企业，研发的智能航空调度系统打破国外垄断。曾任日本第五代智能计算机研究所高级客座研究员、美国KRONOS民用航空领域人工智能高级架构师，现任科技部人工智能重大项目责任专家。

教育及工作经历：

郑州大学计算机系，本科。

1991年获国防科技大学人工智能与软件工程博士学位。

学术兼职：

1、中国兵工学会智能装备技术专业委员会委员。

2、中国航空学会理事。

3、中国航空学会智能航空分会委员。

主要研究方向:

包括常识推理、基于元对象模型的通用黑板架构、对象中间件（软件定义互操作）等，并将相关理论、技术应用于包括智能化运行控制系统（航空调度）、空地无人系统自主协同等领域。

承担科研项目情况:

资料更新中……

发明专利：

[1]王献昌, 王开宇, 吕家兴, 付荣昊. 一种可扩展的多无人机协作火情处理方法及系统[P]. 四川省: CN114815870B, 2024-09-24.

[2]王献昌, 王开宇, 吕家兴, 付荣昊. 一种多无人机消防系统[P]. 四川省: CN114949663B, 2023-03-21.

[3]王献昌, 王开宇, 吕家兴, 付荣昊. 一种多无人机消防系统[P]. 四川省: CN114949663A, 2022-08-30.

[4]王献昌, 王开宇, 吕家兴, 付荣昊. 一种可扩展的异构多无人机协同灭火系统[P]. 四川省: CN114973029A, 2022-08-30.

[5]王献昌, 王开宇, 吕家兴, 付荣昊. 一种可扩展的多无人机协作火情处理方法及系统[P]. 四川省: CN114815870A, 2022-07-29.

[6]王献昌, 罗祖麦, 王玉稳. 一种客户端与服务器端双向同步的方法及系统[P]. 四川省: CN102291416B, 2015-09-30.

[7]王献昌, 王玉稳, 罗祖麦. 一种应用服务器及其与数据库的数据协同方法[P]. 四川: CN102289519A, 2011-12-21.

[8]王献昌, 罗祖麦, 王玉稳. 一种客户端与服务器端双向同步的方法及系统[P]. 四川: CN102291416A, 2011-12-21.

发表中文期刊论文：

[1]王开宇, 张弘瑞, 李聪, 王献昌. 基于IDL通用接口的人机语音交互协同控制系统设计研究[J]. 无人系统技术, 2021, 4 (04): 77-84.

[2]王明丽, 王刚, 郭晓新, 王献昌. 基于跨层复制连接卷积神经网络的遥感图像融合[J]. 吉林大学学报(理学版), 2020, 58 (04): 913-922.

[3]刘亚南, 王献昌, 张睿, 汪维凯. 基于规则提升的Agent系统异常处理方法[J]. 吉林大学学报(理学版), 2019, 57 (05): 1144-1154.

[4]王献昌. 园林大树移植和管护技术[J]. 安徽农学通报(下半月刊), 2010, 16 (20): 109-110.

[5]王献昌. 明光市松栎混交林现状及迹地更新存在的问题与对策建议[J]. 安徽农学通报(下半月刊), 2010, 16 (20): 111-112.

[6]王献昌. 山楂栽培技术[J]. 国土绿化, 2009, (09): 48-49.

[7]王献昌. 园林大树移植方法探讨[J]. 现代农业科技, 2009, (13): 219.

[8]王献昌. 松栎混交林存在的问题与解决办法[J]. 中国林业, 2009, (10): 57.

[9]王献昌. 板栗采后管理技术[J]. 现代农业科技, 2005, (11): 9.

[10]王献昌. 明光市农田防护林综合效益的调查[J]. 现代农业科技, 2005, (02): 52.

[11]王献昌. 缺省逻辑的e扩充和me扩充[J]. 计算机学报, 1995, (03): 161-166.

[12]刘海燕, 王献昌, 王兵山. 多Agent系统的研究[J]. 计算机科学, 1995, (02): 57-62.

[13]王献昌,陈火旺,赵沁平. On the Relationship Between TMS and Logic Programs[J]. Journal of Computer Science and Technology, 1994, (03): 245-251.

[14]王献昌，张奎. 火电厂暖通、除尘设备的安装[J]. 低温建筑技术, 1994, (02): 25.

[15]张静, 刘海燕, 王献昌. 并行推理机及其基本软件综述[J]. 计算机科学, 1994, (04): 19-24.

[16]刘海燕, 张静, 王献昌. FGCS计划的基本研究活动[J]. 计算机科学, 1994, (04): 25-29.

[17]王献昌. 承插铸铁管的橡胶圈柔性接口施工[J]. 低温建筑技术, 1994, (01): 24.

[18]王献昌. 日本新一代计算机计划之回顾[J]. 计算机科学, 1994, (03): 13-14.

[19]刘海燕, 张静, 王献昌. FGCS计划十年总观[J]. 计算机科学, 1994, (03): 17-22.

[20]王献昌. 人工智能的研究趋向多元化——参加第十三届国际人工智能联合大会总结报告[J]. 计算机科学, 1994, (01): 1-6.

[21]王献昌,陈火旺. 真值维护系统的语义研究[J]. 中国科学(A辑 数学 物理学 天文学 技术科学), 1993, (11): 1212-1218.

[22]王献昌. 耶鲁枪击问题之分析[J]. 计算机工程与科学, 1993, (02): 1-9.

[23]王献昌. TMS与一般逻辑程序的语义等价性[J]. 计算机学报, 1993, (06): 476-477.

[24]王献昌. 知识与常识的表示和推理[J]. 计算机科学, 1993, (02): 10-17.

[25]贲可荣, 王献昌, 陈火旺. 有关知道逻辑和“知道”问题的探讨[J]. 计算机工程与科学, 1993, (01): 71-75.

[26]王献昌. 逻辑中的元级概念[J]. 计算机科学, 1992, (05): 8-13.

[27]王献昌, 史晓东, 陈火旺. 机器翻译与自然语言处理的现状与趋势[J]. 计算机科学, 1992, (03): 1-3.

[28]王献昌, 陈火旺. 非单调推理的三大特征[J]. 计算机研究与发展, 1992, (01): 7-14.

[29]王献昌. 知识库/元级知识库中的自省推理[J]. 计算机工程与科学, 1991, (02): 17-25.

 

 

 

 

 

 

 

 

 

 

荣誉奖励：

1、研究成果获中国侨界创新人才贡献奖。

2、获首届泛太平洋国际人工智能会议优秀论文奖。

媒体报道：

1 王献昌：智能时代的使命 王辉 科学中国人 2021-01-05 特色期刊

2 成渝“牵手”，软件再立“新潮头”——专访成都凯斯人工智能研究院院长王献昌 文科 产城 2020-11-25 期刊

3 王献昌:核心技术为我们赢得未来 姜莹 科学中国人 2015-07-01 特色期刊  

“侨”说四川④丨我国最早一批培养起来的人工智能科学家王献昌：包容与开放让四川充满无限可能

2024-03-29  

 

人物名片 

王献昌，成都凯斯人工智能研究院院长，国际国内知名的人工智能和计算机科学专家

 

王献昌

他出身农村、勤学不辍，14岁考上大学；他考研英语仅30分，却被破格录取为研究生；他21岁考上博士研究生，成为我国原“863”计划智能计算机领域里专攻人工智能的年轻博士；他出国深造打拼十三年，不顾一切回国创业……

“很曲折也很精彩，我自己都觉得像是小说一样。”回忆起自己的求学与科研之路，王献昌用了“小说”二字去比喻。仔细“翻阅”，就会发现，作为一名归侨，王献昌“小说”般精彩的故事中最重要的关键词便是“祖国”。

海外求学拼搏十余载

他带着核心技术毅然回到祖国

1966年，王献昌出生于河南安阳的一个小乡村，在他的记忆中，童年求学基本是在家中自学完成的。王献昌从小便在数学方面展现出极高的天赋，加上父亲对其的引导，他早早便决定要专攻数学，钻研数论知识。

1980年，14岁的王献昌考进了郑州大学。一心想学数学的他，却被数学系分到了郑州大学第一届计算机班。王献昌回忆，在面临考研选择时他一心想考回数学专业，但就在当时，中国第一台每秒钟运算一亿次以上的巨型计算机“银河1号”研制成功，让国内计算机界甚至举国上下都为之振奋，王献昌也不例外。

后来，在老师的建议下，王献昌继续选择计算机专业，报考了国防科技大学。王献昌的考研成绩极为偏科，数学满分，计算机离满分只差2分，但是英语却只考了30分。由于英语不及格，按规定王献昌不能被录取，但是我国著名软件泰斗、中国工程院院士陈火旺教授却看中他在数学方面的优势，亲自给国防科技大学写了推荐信，加上当时推荐他考国防科技大学的苏锦祥老师也以郑州大学的名义写信推荐，王献昌最终被破格录取。

研究生期间，王献昌在人工智能方面的天赋逐渐展露，并成功解决了当时国际上无人能解的难题——通信顺序进程（CSP）的数学与操作语义等价性问题,相关成果以国防科技报告发表。1987年，王献昌顺利考取国防科技大学人工智能方向的博士，成为我国最早一批人工智能博士生，紧接着王献昌又入选我国原“863”计划。博士阶段，王献昌也迎来了自己在人工智能科研方面的高光时刻，他的论文获得首届泛太平洋国际人工智能会议优秀论文奖，相关成果连续两次作为国内唯一的入选论文, 在国际最高级别人工智能联合大会上发表，成为上世纪90年代我国人工智能领域的杰出代表。1993年，王献昌顺利参加在法国召开的第13届国际人工智能联合大会并作学术报告。国外的交流经历深深触动王献昌，他知道要想取得更多的突破，就必须走出去参与国际人工智能合作交流，于是他在国防科技大学的支持下顺利出国深造交流。

“我接触人工智能的时候正是历史上最热的时期，出国时又是最低谷。”王献昌回忆，出国期间，他先后在日本、美国、加拿大等国的人工智能研究所、实验室和公司供职，与国际顶尖的专家交流合作，过程中充满了挑战与成功的喜悦。

“当初离开，只是为了更好地回来。”王献昌说，经过了十余年的钻研和奋斗，自己对于人工智能先进理念的运用和核心技术的掌握都有了新的突破，并且参与到了人工智能技术运用于智能化航空调度的项目，在对技术进行不断打磨后，他毅然决定回国并且不再离开。

 

2023年，王献昌在第六届航天航空航海产业发展论坛作演讲

在成都创业出发

他倾其所有只为报效祖国

“当时在国内，人工智能在航空调度领域的运用是一片空白，国内大型民用航空的调度运行控制软件几乎全部被国外垄断，国内航空公司购买时耗资动辄过亿。我既然掌握这项技术，那我就要回到祖国，填补这片空白。”王献昌回忆说，当初自己是“悄悄”回国的，除了家里人，他几乎没告诉其他人，国内的同学朋友以及人工智能领域的相关从业者在得知他回国后都颇为震惊，而他却表示：“我一定会在祖国最需要我的时候回来。”
 

虽然掌握核心技术，但如何落地仍然是个难题。王献昌在对国内航空调度领域进行了全面细致的调查后，选择了自己创业。他先后前往北京、上海、深圳、西安等地考察，在经过多番对比后他决定将成都作为自己创业的基地。

“四川是我国发展的战略腹地，这里的发展潜力和空间非常巨大。更重要的是，成都开放包容的城市气质，让这里充满无限可能，也让创业者能够拥有无限机遇。”说起选择成都的原因，除了城市发展潜力外，王献昌还特别提到了四川安逸舒适的生活节奏，他说：“无论是科研还是创业，都是一件很苦的事情，要面对巨大的压力，甚至可能是‘九死一生’，那我就更应该选择一个生活安逸的地方，至少能够苦中作乐。”

来到四川17年，王献昌感慨：“我记得当初刚来的时候，成都二环高架都还没有建设，而如今已经扩至‘四环’‘五环’了。”对于四川的变化，他表示只能用“日新月异”来形容，甚至偶尔离川一段时间，回来时也能惊喜地发现变化。同时，王献昌认为，未来四川要在科技产业方面有更大的提升，也需要在理念、配套政策等方面多与沿海发达地区交流，不断优化科研环境，吸引更多科研人才。

智能化时代的步伐很快，并且越来越快。对于未来，王献昌的目标复杂也简单，他说，他希望成都凯斯人工智能研究院所拥有的、破解智能时代万物互联互通互操作的关键互操作技术, 能够更好、更快地在不同智能领域取得突破和应用示范，为推动国家新质生产力的发展做自己应有的贡献。

 

成渝“牵手”，软件再立“新潮头”

——专访成都凯斯人工智能研究院院长王献昌

 

作为成都的支柱产业，软件产业一直以来稳立发展“潮头”，为加速实现数字化、智能化、场景化发展贡献更多力量。随着成渝地区双城经济圈的加快建设，软件产业迎来了新的发展机遇。

两地软件行业走向联合 

今年10月，由成都市人民政府主办的“2020成都全球创新创业交易会——首届国际区块链产业博览会”在蓉举行。博览会上，成渝地区区块链应用创新联盟正式成立，宣布将加速成渝两地区块链技术融合发展，加强区块链产业交流合作与应用推进，共同打造国家区块链发展先行示范区。 

“这象征着两城相关机构的强强联合、互相成就，也是成渝践行融合发展的又一落地实践。”成都凯斯人工智能研究院院长王献昌表示，当融合范围扩展至整个软件产业，将有力推动行业走向深化和联合，取得新的产业优势，实现双城共赢的持续进阶。 

成渝城市群建立在广阔的轨道交通网之上，且两地同为“一带一路”铁路网中的重要枢纽。其软件产业发展的独特之处，是在促进长江上游地区新经济发展方面发挥重要作用。 

由竞争变竞合，软件产业优势互补

《产城》：自今年1月中央财经委员会第六次会议表示将推动成渝地区双城经济圈建设后，这两座城市一直在共同吸引关注，并享受新的和谐关系。您认为这将对成都发展软件产业带来怎样的影响？ 

王献昌：近代特别是重庆直辖后，了解成渝经济情况的人，一般认为成渝关系是一种竞争关系，资源竞争、经济竞争……但现在，随着国家经济发展进入新常态，特别是习主席提出今后逐步形成以国内大循环为主体、国内国际双循环相互促进的新发展格局的今天，成渝地区双城经济圈建设已经成为一种地区发展的必然阶段。 

而国家宏观政策（有关多经济圈发展的规划）、数值经济、基础建设（如机场、高铁、交通等）对双城经济圈的发展正在且将长期持续起到有力的支撑和助推作用。对成都重庆两地的软件产业来说，这种新的竞合关系必将带来新的发展机会。 

《产城》：有人认为成都在西南地区软件开发方面的领先地位和重庆在硬件制造方面的优势结合起来，有助于为中国不断发展的技术产业创造新的解决方案。您怎样看待这一观点？ 

王献昌：考虑西南地区，无疑成都的软件产业是领先的。作为全国首批、中西部唯一的综合型“中国软件名城”，成都推进软件产业发展的工作机制不断强化。通过实施软件发展“一把手”工程、契合国家战略制定顶层规划、制定专项政策措施大力扶持等举措，大力促进成都软件产业高质量发展。据成都市经信局党组书记、局长王凯介绍，2019年成都软件产业实现主营业务收入4487.5亿元，增长14.3%。其中，软件业务收入3520.2亿元，同比增长15.4%，占西部地区的40.9%。 

重庆近年来一直在推动智能制造，政府搭台引进了很多相关企业。2019年重庆启动了两轮针对智能制造的评估，实施智能化改造项目1280个，建成数字化车间和智能工厂140个，工业技改投资占工业投资比重达到39%。政府主动作为大力推广，企业自发选择逐步推进，多方合力之下，智能化已经成为重庆制造行业的一个热词。今年，重庆还将深入推进智能制造，用大数据智能化为制造业赋能。 

成都拥有众多软件初创企业，吸引了腾讯、阿里巴巴、蚂蚁集团等互联网头部企业来蓉设立研究中心或子公司。重庆则拥有庞大的硬件产业，有着惠普、富士康、广达电脑等信息技术巨头。未来将会出现诸多互补的机会，促进两地软件产业的融合、发展，助力我国高科技产业发展。 

铸基强链，创新驱动

《产城》：成都应如何加速与重庆融合构建双城经济圈，助力软件产业发展？ 

王献昌：双城化，从长远看，是两地居民、企业的活动便捷化、无差别化。从小处说，是社保、一卡通等能不能二地通用，从大处说，是异地同标等一系列需要连接、互通、一致的相关政策。当前，成渝地区双城经济圈建设如火如荼，围绕环成渝地区多个领域的条例也正在加快推出。 

这对软件产业，尤其是智能产业而言，是很好的机会。未来多个领域既有对新需求、新模式或新应用场景的开拓(如移动APP、抖音等）的助力，其相关应用又能方便快捷落地。现阶段应当是两地政府相向而行，政策上先行搭台，比如尽快通过相关政策，推进双城智能产业需求、合作的深度。加快底层基础设施建设，比如布局优化两地交通运输，构建服务于更高频、更大流量的交通网，推动成渝地区双城经济圈“更快”与“更近”。同时可将多类软件相关项目面向双城，扩展至两地适用，引导相关产业链建设，共同形成有影响力的产业圈。 

《产城》：在此背景下，对于各类软件企业而言，未来发展的关键是什么？ 

王献昌：由于成渝城市群建立在广阔的轨道交通网之上，且两地同为“一带一路”铁路网中的重要枢纽，其软件产业发展的独特之处是在促进长江上游地区新经济发展方面发挥重要作用。在这个过程中，高质量的科技创新成果转化是关键。 

但软件产业的难点有三，一是创新，比如在移动互联网时代下的模式创新。二是核心技术积累，提供能够服务国家重大需求的“卡脖子”技术。三是开拓有效市场，助力技术在各类场景中的创新应用能真正为人所用。 

从长远看，每家软件企业都要发展自己独具竞争力的核心技术。以成都软智科技有限公司(以下简称：软智科技)为例，其长期以复杂航空调度为应用背景，研究开放的能够解决不同体系间互操作和自主决策支撑的核心技术。2016年，软智科技成立了成都凯斯人工智能应用研究院，为面向做强人工智能、解决卡脖子的核心技术和应用提供平台支撑，下一步将加强在成渝地区的合作，重点为涉及大数据融合、机器人集群协同等提供核心技术支撑。

 

一般人很难想象，近几年被炒得沸沸扬扬的顶尖技术——人工智能，其实早在半个多世纪前就已经出现。1956年的夏天，在美国汉诺斯小镇宁静的达特茅斯学院中，一群不同学科背景的科学家聚集到了一起，试图利用这得来不易的暑期时光讨论一个前所未有的主题：用机器来模仿人类学习以及其他方面的智能。虽然这短暂的一个多月时间并未产生任何具有影响力的研究成果，但他们的主题——人工智能（Artificial Intelligence）却被永久地保存了下来。因为这一首次出现的专有名词，1956年成为人工智能诞生的元年。在此后60多年里，人工智能经历了漫长的发展期，几度兴衰更迭。

作为我国最早一批培养起来的人工智能科学家，王献昌亲历了人工智能这半个多世纪跌宕起伏的旅程。从20世纪80年代人工智能发展黄金时期，到20世纪90年代的全球研究低谷，再到21世纪人工智能新一轮高潮，几十年来，人工智能发展的每一步几乎都与王献昌的成长关联到了一起。

半个多世纪载沉载浮的人工智能旅程，王献昌深切地感知到这一技术的重要性。“人是没有办法对抗人工智能发展的机器智能潮流的，我们只能不断学习，进而控制机器。”他说，“技术就是会改变世界，不管是生活、工作还是未来军事斗争形态、方式，未来的发展方向都需要智能化。而我们的使命只有一个，就是推动我国的产业智能化进程，快一步，再快一步。”

从数学到人工智能

王献昌最初的学习方向其实并不是人工智能，但也与此有着密不可分的关系，那就是数学。

1966年，王献昌出生于河南安阳的一个小乡村，在他的记忆中，童年求学基本都是在家中完成。“那时农村教育资源不是很好，加之当时的时代背景并不重视学习的关系，基本都靠自学。”

王献昌从小就喜欢数学，那时农村一到秋天就要围在一起剥玉米棒子，王献昌就用剥下来的玉米粒计算鸡兔同笼问题。从洛阳农科院回家支农的父亲告诉他还有一种更简单的方式计算，就是用代数设变量的方法。用完父亲教的方法计算后，王献昌立刻发现了代数奇妙的力量，愈发激起了研究数学的乐趣，初中就开始自学微积分课程。高中时期，一篇载于《人民文学》第一期的报告文学《哥德巴赫猜想》，让数学家陈景润和数论的故事家喻户晓。王献昌受此影响更加坚定了数学的研究方向，并自学数论知识。

在这样勤学不辍的背景下，1980年，年仅14岁的王献昌就考进了郑州大学。不过，由于农村通信落后，录取通知书被寄到了错误地点，王献昌晚了别人将近一个月才到学校报到。“好在那个时代没有严格规定，不然我连大学都上不了。”

但没想到的是，进入大学之后，本来选择了数学系的王献昌，却“不小心”掉进了计算机的“坑”。

说来也巧，那时国内计算机才刚刚起步，很多大学都没有计算机专业，偶尔有的也是建议从数学系分出去或先是数学系的一个专业，而王献昌正好就是郑州大学第一届计算机专业学生。这是一个由20余人组成的计算机班级。“我那时觉得不太对，因为我想学数学，不想学计算机，结果反映后在老师的‘忽悠’下还是继续学了。他们说，计算机是未来发展方向， 你年龄小，所以筛选你到这个班，而且大学前三年都是数学课程，不影响学数学。”王献昌笑着回忆。

人工智能的本质其实就是算法，也就是数学、概率论、统计学、各种数学理论的体现。可以说，数学就是人工智能的基石。“数学比较强的人，其实很容易掌握算法。”王献昌说道。

大四面临考研方向的选择时，王献昌一度还有考回数学的想法，但一件事改变了他的看法。1983年12月22日，由国防科技大学开发的中国第一台每秒钟运算一亿次以上的巨型计算机“银河1号”在长沙研制成功。它填补了国内巨型计算机的空白，标志着中国进入了世界研制巨型计算机的行列，成为继美、日等国之后，能够独立设计和制造巨型机的国家。

消息一出，举国振奋。教自己计算机理论的苏锦祥老师对王献昌说：“你去考国防科技大学计算机专业吧，一定能考上。”再三考虑之后，王献昌终于下定决心考取国防科技大学研究生并被“顺利”录取，师从我国著名软件泰斗、工程学部委员陈火旺教授，开始踏上了智能计算研究之路。但多年之后，王献昌才知道这背后的曲折，他差点就与研究生失之交臂。

“我当年考研数学满分，计算机基础离满分也只差了2分，但英语只考了30分，照理来说是不能被录取的，因为英语没及格。”直到20年后的聚会上，王献昌才得知当年考研背后的故事。尽管英语没过关，但导师陈火旺看中了他的数学基础，亲自向国防科技大学写信举荐，希望能破例录取王献昌。与此同时，当时推荐他考国防科技大学的苏老师也以郑州大学的名义写信过来推荐。就这样，王献昌才得以“顺利”录取。

“我真的很感谢那个时代，不拘一格降人才。因为按照规定，我可能大学、研究生都读不了。因为大学没有按时报到，研究生英语又没及格。对于那时的农村孩子而言，大学就相当于‘跃龙门’，读书改变了我们的命运。”王献昌说道。

读研期间，王献昌学的是计算机理论，主要是研究计算机程序的语义，也就是搞清楚这句话到底是什么意思。就像人类有语言一样，计算机也有语言，那时计算机有Algol、COBOL语言和Fortran语言等，而语义就是从不同的角度去分析这些语言。

“任何一个计算机语言，至少需要从两个方面去定义：一种是数学语义，一种是操作语义，但这两种语义模型必须等价才行。”王献昌介绍，不同角度也就是不同语义建立的数学模型完全不同，自然也会影响后续的计算机语言的实现和使用，只有证明数学语义与操作语义等价，才能证明这两种模型一致。简单来说，也就是一句话用两种不同语言来表达，它的意思是不是一样。

当时国内语义研究做到国际前沿的就是中国科学院院士周巢尘，为了确认这个问题的重要性，王献昌专门跑到周巢尘位于北京的家中请教，并得到了他的确认——通信顺序进程（CSP）的数学与操作语义等价性问题在当时还没能得到有效解决。

谁也没想到，这一国际上无人能解的难题，王献昌从北京调研回去后仅花了3个月就解决了。但那时他还没有发表文章、宣传的意识，直到一年后发现国际刊物《理论计算机科学》上竟然发表了相同的解决方案才知道吃了一个“哑巴亏”。这件事对他的影响很大，不仅意识到研究成果及时发表的重要性，同时还深刻意识到了英语的重要性。这下彻底改变了王献昌对英语不感兴趣的毛病，下决心攻克英语。

1987年，王献昌顺利考取国防科技大学并选攻人工智能方向的博士，因此成为我国最早一批人工智能方向博士生。当然，这一次英语终于及格了。在那之后，科研路上再也没有了“拦路虎”。王献昌成为当时我国原“863”计划智能计算机领域里专攻人工智能的年轻博士，在科研路上开始过关斩将、一路高歌。

1990年，王献昌有关多智能体协同推理的论文获首届泛太平洋国际人工智能奖，而多Agent架构则被认为是解决自主复杂智能系统架构的最为合适的唯一在架构。之后，他在人工智能研究上的成果连续两次在国际最高级别人工智能会议上发表，这也是我国当时唯一在该会议上发表的科技成果，受到了国内外广泛关注。1991年，李国杰院士和科技部、国家自然科学基金委相关的专家参加悉尼召开的第12届国际人工智能联合大会时，得知当时我国唯一的大会报告者，即王献昌没有出席大会，因此他在国防科技大学访问的时候，建议像王献昌这种情况应当鼓励出国交流。“同时基金委的同志也特地通知我，类似情况跟他们汇报，国家层面会支持参加会议。”这是王献昌在1993年能够顺利参加在法国召开的第13届国际人工智能联合大会并作学术报告的重要因素。

参加会议回来后，王献昌在计算机科学的相关会议中，专门介绍了第13届国际人工智能联合大会的会议情况和未来发展趋势。“李国杰院士无形中给了我很大的支持。”其后李国杰院士和清华大学的石纯一教授还邀请王献昌到智能中心、清华大学介绍、交流研究心得。

1994年，王献昌研究的GKD-NMRS非单调推理系统与银河超级计算机系列成果一起，获得了国防科工委科技进步奖一等奖，同时也获得了海内外瞩目。不过，王献昌深知学无止境，从国外交流回来，他更加意识到这一点，在经历一番波折之后，王献昌下定决心出海深造。

“在祖国最需要我的时候回来”

“我真的很幸运，人生每一个关键路口都有组织和相关的人帮我实现梦想。”王献昌说，因研究方向以及复杂的背景，对于当时的他而言，出国学习几乎是一件不可能的事情，但在相关领导的特别支持下，他还是被批准出国了。“做科研的目的就是要了解世界最顶尖的科技成果与科技团队，我那时虽然已经在两年一次顶尖人工智能联合大会上多次发了文章，但还远远不够，国外人工智能顶级刊物还没有能力发表，而且基础理论也必须站在国际最前沿的方向，现在有这个机会必须要抓住。”

1994年，王献昌成为我国唯一一个受日本新一代计算机研究所（ICOT）邀请，作为STA Fellow（研究奖金）进行为期一年研究的高级研究学者，参加日本第五代智能计算机研究计划。这一20世纪80年代轰动全球的基于知识的智能计算机研究计划，在人工智能长达半个多世纪的发展历程中，也占据着举足轻重的地位。

“日本第五代机研究计划实际上目标非常明确，就是要研究出一个相当于分布式的并行推理机器，如果现在去做成就肯定会更好，但当年这个计划影响也非常大，而且真正培养了一代人才。”在参与日本第五代机研究计划的那一年，王献昌也有幸参与了第五代机验证工作。“这几年大家熟知的法院自动化判案、同案类推等智能程序，其实我们在第五代机上都已经做过应用试验了。”王献昌说。

1980年，王献昌进入大学时正是人工智能发展的黄金时期。到20世纪80年代中后期，超过一半的世界500强公司都开始部署各自领域的专家系统。但不久之后，人们就发现人工智能并没有想象中的聪明，机器人行动笨拙、无法正常沟通交流，而专家系统也不能自我学习并更新知识库与算法，维护成本越来越高，人工智能再一次陷入长时间的寒冬。到了20世纪90年代，国内外除了少数科研机构，大部分人对人工智能的态度均讳莫如深。就是在这样的背景下，王献昌顶着压力开始了十余年的海外人工智能研究和应用探索。

“我接触人工智能的时候正是历史上最热的时期，出国时又是最低谷。本来计划出国一年，后来也没想到一去十几年。”王献昌回忆，“但我一直觉得我是在最能够为国服务的时候回来了。”

在人工智能最低潮时期，王献昌顶着压力在海外默默深耕、钻研。这期间，他先后在日本新一代智能计算机研究所、加拿大Alberta大学人工智能实验室工作，与国际人工智能领域最顶级的专家合作，首次创新性提出了一个能够统合当时三类主要非单调推理的基于优先顺序的推理系统，研究成果一次入选国际人工智能联合大会和欧洲人工智能联合会，同时相关成果入选国际顶尖人工智能杂志。之后，他又加入加拿大、美国KRONOS等公司，主要从事人工智能在复杂、实时关键系统中的任务规划、跟踪、多体系互操作方面的基础研究和应用工作。有关人工智能多智能体技术成功应用于美国的COORDINATORS项目、美国军方战场态势评估系统项目，以及加拿大资源卫星任务控制系统等；基于人工智能通用黑板系统（GBB：General BlackBoard System）应用于全球多家航空公司的机组跟踪、监控系统产品Magellan中，解决了涉及航空安全规则下的实时、动态运行预警，监控及自主决策等。

2006年，随着互联网的快速发展，人工智能在大数据的影响下迎来了新一轮生机，各行各业与数字化、智能化结合的趋势开始凸显。感受到祖国深切的召唤，王献昌不顾一切回到了祖国的怀抱。

“在人工智能最低潮的时期我恰恰参与了一个可以解决复杂、实时的智能化航空调度的支撑性核心技术研发项目。正是基于较为成熟的、基于分布式人工智能互操作和通用黑板系统能够服务国家重大需求的目的，2006年我回来了。”王献昌说道。国内大型民用航空的调度运行控制软件几乎全部被国外垄断，国内航空公司购买时动辄过亿，他想打破这种垄断，用自己掌握的技术服务祖国。

然而，虽然拥有核心技术，但在落地过程中仍然面临想象不到的艰难。王献昌见证过航空公司为了转型投入大量人力、物力最终却倒闭的案例，多番调研之后，他毅然决定自己投钱创业，亲身鉴定这条技术应用道路。

2007年，王献昌在成都创立了成都软智科技有限公司，研发高端航空软件。“创业真的太难了，压力太大。”再次回忆那段创业往事时，王献昌不禁发出了感叹。

回国时，王献昌卖了加拿大的房子，用所有的身家来创业。就在这样的情况下，王献昌终于走出了一条国内航空公司自主研发智能化之路——开发出面向变化和实时跟踪的人工智能多agents平台和完成了面向复杂系统互联互通的符合国际大型复杂软件系统建设的CORBA的开发、应用，并首先在复杂、实时和基于规则的民用航空领域的机组运行控制、自动排班、实时跟踪、监控等进行应用验证，目前已经达到市场化阶段并在多家航空公司进行推广。

2010年，王献昌获得中国侨界（创新人才）贡献奖；2015年，基于人工智能的“神鹰系统”荣获2015中国北京国际科技产业博览会“优秀创新项目奖”；他还多次受邀参加国际运筹协会民用航空公司运行控制大会并作报告……

“把一个核心领域的应用做到极致”，王献昌用实际行动践行了当初的诺言。

时代的使命

近几年来，随着国际形势日益紧张，制约我国工业、经济发展的核心关键技术引起了国内外广泛关注与讨论，王献昌创业的初衷也正是在此。

“把一个人工智能的共性核心技术应用做到极致，哪怕最后没有占领市场、获得利益，但至少能保证在这项技术被其他国家禁止出口时，我们自己的技术能顶上，这就已经实现了创业目标。”王献昌说道。

在航空调度领域，王献昌用了10年时间的确将自己的人工智能核心技术在航空调度领域做到了极致，但仅仅一个领域的应用就足够了吗？显然不仅如此。

“一个领域还是太窄，现在国内外人工智能已经发展到各行各业，我们有责任将这种具备共性的核心人工智能技术推广到更有战略需求和挑战的领域，尤其是跨异构无人集群的互操作、集群自主协同能力建设领域。”在好朋友、好伙伴黄大年教授的影响下，在深深意识到这点后，王献昌紧接着又成立了成都凯斯人工智能研究院，根本目标有三个：一是依托有特色的核心人工智能技术孵化相关的智能应用和产业；二是服务军民融合下民用智能技术服务军事需求；三是通过研究院平台服务智能产业链的上下游合作关系。

“我们的重心就是做人工智能互操作和通用决策支持等相关领域的人才培养和应用技术落地的工作，必须踏踏实实地推进技术落地，促进自主集群技术方面的人才培养和应用进步，尤其是智能装备领域，这是我们的使命。”王献昌说。

当前，人工智能正在深刻变革着各行各业的产业结构，为了争夺未来科技与产业制高点，世界各国纷纷将人工智能上升到国家战略，不断布局人工智能与各行各业的结合，加快推进人工智能产业落地。其中，与国家、人民安全密切相关的国防领域更是如此。目前看来，尽管信息化战争还是主导军事领域的战争形态，但智能化战争的帷幕已逐渐拉开。

“人是打不过机器的，国外早已部署天地空海一体化的无人系统集群自主协同研发工作了，我们只能不断加快脚步。”王献昌说道。

为此，2015年开始，王献昌先后与吉林大学、国防科技大学、中国兵器科学研究院、电子科技大学等单位在跨异构无人系统集群互操作、自主协同能力建设方面建立合作关系；以成都凯斯人工智能研究院为依托，与下游机器人产业公司建立应用驱动的产业研究开发合作，重点研究、开发具备环境认知能力、自主规划能力，具备人机、机机智能互动协调能力的面向通用、开放、可扩展的跨异构无人系统集群自主协同核心技术，以占据未来产业创新高地为目标；他还积极参与鲲海研究院的创建工作并推动研究院在全国的战略布局……

如今，在已有人工智能平台成果的基础上，王献昌带领团队将平台扩展并应用于无人系统集群的自主环境认知能力、跨异构无人系统互操作性和自主协同能力等建设，不断加大我国无人集群装备智能化的高度与深度，不断增强我国国防的力量。

“人工智能基础理论、应用技术支撑工作我们已经做了几十年，现在主要的目标就是要落地，要更好地把文章写在祖国大地上，这是我们的使命。”智能化时代的脚步正在加快，而王献昌团队也在紧锣密鼓地准备中。“为了避免陷入被动局面，我们只能快一步，再快一步。”王献昌说。

专家简介　　

王献昌，吉林大学教授、博士生导师，国家侨联特聘专家。先后在北京航空航天大学、日本新一代计算机研究所、加拿大阿尔伯特大学做客座访问和从事博士后研究工作。已主持我国原“863”高科技项目、国家自然科学基金等多项项目。在国际、国内顶尖杂志和会议，如《国际人工智能》季刊、《中国科学》上发表论文30多篇。2006年之后，王献昌先后在加拿大成立凯斯特智能系统公司，在中国成立成都软智科技有限公司和成都凯斯人工智能研究院。近年来，基于其在我国关键任务系统方面长期的学习工作背景，王献昌积极有效地对接国家重大需求，是国际国内知名的人工智能和计算机科学专家。 

来源：科学中国人第1期 2021年 封面人物

王献昌:核心技术为我们赢得未来

王献昌,成都软智科技有限公司(以下称“软智科技”)董事长,一个有着“复杂航空软件系统的奇迹创造者”美誉的人。 

对他来说,回国创业是一个必然事件。 

作为国内比较早期(1991年毕业)培养的人工智能专业博士,王献昌在博士期间就已经崭露头角,曾在国际最高级别的人工智能联合大会上做学术报告,并多次获得大型国际会议的资助和奖励。 

1993年,为了能更进一步地接触国际一流的研究,并扩展研究深度和广度,王献昌决定出国。在这之后的十余年间,他先后在国际一流的研究所、大学,以及工业界开展了深度研究。这些经历,奠定了他将人工智能技术应用于复杂领域的决心,也为其以后的创业积攒了丰富的经验。 

“911”事件是一个转折点,航空业从此进入“寒冬”,王献昌也由此有更多的时间研究如何将人工智能核心技术和基于复杂领域的通讯技术应用于复杂领域的调度指挥问题。 

如果说,出国,是心怀闯世界的梦想,那么,回国,则是怀揣报效祖国的决心。 

王献昌了解到,国外有关人工智能、电子商务和航空软件的应用早在上世纪90年代就已开始,已经比较先进。但到21世纪初,国内大多航空公司的运行控制,而国内自主发展的相关技术仍不成熟。于是,打造我国自主的航空领域智能软件系统,成为驱使王献昌回国创业的重要力量。 

因高安全性、高实时性、高复杂度和高关联性等特点,航空系统软件的开发一直是软件开发领域中最难的课题之一,复杂而昂贵。它需要很强的历史继承性,是一个漫长的思考和积累的过程。 

长期、丰富的海外研究经历中,王献昌一直在积累相关经验。甚至在回国前,他辞职潜心两年研究核心平台建设,做应用性预研。确定回国,也是在“人工智能核心平台搭建的差不多了,应用层面的基本原型测试也没太大问题了”之后。 

2006年,在考察了北上广、深圳、西安、成都等地之后,王献昌决定落地成都。除了创业成本低、人力资源丰富、气候适合生活等因素,“刚好有家航空客户对自动排班系统有兴趣”也为成都加分不少。“航空软件的开发周期比较长,可能要熬过5年没有任何收入的期限,能靠近早期客户对启动创业项目非常重要。因此还是先要沉下来,活下来,以一个客户为样板,一心一意地去做前期的应用开发工作。” 

这一年,成都软智科技有限公司正式成立,旨在提供面向复杂实时应用领域决策支持的解决方案。 

基于对国内市场和自身的了解,王献昌没有盲目攀高,而是将自己的目标市场定位在了中小型航空市场,主打自身产品在解决客户关系问题(如决策支持,自动排班,跟踪)等方面的优势和竞争力。“我们创业的目的首先是服务国内市场,今后要瞄准国际市场。” 

经过近十年的打拼,软智科技已经得到业内广泛认可,现已发展成为民用航空公司、民用机场信息化管理、决策支持、实时监控提供咨询与解决方案的软件技术开发商,拥有自己的拳头产品——神鹰系统(Aquila System)。 

神鹰是一个全自动的管理航班、飞机、机组人员所有业务信息并进行辅助决策的软件系统,覆盖了航空公司从航班生产到航班完成全部过程中的核心业务的信息化处理和决策支持,是航空公司操作控制中心(AOC)的核心。近年来,有关神鹰系统的产品和技术多次在国内相关会议、国际运筹协会航空公司运营联合大会(AGIFORS)上受邀做介绍和宣传。 

王献昌说,是基础核心技术,使神鹰拥有了高效而完整的运行跟踪能力、快速(低成本)适应客户需求的能力;也是这些核心技术,奠定了软智科技当前的核心竞争力;同样,它们也必将为软智科技赢得未来奠定基础。最近,民航总局为保障飞行安全、降低机组飞行疲劳而即将推出新的、更为复杂的运行规则,大多航空公司将面临系统升级或不能继续使用的困境。而对于软智科技来说,在短短一个月内,就在既有的基础上,完成了主要新规的实现和相应功能的提升。 

这个核心技术,就是王献昌在回国前就已经在潜心研究的智能化基础平台,一个是可扩展的人工智能multiagents平台,另一个是复杂系统互联互通的中间件Corba平台。前者是一个知识处理平台,对它的研究旨在在应用中获得更有能力,更智能化的决策支持和大信息融合系统,其在复杂运行控制、决策支持、仿真等领域有广泛应用前景。后者是有关国际标准复杂软件系统互联互通的基础支持平台,它是一个通用的跨平台、跨计算机语言的中间件标准,能够帮助实现复杂系统研发过程中各个个体软件的互联互通,对构建大型复杂分布式系统有着决定性的技术保障支持。 

自成立以来,软智科技一直是基于这两个核心平台开展工作,并开发了新一代的民用航空调度、优化和运行控制系统,即“神鹰”系统。 

基础平台的先进性,决定了以神鹰为代表的软智科技产品在智能化和实时跟踪方面拥有较大优势,具体表现为高度自动化的资源优化技术、自动跟踪技术、有效的管理和控制相结合技术,以及快速地满足客户新业务的需求的能力等等。 

“这几年,我们在应用的代表性产品是面向民航业的机组飞行控制系统,其主要子产品包括机组管理,机组计划,自动排班,机组的智能化跟踪等。当前项目已经基本完成产品化开发,目前的主要市场是面向中小型航空公司的运行需求并处在了市场扩展阶段。大型航空公司的高端市场是我们关注的对象,在时机成熟的时候会介入。”王献昌非常擅长根据市场现状和公司发展情况,及时调整软智科技的市场定位,现阶段,这一定位是“打造一家具有国际竞争力的高端航空行业领先的软件公司,给航空公司用户提供国际先进和有竞争力的运行支持、资源优化的产品。” 

更为值得一提的是,这些核心技术具有广泛的适用性,完全可以应用到其他复杂多变的实时调度、监控领域。王献昌也在计划将基础核心技术的外延产品推广到更多具备复杂、安全、协同合作的,诸如机场,铁路,交通等需要智能调度和实时决策支持的领域。在新兴的复杂应用领域同样具备发展前景,“如需要自主的智能软件领域,比如自主的水下和空中无人系统,智能型机器人等领域,都有着很广阔的应用空间。” 

王献昌乐于分享,软智科技在航空调度软件开发方面的核心技术,就曾在2010年第50届国际民用航空大会、2010年希腊召开的国际民用航空联合大会、2012年德国法兰克福召开的国际民用航空机组管理会议等多个场合与同行交流、分享。他认为“锻造一个产品,是在过去一点点的技术和特色积累中不断成型的,当然也是不断地在应用和国际交流中一步步进步的。” 

而交流的结果,让王献昌更加自信:“在国际开放的竞争交流中,基于人工智能和复杂互联互通技术的民用航空行业调度和优化软件,我们确信在整个亚洲,我们是唯一的一家;在整个世界,我们也获得了行业的认可。” 

王献昌指出,人工智能应用,特别是在复杂实时环境下比如航空领域的应用,是一项长期、持续的投入才能见效的行业。我们国家还面临着人工智能应用不足、理论不强的局面,还存在高端软件培育欠缺等短板问题,他希望国家能够对应用驱动的科技创新给予持续支持,对高端软件的研制制定战略规划,同时在产业应用和市场化方面适时建立有效支撑机制。“建立以应用需求为驱动,以企业为应用创新主体,以研究型大学积累基础研究支持的全面推动的创新体系,这是当前我们国家迫切需要重视的一项工作。”

来源：科学中国人 2015年