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

报告内容：

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年提出的信息度量问题。

欢迎广大师生参加！