【韶风名家论坛】信息人工智能理论

报告题目:信息人工智能理论 

报告人:李昂生 北京航空航天大学 教授/博士生导师 国家杰青                

主持人:李哲涛 教授/博士生导师 

报告时间:2020年11月13日(星期五)9:00-11:00  

报告地点:工科楼北楼307会议室

报告内容:

20世纪的公理化数学研究建立了数理逻辑这一推理(逻辑推理)的数学理论、建立了图灵机模型这一电子计算机的数学模型、建立了经典信息论这一通信的数学理论,成就了20世纪科学的辉煌,并引导了21世纪的信息时代。图灵1950年提出“机器会思考吗?”这一问题,并第一次科学地研究了机器的智能问题,开始了人工智能的研究。推理、计算和信息的研究确实有助于人工智能的研究。然而,长期以来信息和计算独立地研究,没能为机器学习和人工智能奠定理论基础。计算机在20世纪的使命是证明了计算机有用,而计算机在21世纪的使命已经转变为无处不用,与此相应的数学应该是一个信息处理的数学理论。经典信息论解决了信息传输的问题,但它没能解决信息处理的问题。此外,信息和计算显然都是学习和智能的关键要素,由于计算与信息的分离,我们没能捕捉到学习和智能的实质。事实上,当前的人工智能实际上是一个以计算为中心的信息处理技术,计算是一个局部的概念,它不能实现人类学习的直觉推理,计算首先需要回答算什么的问题,要人来回答,机器不知道算什么。计算没有抽象、特别地人类所独有的层谱抽象的机理。更为重要的是,计算没有人类智能的创造机制。人类学习的目标是获取知识、揭示规律,并基于知识与规律的创造,这些目标自然是智能机的目标。然而,这些问题都是以计算为中心的任何机器的天然障碍。结构信息论是第一个信息处理的数学理论,它为建立以信息为中心的人工智能理论奠定了基础。我们建立了一个基于观察、联想、想象、层谱抽象、编码、解码、知识树的学习模型,实现了逻辑推理与直觉推理的结合,建立了语法语义一致性的解释准则,建立了学习与机器智能的信息度量、模型、原理、理论与方法,解决了人工智能的可解释性问题,破解了以计算为中心的人工智能技术的障碍。信息人工智能理论已经在广泛的信息处理中成功应用,效果显著。本次报告将介绍这个新理论。

报告人简介:

李昂生,男,1964年3月生,教授、博士生导师。1984年毕业于云南师范大学,分别于1988年和1993年在中科院软件所获硕士、博士学位。1998年1月—1999年1月在英国Leeds大学做访问学者,2000年3月—2002年2月在英国Leeds大学做研究员。2008年9月-2009年3月访问美国Cornell大学Juris Hartmanis教授。1993年7月-2018年7月中国科学院软件研究所助研(1993-1995),副研(1995-1999),研究员(1999-2018)。2018年8月-至今,北京航空航天大学教授。2003年获国家杰出青年科学基金,2008年入选中科院百人计划。2012年应邀访问英国剑桥大学牛顿数学科学研究所做访问研究员。主要研究方向为网络空间的信息与计算理论。他2016年提出的结构熵度量,解决了信息论创始人Shannon和图灵奖获得者Brooks分别于1953年和2003年提出的信息度量问题。

欢迎广大师生参加!

湘潭大学教务处
湘潭大学计算机学院 · 网络空间安全学院
物联网与信息安全湖南省重点实验室
2020年11月9日

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

上一条:【韶风名家论坛】视觉计算中若干关键算法 下一条:【韶风名家论坛】黑洞照亮宇宙

关闭

分享到
相关链接

版权所有 © 湘潭大学. 地址:中国湖南湘潭. 邮编:411105
  (湘ICP备18021862号-2) 湘教QS3-200505-000059
湘公网安备 43030202001058号