您好、欢迎来到现金彩票网!
当前位置:刘伯温四肖中特料 > 推理系统 >

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

发布时间:2019-06-16 14:39 来源:未知 编辑:admin

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

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

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

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

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

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

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

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

http://mojdzwonek.com/tuilixitong/251.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有