欢迎来到淮北师范大学!
您现在的位置:淮北师范大学 >> 学术活动>> 正文内容

华东师范大学陈仪香教授应邀来我校作学术报告

文章来源:计算机科学与技术学院 发布时间:2020年11月20日 点击数: 字体:

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

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

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

(文:郑颖 / 图:吴昕铮 / 审核:王晶)