一般人很难想象，近几年被炒得沸沸扬扬的顶尖技术——人工智能，其实早在半个多世纪前就已经出现。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）的数学与操作语义等价性问题在当时还没能得到有效解决。
　　1980年，王献昌进入大学时正是人工智能发展的黄金时期。到20世纪80年代中后期，超过一半的世界500强公司都开始部署各自领域的专家系统。但不久之后，人们就发现人工智能并没有想象中的聪明，机器人行动笨拙、无法正常沟通交流，而专家系统也不能自我学习并更新知识库与算法，维护成本越来越高，人工智能再一次陷入长时间的寒冬。到了20世纪90年代，国内外除了少数科研机构，大部分人对人工智能的态度均讳莫如深。就是在这样的背景下，王献昌顶着压力开始了十余年的海外人工智能研究和应用探索。
　　“我接触人工智能的时候正是历史上最热的时期，出国时又是最低谷。本来计划出国一年，后来也没想到一去十几年。”王献昌回忆，“但我一直觉得我是在最能够为国服务的时候回来了。”
　　在人工智能最低潮时期，王献昌顶着压力在海外默默深耕、钻研。这期间，他先后在日本新一代智能计算机研究所、加拿大Alberta大学人工智能实验室工作，与国际人工智能领域最顶级的专家合作，首次创新性提出了一个能够统合当时三类主要非单调推理的基于优先顺序的推理系统，研究成果一次入选国际人工智能联合大会和欧洲人工智能联合会，同时相关成果入选国际顶尖人工智能杂志。之后，他又加入加拿大、美国KRONOS等公司，主要从事人工智能在复杂、实时关键系统中的任务规划、跟踪、多体系互操作方面的基础研究和应用工作。有关人工智能多智能体技术成功应用于美国的COORDINATORS项目、美国军方战场态势评估系统项目，以及加拿大资源卫星任务控制系统等；基于人工智能通用黑板系统（GBB：General BlackBoard System）应用于全球多家航空公司的机组跟踪、监控系统产品Magellan中，解决了涉及航空安全规则下的实时、动态运行预警，监控及自主决策等。
　　2006年，随着互联网的快速发展，人工智能在大数据的影响下迎来了新一轮生机，各行各业与数字化、智能化结合的趋势开始凸显。感受到祖国深切的召唤，王献昌不顾一切回到了祖国的怀抱。 　　“在人工智能最低潮的时期我恰恰参与了一个可以解决复杂、实时的智能化航空调度的支撑性核心技术研发项目。正是基于较为成熟的、基于分布式人工智能互操作和通用黑板系统能够服务国家重大需求的目的，2006年我回来了。”王献昌说道。国内大型民用航空的调度运行控制软件几乎全部被国外垄断，国内航空公司购买时动辄过亿，他想打破这种垄断，用自己掌握的技术服务祖国。
　　然而，虽然拥有核心技術，但在落地过程中仍然面临想象不到的艰难。王献昌见证过航空公司为了转型投入大量人力、物力最终却倒闭的案例，多番调研之后，他毅然决定自己投钱创业，亲身鉴定这条技术应用道路。
　　2007年，王献昌在成都创立了成都软智科技有限公司，研发高端航空软件。“创业真的太难了，压力太大。”再次回忆那段创业往事时，王献昌不禁发出了感叹。
　　回国时，王献昌卖了加拿大的房子，用所有的身家来创业。就在这样的情况下，王献昌终于走出了一条国内航空公司自主研发智能化之路——开发出面向变化和实时跟踪的人工智能多agents平台和完成了面向复杂系统互联互通的符合国际大型复杂软件系统建设的CORBA的开发、应用，并首先在复杂、实时和基于规则的民用航空领域的机组运行控制、自动排班、实时跟踪、监控等进行应用验证，目前已经达到市场化阶段并在多家航空公司进行推广。
　　专家简介
　　王献昌，吉林大学教授、博士生导师，国家侨联特聘专家。先后在北京航空航天大学、日本新一代计算机研究所、加拿大阿尔伯特大学做客座访问和从事博士后研究工作。已主持我国原“863”高科技项目、国家自然科学基金等多项项目。在国际、国内顶尖杂志和会议，如《国际人工智能》季刊、《中国科学》上发表论文30多篇。2006年之后，王献昌先后在加拿大成立凯斯特智能系统公司，在中国成立成都软智科技有限公司和成都凯斯人工智能研究院。近年来，基于其在我国关键任务系统方面长期的学习工作背景，王献昌积极有效地对接国家重大需求，是国际国内知名的人工智能和计算机科学专家。