報告人簡介：
陳儀香，華東師範大學軟件工程學院教授，1995年獲首屆江蘇省普通高校中青年學術骨幹稱号‚ 1999年獲上海市曙光學者稱号。曾任上海師範大學科技處處長、華東師範大學軟件學院副院長、教育部軟硬件協同設計技術與應用工程研究中心主任。從事智能系統的可信基礎研究工作：建立了具有時空一緻性的智能系統規範語言STeC及其混成時鐘邏輯系統，設計了智能系統的軟硬件優化設計技術方法，構建了基于多維屬性的軟件可信度量評估方法和增強規範，為我國在該領域處于國際先進水平做出了開拓性貢獻。承擔973、863研究項目、國家基金委以及國防基礎重點研究基礎項目10餘項。榮獲教育部自然科學一等獎1項（2012））、北京市科技進步獎一等獎1項（2020）、中國計算機學會科技進步獎二等獎1項（2022）、上海市課程思政示範課程1項（2022）、中國軟件學院聯盟優秀專任教師獎1項（2023）。出版國家自然科學基金研究成果專著1部（2004），國家科學技術出版基金研究成果專著1部（2019），高等院校計算機教材系列教材1部（2023），發表學術論文100餘篇。現擔任中國系統科學學會模糊系統與模糊數學專委會副主任委員、上海市張江物聯網協會副會長、中國人工智能學會人工智能邏輯專委會（籌）執行主任委員。
報告内容簡介：
本報告在系統回顧人工智能發展曆程基礎上，重點介紹人工智能邏輯的基本模型以及應用。具體包括基于邏輯的計算描述語言、基于邏輯的計算規範語言、邏輯與計算融合一體的Hoare邏輯系統、以及面向醫療的時态類組邏輯和面向神經網絡的統一邏輯。本報告旨在揭示人工智能邏輯的内涵、并探讨其應用前景。
主辦單位：伟德国际BETVlCTOR
伟德国际BETVlCTOR軟件學院
伟德国际BETVlCTOR計算機科學技術研究所
符号計算與知識工程教育部重點實驗室
仿真技術教育部重點實驗室
網絡技術及應用軟件教育部工程研究中心
伟德国际BETVlCTOR國家級計算機實驗教學示範中心
