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餘篇。