在上世纪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人工智能网后续专题报道！
（免责声明：本网站内容主要来自原创、合作伙伴供稿和第三方自媒体作者投稿，凡在本网站出现的信息，均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性，但不保证有关资料的准确性及可靠性，读者在使用前请进一步核实，并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏，概不负任何法律责任。
任何单位或个人认为本网站中的网页或链接内容可能涉嫌侵犯其知识产权或存在不实内容时，应及时向本网站提出书面权利通知或不实情况说明，并提供身份证明、权属证明及详细侵权或不实情况证明。本网站在收到上述法律文件后，将会依法尽快联系相关文章源头核实，沟通删除相关内容或断开相关链接。 ）
