报告题目：人工智能逻辑漫谈
报告人：陈仪香，华东师范大学可信智能系统实验室
报告时间：2022年4月27日星期三下午15:00-16:00
报告地点：线下：犀浦校区3教X30425，线上：腾讯会议687-9096-7253
报告摘要：人工智能经过三次高低潮的发展，已经成为人类的“数字经济”和“智慧社会”的发展推动力。以机器学习为代表的新人工智能技术推动了人工智能应用领域的拓展。但随之而来的是，人工智能的决策可解释性、知识可推性、社会伦理性给人工智能带来了新的挑战。经典的人工智能逻辑为解决这个挑战带来了的希望，也为人工智能逻辑的深入发展带来了新机遇。本报告概述人工智能发展以及人工智能逻辑过去和现在，探讨人工智能逻辑的未来。
报告人介绍：陈仪香，华东师范大学软件工程学院教授。从事智能系统的可信基础研究工作：建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973、863研究项目、国家基金委以及国防基础重点研究基础项目10余项。荣获教育部自然科学一等奖1项、北京市科技进步奖一等奖1项。出版国家自然科学基金研究成果专著1部，国家科学技术出版基金研究成果专著1部。现担任中国系统科学学会模糊系统与模糊数学专委会副主任委员、上海市张江物联网协会副会长、将担任中国人工智能学会人工智能逻辑专委会执行主任委员。
