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