在上世纪80年代人工智能概念就已经炒得火热，但是由于软硬件两方面技术的不成熟，使其一直处于沉寂状态。随着大规模并行计算、大数据、深度学习算法和人脑芯片这四大相关技术的进步，以及计算成本的降低，助推人工智能技术突飞猛进。如今，人工智能已经成为这个时代最激动人心、最值得期待的技术，将成为未来10年乃至更长时间内IT产业发展的焦点。

11月13至14日，由OFweek中国高科技行业门户主办，OFweek人工智能网承办的“OFweek2017中国人工智能大会”在深圳隆重举办。香港科技大学计算机科学系教授林方真在大会的AI技术专场作了主题演讲——《智能系统的认知与推理》，主要介绍了人工智能在认知和推理环节的研究成果，讨论如何让人工智能系统获取应用常识、深度知识以及规范知识。

林方真教授一直专注于人工智能在认知和推理方面的研究，现任香港科技大学计算机系教授，是美国人工智能协会（AAAI） Fellow，获得了Stanford大学人工智能博士。曾获2006香港裘槎基金会科研者奖，多个国际人工智能大会的最佳论文奖。

完整的智能体需要全方位的AI技术

首先，林方真教授给大家分享了自己对人工智能的理解。他认为，人工智能主要是研究人的智能行为，就是把人的行为人工化、工程化。从AI的发展史看，其实专家系统可以说是最早的AI技术，它在工业领域产生了较大影响。专家系统是一种基于规则的知识库，最出名的是Mycin，能够帮助诊断疾病。不同领域有不同的专家系统，例如采矿系统、计算机设计系统、银行的贷款和审批系统。其实，80年代财富500强企业中有三分之二已经把专家系统应用在日常的商业活动中。只是现在很少再听到 “专家系统”这个名词。

由工业领域的AI技术，林方真教授引出了人的智能行为这一主题，他认为要想真正达到人工智能，需要一个完整的智能体，这个完整的智能体需要全方位的AI技术。例如大家熟知的家庭服务机器人，一个能独立工作的机器人，必须对人类有认知、有记忆，而且能根据人类的喜好进行推理。因此，认知与推理一直被认为是人工智能最集中的体现。

计算机的定理证明和发现是AI的下一个挑战

“真正有独立性的机器人，一定要有认知，它要知道你知道什么，也要知道你不知道什么。”对此，林方真教授为大家列举了两个关于逻辑和推理方面的实例：第一个是TIMEFUL，专门用来把人的意向系统化，2014年由斯坦福大学Yoav Shoham和另外两个人一起创立，2015年被谷歌收购；另一个系统更逻辑化，完全产生于数学系统，叫做INFER，是关于计算机推理程序的，由英国伦敦专门做逻辑推理的教授开发，2013年被Facebook收购。

最后，林方真教授介绍了自己的团队正在做的认知机器人。他表示：“我们有高层的程序设计语言，专门给机器人做编程，不过是非常模式化的编程，主要设计机器人的动作。此外还有对人的常识进行推理的编程，我们把新程序和JAVA放到数学中，进行分析推理。”

“实际上所有的问题都是数学问题，基本上都可以做定理证明，但是比较难，需要计算机辅助。要做认知和深度推理，就离不开数据逻辑和经典数学，还有计算机的定理证明和发现，这是解决认知和推理的关键技术，是AI的下一个挑战。”林方真教授补充道。

更多详细内容，敬请关注OFweek人工智能网后续专题报道！