第一屆智能推理學(xué)術(shù)研討會(huì)圓滿舉辦

        為智能推理相關(guān)科學(xué)技術(shù)的研究和發(fā)展提供學(xué)術(shù)交流平臺，關(guān)注主流和熱點(diǎn)領(lǐng)域研究方向，推進(jìn)成果應(yīng)用，強(qiáng)化學(xué)科交叉，安徽省人工智能學(xué)會(huì)“智能推理專委會(huì)”于2024年7月13日在合肥工業(yè)大學(xué)成功舉辦“第一屆智能推理學(xué)術(shù)研討會(huì)”。

        會(huì)議由安徽省智能推理專委會(huì)主任唐益明教授主持，華東師范大學(xué)的陳儀香教授、國防科技大學(xué)的劉新旺教授、安徽大學(xué)的蘇延森教授、安徽師范大學(xué)的接標(biāo)教授做了學(xué)術(shù)報(bào)告。另外還有來自全國高校科研單位相關(guān)領(lǐng)域的專家和學(xué)生們參加了會(huì)議。

        首先，由唐益明教授致開幕詞。智能推理是人工智能領(lǐng)域的關(guān)鍵領(lǐng)域，是當(dāng)前研究的熱門話題，是推動(dòng)第三代人工智能發(fā)展的核心技術(shù)。

        之后，華東師范大學(xué)的陳儀香教授探討了人工智能領(lǐng)域中面向大語言模型的邏輯推理。報(bào)告回顧人工智能的發(fā)展歷程，并通過典型例子和知名文獻(xiàn)分析大語言模型的邏輯推理，探討大語言模型和邏輯推理融合對人工智能未來發(fā)展趨勢及其潛在影響。

        陳儀香教授主要從事人工智能可信性基礎(chǔ)與工程研究。承擔(dān)“973計(jì)劃”、“863計(jì)劃”、國家基金委等項(xiàng)目10余項(xiàng)，出版專著3部，發(fā)表學(xué)術(shù)論文100余篇?，F(xiàn)任中國人工智能學(xué)會(huì)人工智能邏輯專委會(huì)主任、上海市人工智能學(xué)會(huì)可信智能系統(tǒng)專委會(huì)主任、上海市浦東新區(qū)物聯(lián)網(wǎng)協(xié)會(huì)副會(huì)長。曾獲教育部自然科學(xué)一等獎(jiǎng)、北京市科技進(jìn)步獎(jiǎng)一等獎(jiǎng)、中國計(jì)算機(jī)學(xué)會(huì)科技進(jìn)步獎(jiǎng)二等獎(jiǎng)，以及首屆江蘇省普通高校中青年學(xué)術(shù)骨干、上海市曙光學(xué)者等稱號。

        隨后，國防科技大學(xué)的劉新旺教授針對聚類分析中數(shù)據(jù)特征的多樣性、非完整性及弱可學(xué)習(xí)性等挑戰(zhàn)，介紹課題組在多視圖聚類的融合機(jī)理、非完整多視圖聚類、深度聚類等方面取得了系列性創(chuàng)新成果。包括充分利用不同類型特征來改進(jìn)聚類性能的新理論、面向聚類填充來應(yīng)對非完整多視圖聚類的新方法、從原始數(shù)據(jù)中學(xué)習(xí)特征來最優(yōu)地服務(wù)于聚類的新應(yīng)用等。

        劉新旺教授是國家自然科學(xué)基金杰出青年基金、優(yōu)秀青年基金獲得者。主要研究興趣包括機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘等。近五年以第一或通訊作者在CCF A類頂刊和頂會(huì)上發(fā)表論文80余篇，包括IEEE TPAMI論文10篇，含3篇獨(dú)立作者。ESI高被引論文12篇。谷歌學(xué)術(shù)引用一萬七千余次，入選2022-2023年度全球2%頂尖科學(xué)家榜單。擔(dān)任IEEE TNNLS、IEEE TCYB、Information Fusion等期刊AE及ICML、NeurIPS等頂會(huì)的資深程序委員/領(lǐng)域主席。部分研究成果曾兩次獲得湖南省自然科學(xué)一等獎(jiǎng)（2/6、6/6）。

        安徽大學(xué)的蘇延森教授面向小分子藥物優(yōu)化設(shè)計(jì)問題，介紹了一種新的基于多目標(biāo)優(yōu)化的小分子化合物優(yōu)化設(shè)計(jì)方法。傳統(tǒng)小分子藥物優(yōu)化設(shè)計(jì)基于生物實(shí)驗(yàn)，耗時(shí)耗財(cái)。新方法依靠進(jìn)化計(jì)算技術(shù)，憑借其高效的搜索能力及有效的解集多樣性維持能力，在發(fā)現(xiàn)滿足特定分子約束，具有良好臨床療效、安全可靠的新藥物上有廣闊應(yīng)用前景。

        蘇延森教授是國家優(yōu)青、安徽省高校杰出青年。研究領(lǐng)域?yàn)橹悄苡?jì)算及生物信息學(xué)。擔(dān)任中國電子學(xué)會(huì)生物計(jì)算與生物信息處理專業(yè)委員會(huì)副秘書長、中國計(jì)算機(jī)學(xué)會(huì)生物信息學(xué)專業(yè)委員會(huì)委員。擔(dān)任SCI二區(qū)期刊INSC青年編輯委員會(huì)委員，擔(dān)任第三屆生物醫(yī)學(xué)數(shù)據(jù)挖掘與計(jì)算學(xué)術(shù)會(huì)議程序委員會(huì)主席。近五年，在智能計(jì)算及生物信息等領(lǐng)域主流雜志上發(fā)表SCI檢索論文50余篇，授權(quán)國家專利5件。主持國家重點(diǎn)研發(fā)計(jì)劃項(xiàng)目1項(xiàng)、國家自然科學(xué)基金青年/面上項(xiàng)目2項(xiàng)。

        最后，安徽師范大學(xué)的接標(biāo)教授討論了基于fMRI的動(dòng)態(tài)腦網(wǎng)絡(luò)分析任務(wù)。介紹了團(tuán)隊(duì)在動(dòng)態(tài)腦網(wǎng)絡(luò)分析中一些研究工作，包括動(dòng)態(tài)腦網(wǎng)絡(luò)的構(gòu)建、特征學(xué)習(xí)、腦網(wǎng)絡(luò)的分類等。并將已有的工作推廣，給出對未來研究做一些展望。

        接標(biāo)教授是安徽師范大學(xué)計(jì)算機(jī)與信息學(xué)院副院長，主要從事人工智能、機(jī)器學(xué)習(xí)和醫(yī)學(xué)圖像分析等領(lǐng)域的研究工作。作為負(fù)責(zé)人主持國家自然科學(xué)研究面上項(xiàng)目2項(xiàng)，省部級項(xiàng)目多項(xiàng)，近五年在國際期刊、會(huì)議和國內(nèi)核心期刊上發(fā)表或錄用SCI/EI論文50余篇。部分論文以第一作者發(fā)表在領(lǐng)域內(nèi)重要國際期刊，如《IEEE Trans. Image Processing》、《Human Brain Mapping 》、《IEEE Trans. Biomedical Engineering》等，以及多次在頂級國際會(huì)議（如：MICCAI等）發(fā)表論文。擔(dān)任安徽省人工智能學(xué)會(huì)常務(wù)理事，人工智能學(xué)會(huì)認(rèn)知專委會(huì)委員，中國圖學(xué)學(xué)會(huì)圖學(xué)大數(shù)據(jù)專業(yè)委員會(huì)委員。獲授權(quán)發(fā)明專利4項(xiàng)、省級教學(xué)成果獎(jiǎng)3項(xiàng)（含特等獎(jiǎng)1項(xiàng)）。

        與會(huì)師生就報(bào)告相關(guān)問題進(jìn)行了熱烈討論，本次會(huì)議為智能推理相關(guān)科學(xué)技術(shù)的研究和發(fā)展提供學(xué)術(shù)交流平臺，為學(xué)科交叉和成果討論做了重要貢獻(xiàn)。

        本次會(huì)議也是首屆全國非經(jīng)典邏輯與計(jì)算學(xué)術(shù)會(huì)議的重要分會(huì)場。會(huì)后，唐益明對本次學(xué)術(shù)會(huì)議及智能推理學(xué)術(shù)研討會(huì)進(jìn)行了總結(jié)： 

【笑談邏輯】

工大翡翠新日閑，

合肥湖畔波光現(xiàn)，

航班失而儀復(fù)得，

天宮深處香思仙。

古鎮(zhèn)樓臺新風(fēng)戀，

笑談邏輯旺思辨，

是非經(jīng)典小算盤，

雨后放晴紅滿天。