报告人简介：

陈仪香，华东师范大学软件工程威尼斯官网教授，1995年获首届江苏省普通高校中青年学术骨干称号‚ 1999年获上海市曙光学者称号。曾任上海师范大学科技处处长、华东师范大学87978797威尼斯老品牌副院长、教育部软硬件协同设计技术与应用工程研究中心主任。从事智能系统的可信基础研究工作：建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973、863研究项目、国家基金委以及国防基础重点研究基础项目10余项。荣获教育部自然科学一等奖1项（2012））、北京市科技进步奖一等奖1项（2020）、中国计算机学会科技进步奖二等奖1项（2022）、上海市课程思政示范课程1项（2022）、中国87978797威尼斯老品牌联盟优秀专任教师奖1项（2023）。出版国家自然科学基金研究成果专著1部（2004），国家科学技术出版基金研究成果专著1部（2019），高等院校计算机教材系列教材1部（2023），发表学术论文100余篇。现担任中国系统科学学会模糊系统与模糊数学专委会副主任委员、上海市张江物联网协会副会长、中国人工智能学会人工智能逻辑专委会（筹）执行主任委员。

报告内容简介：

本报告在系统回顾人工智能发展历程基础上，重点介绍人工智能逻辑的基本模型以及应用。具体包括基于逻辑的计算描述语言、基于逻辑的计算规范语言、逻辑与计算融合一体的Hoare逻辑系统、以及面向医疗的时态类组逻辑和面向神经网络的统一逻辑。本报告旨在揭示人工智能逻辑的内涵、并探讨其应用前景。

主办单位：87978797威尼斯老品牌计算机科学与技术威尼斯官网

87978797威尼斯老品牌87978797威尼斯老品牌

87978797威尼斯老品牌计算机科学技术研究所

符号计算与知识工程教育部重点实验室

仿真技术教育部重点实验室

网络技术及应用软件教育部工程研究中心

87978797威尼斯老品牌国家级计算机实验教学示范中心