海韵讲座第82期

一、报告题目：泛逻辑和柔性神经元--人工智能通用基础理论的逻辑支撑

主讲人： 何华灿  西北工业大学

讲座时间： 2019年12月20日 8：30

讲座地点：  海韵园行政楼C610

报告内容摘要：

逻辑学的统一是建立通用人工智能基础理论的必要条件之一，由于传统的标准逻辑不适应于人工智能中广泛存在不确定性推理的需要，一系列的非标准逻辑应运而生，形成了类似于春秋战国时期的混乱局面，如何建立深刻而统一的逻辑理论成为当代人工智能发展在逻辑基础方面的瓶颈。何华灿教授三十多年来一直从事智能科学逻辑基础理论研究，在国际上率先创立了泛逻辑理论体系，本报告将介绍他在命题泛逻辑方面已经获得的研究成果（柔性命题逻辑和柔性神经元），指明人工智能逻辑基础理论的发展方向和关键。具体内容包括：1，建立泛逻辑是历史发展的必然；2，建立泛逻辑的一可行途径；3，泛逻辑的应用实践；4，泛逻辑的未来发展。

主讲人简介：

何华灿，男，1938年1月出生，1960年毕业于西北工业大学计算机专业留校任教至今。现任西北工业大学计算机学院教授、博士生导师（退休），兼任北京邮电大学计算机学院等单位教授、博士生导师职务。曾任中国人工智能学会副理事长和人工智能基础专业委员会主任等职，是第二届世界泛逻辑大会（2007年，西安）的联合主席。现任中国逻辑学会辩证逻辑专委会顾问、《Logica Universalis》国际杂志编委、《智能系统学报》顾问等职。

何华灿教授是我国早期从事计算机科学和人工智能研究的学者，曾主持完成国家自然科学基金3项、省部级基金5项。主持设计过两个型号的航空机载计算机、8个实用专家系统，一直从事计算机、人工智能和专家系统方面的教学科研工作，参与发起成立中国人工智能学会，先后担任常务理事和副理事长多届，发起成立陕西省人工智能学会。他潜心研究数理辩证逻辑20余年，是泛逻辑理论的创始人、统一无穷理论研究的积极倡导者。在《中国科学》、《计算机学报》、《软件学报》和人工智能国际杂志等刊物及国际会议上发表论文160余篇，被SCI、EI索引收录近30篇。出版《人工智能导论》、《泛逻辑学原理》（中/英文版）和《统一无穷理论》等专著9部。

二、报告题目：人工智能基础理论研究的重大突破与重要启迪

主讲人： 钟义信  北京邮电大学

讲座时间： 2019年12月20日 9：35

讲座地点：  海韵园行政楼c610

报告内容摘要：

第一部分：介绍如何深入分析现有人工智能存在问题的根源，站在科学范式变革的高度，重建人工智能的全局模型和研究策略，发现普适性智能生成的机理，重建人工智能的基础概念和基本原理，实现人工智能基础理论研究的重大突破，提出和建立“机制主义通用人工智能（MUAI）基础理论”。

第二部分：简述“机制主义通用人工智能（MUAI）基础理论”研究中收获的重要思想启迪。

主讲人简介：

钟义信，北京邮电大学智能科学技术中心教授，博士生导师，发展中世界工程技术科学院院士。

长期从事信息论、信息科学和人工智能基础理论的研究和教学工作，在上述领域出版了《信息科学原理》、《机器知行学原理》和《高等人工智能原理》等18部学术著作，发表了“全信息理论”、“语义信息论”、“机制主义人工智能理论”和“信息生态方法论”等520多篇学术论文，获得首届“吴文俊人工智能科学技术奖”的成就奖等多项国家级和部委级科技奖励。

曾任北京邮电大学副校长、国家863计划通信主题的首届首席专家、国家863计划信息领域战略研究负责人、中国人工智能学会第4届和第5届理事会理事长、中国科协-联合国信息技术咨商委员会主席、国务院信息化领导小组专家委员会常委、IEEE Transactions on Neural Network副主编、Asia-Pacific Neural network Assembly主席、World Federation of Engineering Organization副主席。

现为International Society for Information Studies2022-2023年度当选主席。