5月23日，應(yīng)數(shù)學(xué)科學(xué)學(xué)院邀請(qǐng)，華東師范大學(xué)陳儀香教授、陜西師范大學(xué)李永明教授分別來(lái)校作學(xué)術(shù)報(bào)告。報(bào)告會(huì)由數(shù)學(xué)科學(xué)學(xué)院陳文娟教授主持，學(xué)院部分教師、研究生聽(tīng)取報(bào)告。

報(bào)告中，陳儀香教授作了題為《人工智能的可信性》的學(xué)術(shù)報(bào)告，介紹了人工智能的發(fā)展歷程、基于神經(jīng)網(wǎng)絡(luò)的人工智能所面臨的問(wèn)題以及研究團(tuán)隊(duì)在可信人工智能領(lǐng)域取得的研究進(jìn)展。李永明教授作了題為《形式冪級(jí)數(shù)的商（On Quotients of Formal Power Series）》的學(xué)術(shù)報(bào)告，介紹了形式冪級(jí)數(shù)的兩個(gè)商運(yùn)算的定義，以及利用這些運(yùn)算為每個(gè)形式冪級(jí)數(shù)構(gòu)造的兩個(gè)加權(quán)自動(dòng)機(jī)；概述了構(gòu)造通用加權(quán)自動(dòng)機(jī)的有效代數(shù)方法；最后指出了形式冪級(jí)數(shù)中存在的幾個(gè)公開(kāi)問(wèn)題。

期間，與會(huì)師生就人工智能可信性研究中的可解釋性以及完備c-半環(huán)的充要條件等提出相關(guān)問(wèn)題，陳儀香教授和李永明教授分別給予耐心解答。兩位專(zhuān)家的報(bào)告內(nèi)容豐富，深入淺出，前瞻性、啟發(fā)性強(qiáng)，與會(huì)師生普遍感到受益匪淺。

陳儀香教授，華東師范大學(xué)軟件工程學(xué)院教授，1995年獲首屆江蘇省普通高校中青年學(xué)術(shù)骨干稱(chēng)號(hào)? 1999年獲上海市曙光學(xué)者稱(chēng)號(hào)。曾任上海師范大學(xué)科技處處長(zhǎng)、華東師范大學(xué)軟件學(xué)院副院長(zhǎng)、教育部軟硬件協(xié)同設(shè)計(jì)技術(shù)與應(yīng)用工程研究中心主任。從事智能系統(tǒng)的可信基礎(chǔ)研究工作：建立了具有時(shí)空一致性的智能系統(tǒng)規(guī)范語(yǔ)言STeC及其混成時(shí)鐘邏輯系統(tǒng)，設(shè)計(jì)了智能系統(tǒng)的軟硬件優(yōu)化設(shè)計(jì)技術(shù)方法，構(gòu)建了基于多維屬性的軟件可信度量評(píng)估方法和增強(qiáng)規(guī)范，為我國(guó)在該領(lǐng)域處于國(guó)際先進(jìn)水平做出了開(kāi)拓性貢獻(xiàn)。承擔(dān)973、863研究項(xiàng)目、國(guó)家基金委以及國(guó)防基礎(chǔ)重點(diǎn)研究基礎(chǔ)項(xiàng)目10余項(xiàng)。榮獲教育部自然科學(xué)一等獎(jiǎng)1項(xiàng)、北京市科技進(jìn)步獎(jiǎng)一等獎(jiǎng)1項(xiàng)、中國(guó)計(jì)算機(jī)學(xué)會(huì)科技進(jìn)步獎(jiǎng)二等獎(jiǎng)1項(xiàng)、上海市課程思政示范課程1項(xiàng)。出版國(guó)家自然科學(xué)基金研究成果專(zhuān)著1部，國(guó)家科學(xué)技術(shù)出版基金研究成果專(zhuān)著1部，發(fā)表學(xué)術(shù)論文100余篇?，F(xiàn)擔(dān)任中國(guó)系統(tǒng)科學(xué)學(xué)會(huì)模糊系統(tǒng)與模糊數(shù)學(xué)專(zhuān)委會(huì)副主任委員、上海市張江物聯(lián)網(wǎng)協(xié)會(huì)副會(huì)長(zhǎng)、中國(guó)人工智能學(xué)會(huì)人工智能邏輯專(zhuān)委會(huì)（籌）執(zhí)行主任委員。

李永明教授，博士，陜西師范大學(xué)二級(jí)教授，博士生導(dǎo)師。主要研究方向?yàn)榉墙?jīng)典計(jì)算理論、量子計(jì)算與量子信息、格上拓?fù)鋵W(xué)。政府特殊津貼獲得者，教育部高校青年教師獎(jiǎng)獲得者，陜西省三秦人才津貼獲得者。（曾）擔(dān)任國(guó)際IEEE計(jì)算智能模糊系統(tǒng)技術(shù)委員會(huì)委員，中國(guó)系統(tǒng)工程學(xué)會(huì)模糊系統(tǒng)與模糊數(shù)學(xué)委員會(huì)副主任委員，全國(guó)運(yùn)籌學(xué)會(huì)智能計(jì)算學(xué)會(huì)副理事長(zhǎng)，全國(guó)高等師范學(xué)校計(jì)算機(jī)教育委員會(huì)副理事長(zhǎng)，中國(guó)計(jì)算機(jī)學(xué)會(huì)理論計(jì)算機(jī)學(xué)會(huì)理事，陜西省計(jì)算機(jī)學(xué)會(huì)常務(wù)理事，CCF（中國(guó)計(jì)算機(jī)學(xué)會(huì)）西安分部執(zhí)委。曾獲得陜西省科學(xué)技術(shù)獎(jiǎng)，教育部高等學(xué)?？茖W(xué)研究?jī)?yōu)秀成果獎(jiǎng)自然科學(xué)獎(jiǎng)等。

撰稿：吳立軍        編輯：趙華磊        編審：賈海寧