报告题目：大语言模型与逻辑推理

报告人：陈仪香

单位：华东师范大学

报告时间：2024年7月13日(周六)下午14:00-14:45

报告地点：翡翠科教楼A座一楼第五会议室

报告摘要：本报告将探讨人工智能领域中面向大语言模型的逻辑推理。报告首先回顾人工智能的发展历程，特别是大语言模型的兴起和它们在自然语言处理中的应用。通过典型例子和知名文献分析大语言模型的逻辑推理，探讨大语言模型和逻辑推理融合对人工智能未来发展趋势及其潜在影响，以求提高大语言模型的逻辑推理能力，增强大语言模型的智能性。

报告人简介：主要从事人工智能可信性基础与工程研究。承担“973计划”、“863计划”、国家基金委等项目10余项，出版专著3部，发表学术论文100余篇。现任中国人工智能学会⼈⼯智能逻辑专委会主任、上海市人工智能学会可信智能系统专委会主任、上海市浦东新区物联网协会副会长。曾获教育部自然科学一等奖、北京市科技进步奖一等奖、中国计算机学会科技进步奖二等奖，以及首届江苏省普通高校中青年学术骨干、上海市曙光学者等称号。