2023年10月25日下午，应beat365邀请，华东师范大学软件工程学院陈仪香教授来我校讲学，在博远楼beat365会议室805为我校师生做了主题为“大模型与逻辑”的学术报告。

beat365院长李冱岸主持此次会议，介绍了参会老师并简单讲述了人工智能的大环境、大背景。

陈仪香教授从人工智能发展史的三次高潮引入，讲解了人工智能的诞生与革新。又通过生动的例子讲解了ChatGPT和大模型逻辑与算法的差异，说明了大模型的优点和在未来应用的光明前景。进而，陈仪香教授讲解了人工智能中的基础逻辑，强调了逻辑的演算和推理在人工智能中的重要地位。最后，陈仪香教授对人工智能逻辑提出展望，鼓励学生积极参与研究，并与学生深入交流，回答了学生对大模型的思考与困惑。

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