5月23日，應(yīng)數(shù)學科學學院邀請，華東師范大學陳儀香教授、陜西師范大學李永明教授分別來校作學術(shù)報告。報告會由數(shù)學科學學院陳文娟教授主持，學院部分教師、研究生聽取報告。
報告中，陳儀香教授作了題為《人工智能的可信性》的學術(shù)報告，介紹了人工智能的發(fā)展歷程、基于神經(jīng)網(wǎng)絡(luò)的人工智能所面臨的問題以及研究團隊在可信人工智能領(lǐng)域取得的研究進展。李永明教授作了題為《形式冪級數(shù)的商（On Quotients of Formal Power Series）》的學術(shù)報告，介紹了形式冪級數(shù)的兩個商運算的定義，以及利用這些運算為每個形式冪級數(shù)構(gòu)造的兩個加權(quán)自動機；概述了構(gòu)造通用加權(quán)自動機的有效代數(shù)方法；最后指出了形式冪級數(shù)中存在的幾個公開問題。
期間，與會師生就人工智能可信性研究中的可解釋性以及完備c-半環(huán)的充要條件等提出相關(guān)問題，陳儀香教授和李永明教授分別給予耐心解答。兩位專家的報告內(nèi)容豐富，深入淺出，前瞻性、啟發(fā)性強，與會師生普遍感到受益匪淺。
陳儀香教授，華東師范大學軟件工程學院教授，1995年獲首屆江蘇省普通高校中青年學術(shù)骨干稱號? 1999年獲上海市曙光學者稱號。曾任上海師范大學科技處處長、華東師范大學軟件學院副院長、教育部軟硬件協(xié)同設(shè)計技術(shù)與應(yīng)用工程研究中心主任。從事智能系統(tǒng)的可信基礎(chǔ)研究工作：建立了具有時空一致性的智能系統(tǒng)規(guī)范語言STeC及其混成時鐘邏輯系統(tǒng)，設(shè)計了智能系統(tǒng)的軟硬件優(yōu)化設(shè)計技術(shù)方法，構(gòu)建了基于多維屬性的軟件可信度量評估方法和增強規(guī)范，為我國在該領(lǐng)域處于國際先進水平做出了開拓性貢獻。承擔973、863研究項目、國家基金委以及國防基礎(chǔ)重點研究基礎(chǔ)項目10余項。榮獲教育部自然科學一等獎1項、北京市科技進步獎一等獎1項、中國計算機學會科技進步獎二等獎1項、上海市課程思政示范課程1項。出版國家自然科學基金研究成果專著1部，國家科學技術(shù)出版基金研究成果專著1部，發(fā)表學術(shù)論文100余篇?，F(xiàn)擔任中國系統(tǒng)科學學會模糊系統(tǒng)與模糊數(shù)學專委會副主任委員、上海市張江物聯(lián)網(wǎng)協(xié)會副會長、中國人工智能學會人工智能邏輯專委會（籌）執(zhí)行主任委員。
李永明教授，博士，陜西師范大學二級教授，博士生導師。主要研究方向為非經(jīng)典計算理論、量子計算與量子信息、格上拓撲學。政府特殊津貼獲得者，教育部高校青年教師獎獲得者，陜西省三秦人才津貼獲得者。（曾）擔任國際IEEE計算智能模糊系統(tǒng)技術(shù)委員會委員，中國系統(tǒng)工程學會模糊系統(tǒng)與模糊數(shù)學委員會副主任委員，全國運籌學會智能計算學會副理事長，全國高等師范學校計算機教育委員會副理事長，中國計算機學會理論計算機學會理事，陜西省計算機學會常務(wù)理事，CCF（中國計算機學會）西安分部執(zhí)委。曾獲得陜西省科學技術(shù)獎，教育部高等學?？茖W研究優(yōu)秀成果獎自然科學獎等。
撰稿：吳立軍 編輯：趙華磊 編審：賈海寧
? 1995- University of Jinan魯ICP備09051414號
