订阅
纠错
加入自媒体

林方真教授:智能系统的认知与推理

在上世纪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人工智能网后续专题报道!

声明: 本网站所刊载信息,不代表OFweek观点。刊用本站稿件,务经书面授权。未经授权禁止转载、摘编、复制、翻译及建立镜像,违者将依法追究法律责任。

发表评论

0条评论,0人参与

请输入评论内容...

请输入评论/评论长度6~500个字

您提交的评论过于频繁,请输入验证码继续

暂无评论

暂无评论

人工智能 猎头职位 更多
扫码关注公众号
OFweek人工智能网
获取更多精彩内容
文章纠错
x
*文字标题:
*纠错内容:
联系邮箱:
*验 证 码:

粤公网安备 44030502002758号