11月27日下午,应计算机科学与数学学院的邀请,华东师范大学软件工程学院陈仪香教授在旗山校区教学实验楼C4-203为师生带来一场题为“面向大模型的逻辑推理”的学术讲座,讲座由计算机科学与数学学院院长毛国君教授主持。
讲座通过实际测试验证大模型的逻辑推理能力,展示了人工智能在各领域中的广泛应用。同时,通过与现场师生的互动,共同探讨了如何构建面向大模型的逻辑推理,最后对未来十年人工智能产生式AI(大模型)与生成AI(专家系统)的融合,提高大模型的逻辑推理能力及增强大模型智能性的研究热点进行了展望。
本次讲座吸引了大量师生的关注和参与。许多师生表示通过此次讲座,他们更加深入的了解了人工智能的原理和应用。
讲座会上聘请陈仪香教授为福建理工大学特聘教授,福建理工大学校长童昕、人事处处长张积林、计算机科学与数学学院院长毛国君为陈仪香教授颁发聘书。陈教授在人工智能领域有极其深厚的学术造诣和丰富的教学经验,他的加入将为学校的人工智能教育带来新的活力和发展机遇。
【人物简介】陈仪香,华东师范大学软件工程学院教授,1995年获首届江苏省普通高校中青年学术骨干称号‚ 1999年获上海市曙光学者称号。曾任上海师范大学科技处处长、华东师范大学软件学院副院长、教育部软硬件协同设计技术与应用工程研究中心主任。从事智能系统的可信基础研究工作:建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统,设计了智能系统的软硬件优化设计技术方法,构建了基于多维属性的软件可信度量评估方法和增强规范,为我国在该领域处于国际先进水平做出了开拓性贡献。承担973、863研究项目、国家基金委以及国防基础重点研究基础项目10余项。荣获教育部自然科学一等奖1项(2012))、北京市科技进步奖一等奖1项(2020)、中国计算机学会科技进步奖二等奖1项(2022)、上海市课程思政示范课程1项(2022)。出版国家自然科学基金研究成果专著1部(20),国家科学技术出版基金研究成果专著1部,发表学术论文100余篇。现担任中国系统科学学会模糊系统与模糊数学专委会副主任委员、上海市张江物联网协会副会长。中国人工智能学会人工智能逻辑专委会(筹)执行主任委员。