CCF 理论计算机科学专委会走进高校系列报告

阅读量:104
2020-11-13

CCF 理论计算机科学专委会走进高校系列报告


时间:2020 年 11 月 13 日 

地点:湖南湘潭 湘潭大学工科楼北楼 307 

   

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

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

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

报告时间: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 月 13 日(星期五)11:00-12:00 报告地点:工科楼北楼 307 会议室

报告内容: 介绍包括如何将视频三维梯度用于视频光流计算、如何将图像二维梯度用于图像方向计算和检测奇异点、如何设计单类学习算法和

离群点检测算法用于视频异常检测等。最近的工作提出了多种基于三维梯度的简单快速视频光流计算方法、基于图像方向场行走的奇异 点快速检测方法、面向图像的离群点检测算法等。这些方法在计算效率上、准确度上以及易实现上有明显的优势。

报告人简介:

祝恩,国防科技大学教授,博士生导师。CCF 理论计算机科学专委副主任委员、CCF 人工智能与模式识别专业委员会委员、湖南省

计算机学会常务理事、《计算机科学技术百科全书》(第三版)计算机科学理论分支编委、全国优秀博士学位论文获得者、全军学习成才 先进个人。个人荣立二等功 1 次、三等功 1 次。获湖南省自然科学一等奖 1 项。获湖南省首届优秀研究生导师团队奖。获校优秀研究生 导师奖 2 次。在 TPAMI、TCSVT、Pattern Recognition、NeurIPS、IJCAI、AAAI 等学术期刊和会议上发表学术论文 160 多篇。学术专著 《自动指纹识别技术》获中南地区大学出版社学术专著一等奖和解放军图书奖。2 篇论文获湖南省自然科学一等优秀论文。1 篇论文获湖 南省自然科学二等优秀论文。授权软件著作权 1、发明专利 3 项。指导 2 篇全军优秀硕士学位论文。

欢迎广大师生参加!