報告題目：人工智能邏輯漫談
報告人：陳儀香，華東師范大學可信智能系統(tǒng)實驗室
報告時間：2022年4月27日星期三下午15:00-16:00
報告地點：線下：犀浦校區(qū)3教X30425，線上：騰訊會議687-9096-7253
報告摘要：人工智能經(jīng)過三次高低潮的發(fā)展，已經(jīng)成為人類的“數(shù)字經(jīng)濟”和“智慧社會”的發(fā)展推動力。以機器學習為代表的新人工智能技術推動了人工智能應用領域的拓展。但隨之而來的是，人工智能的決策可解釋性、知識可推性、社會倫理性給人工智能帶來了新的挑戰(zhàn)。經(jīng)典的人工智能邏輯為解決這個挑戰(zhàn)帶來了的希望，也為人工智能邏輯的深入發(fā)展帶來了新機遇。本報告概述人工智能發(fā)展以及人工智能邏輯過去和現(xiàn)在，探討人工智能邏輯的未來。
報告人介紹：陳儀香，華東師范大學軟件工程學院教授。從事智能系統(tǒng)的可信基礎研究工作：建立了具有時空一致性的智能系統(tǒng)規(guī)范語言STeC及其混成時鐘邏輯系統(tǒng)，設計了智能系統(tǒng)的軟硬件優(yōu)化設計技術方法，構建了基于多維屬性的軟件可信度量評估方法和增強規(guī)范，為我國在該領域處于國際先進水平做出了開拓性貢獻。承擔973、863研究項目、國家基金委以及國防基礎重點研究基礎項目10余項。榮獲教育部自然科學一等獎1項、北京市科技進步獎一等獎1項。出版國家自然科學基金研究成果專著1部，國家科學技術出版基金研究成果專著1部?，F(xiàn)擔任中國系統(tǒng)科學學會模糊系統(tǒng)與模糊數(shù)學專委會副主任委員、上海市張江物聯(lián)網(wǎng)協(xié)會副會長、將擔任中國人工智能學會人工智能邏輯專委會執(zhí)行主任委員。
