2020年11月18日下午，应学校科学研究部和计算机科学与技术学院邀请，华东师范大学陈仪香教授、博士生导师使用腾讯会议为我院作了题为“人工智能逻辑漫谈”的主题报告，报告由学院院长陈得宝教授主持，学院教师及研究生聆听了报告。

陈仪香教授的报告介绍了与人工智能相关的若干类经典逻辑系统，以及逻辑型程序设计语言，特别介绍基于逻辑的计算机规范语言，如智能系统的时空一致性描述语言STeC，混成时钟逻辑系统，神经网络鲁棒性的逻辑规范验证，探讨逻辑与计算融合一体的Hoare逻辑系统，进一步建立人工智能与逻辑的关系，并对人工智能逻辑的未来提出展望。

?报告会后，陈仪香教授与参会老师进行了深入交流和讨论，营造了学院浓厚的学术氛围。陈教授的报告中蕴藏着丰富的研究课题，拓宽了师生的学术视野，讲座在热烈的掌声中圆满结束。

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?（文：郑颖/? 图：吴昕铮/ 审核： 王晶）