本次會(huì)議主題包括(但不限于)：邏輯推理與學(xué)習(xí)融合理論與方法研究。旨在為相關(guān)學(xué)者提供一個(gè)學(xué)術(shù)平臺(tái)，交流最新發(fā)展動(dòng)態(tài)及學(xué)術(shù)成果，促進(jìn)邏輯推理與深度學(xué)習(xí)融合理論、神經(jīng)符號(hào)計(jì)算等相關(guān)領(lǐng)域的交叉、融合與發(fā)展，為該領(lǐng)域的老師、學(xué)生提供一個(gè)相互學(xué)習(xí)和交流的場(chǎng)所。會(huì)議安排如下：

系列講座1

時(shí)間：2024年11月9日（星期六）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：一元?ukasiewicz謂詞邏輯對(duì)應(yīng)代數(shù)上的內(nèi)態(tài)研究

講座摘要：In random experiments, the fact that the sets of events has a structure of a Boolean algebra, i.e. it follows the rules of classical logic, is the main hypothesis of classical probability theory. However, as we know, new areas of information science, do not satisfy the Kolmogorov axioms in classical probability theory. There is a strong motivation to introduce more general probability models based on non-classical logics. Thus, the relations between probability theory and non-classical logics have been subject of intense research. With the intent of measuring average truth-value of propositions in ?ukasiewicz logic, the state on MV-algebras, as a function on the MV-algebra taking values in the interval [0,1] with the addition property, was introduced by Mundici, which are generalizations of probability measures on Boolean algebras. In this talk, we first introduce an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs, which are monadic MV-algebras. Then we extend monadic MV-algebras with a state operator that describes algebraic properties of states. The resulting variety of algebras will be called state monadic MV-algebras. Moreover, we establish a natural equivalence between the category of state monadic MV-algebras and the category of state monadic l-groups with strong units. Finally, we introduce and characterize some members in the variety of state monadic MV-algebras, which are subdirectly irreducible, simple, semisimple, local and semilocal, respectively.

主講人簡(jiǎn)介：賀鵬飛，陜西師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院教授，碩士生導(dǎo)師，2015 年博士畢業(yè)于西北大學(xué)，2018年8月‐2019年8月在美國(guó)范德堡大學(xué)跟隨Constantine Tsinakis教授做訪問(wèn)學(xué)者。現(xiàn)擔(dān)任美國(guó)《數(shù)學(xué)評(píng)論》評(píng)論員、中國(guó)邏輯學(xué)會(huì)非經(jīng)典邏輯與計(jì)算專委會(huì)委員、 中國(guó)人工智能學(xué)會(huì)人工智能基礎(chǔ)專委會(huì)委員、中國(guó)人工智能學(xué)會(huì)人工智能邏輯專委會(huì)副秘書(shū)長(zhǎng)。研究方向: 序代數(shù)、邏輯代數(shù)和非經(jīng)典邏輯。 近年來(lái)在《Archive for Mathematical Logic》、《IEEE Transactions on Fuzzy Systems》、《Studia Logica》、《Fuzzy Sets and Systems》、 《The Review of Symbolic Logic》、《Journal of Logic and Computation》、《Journal of Multiple-Valued Logic & Soft Computing》和《Frontiers of Mathematics in China》等國(guó)內(nèi)外期刊發(fā)表論文20余篇。主持在研國(guó)家自然科學(xué)基金面上項(xiàng)目1項(xiàng)，參與在研國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目1項(xiàng)，主持完成國(guó)家自然科學(xué)基金青年項(xiàng)目和陜西省自然科學(xué)基礎(chǔ)研究計(jì)劃項(xiàng)目各1項(xiàng)。2016年獲陜西師范大學(xué)第九屆青年教師教學(xué)基本功大賽理科組一等獎(jiǎng)、2017年第三屆全國(guó)高校數(shù)學(xué)微課程教學(xué)設(shè)計(jì)競(jìng)賽西北賽區(qū)特等獎(jiǎng)、國(guó)家二等獎(jiǎng)，2021年獲陜西省高等教育教學(xué)成果獎(jiǎng)二等獎(jiǎng)（第五完成人），2023年獲陜西高等學(xué)?？茖W(xué)技術(shù)研究?jī)?yōu)秀成果獎(jiǎng)特等獎(jiǎng)（第四完成人），2024年獲陜西高等學(xué)?？茖W(xué)技術(shù)研究?jī)?yōu)秀成果獎(jiǎng)二等獎(jiǎng)（第一完成人）。

系列講座2

時(shí)間：2024年11月10日（星期六）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：Idempotent Uninorms

講座摘要：In this presentation, I compile the characterizations of idempotent uninorms on special bounded lattices, including idempotent uninorms on the unit interval, internal uninorms on a bounded lattice, idempotent uninorms on a bounded chain, idempotent uninorms on a bounded lattice in which all elements are comparable with the corresponding neutral element.

主講人簡(jiǎn)介：蘇勇，蘇州科技大學(xué)數(shù)學(xué)科學(xué)學(xué)院教授，江蘇省“青藍(lán)工程”中青年學(xué)術(shù)帶頭人, 中國(guó)邏輯學(xué)會(huì)理事、中國(guó)邏輯學(xué)會(huì)非經(jīng)典邏輯與計(jì)算專委會(huì)常務(wù)理事,中國(guó)人工智能學(xué)會(huì)人工智能基礎(chǔ)專業(yè)委員會(huì)通訊委員。研究方向：不確定性推理、非經(jīng)典數(shù)理邏輯與信息聚合函數(shù)。在邏輯聯(lián)結(jié)詞及信息聚合領(lǐng)域取得系列進(jìn)展,于Semigroup Forum, IEEE Trans Fuzzy Syst, Fuzzy Sets Syst, Inf Sci, Int J Approx Reason等發(fā)表學(xué)術(shù)論文50余篇。主持國(guó)家及省部級(jí)自然科學(xué)基金項(xiàng)目5項(xiàng)。

系列講座3

時(shí)間：2024年11月9日（星期六）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：聚合算子間的弱支配

講座摘要：聚合算子間的支配在模糊關(guān)系聚合、模糊子群聚合等方面有著廣泛應(yīng)用。弱支配作為支配的一種推廣，在雙半群理論中亦有所討論。本講座聚焦于聚合算子間的弱支配，介紹三角模、三角余模、序加權(quán)平均算子之間弱支配有關(guān)成果，及聚合算子間弱支配與相關(guān)不等式間的聯(lián)系。

主講人簡(jiǎn)介：李鋼，齊魯工業(yè)大學(xué)教授，碩士生導(dǎo)師。近幾年主要從事聚合函數(shù)的理論及應(yīng)用等方面的研究工作。主持國(guó)家自然科學(xué)基金面上項(xiàng)目1項(xiàng)、青年基金1項(xiàng)，山東省自然科學(xué)基金面上項(xiàng)目1項(xiàng)，發(fā)表論文30余篇。

系列講座4

時(shí)間：2024年11月10日（星期日）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：有界格上三角模及其擴(kuò)張算子的研究進(jìn)展

講座摘要：三角模自上世紀(jì)四十年代被提出之后，其理論方面已取得豐碩的研究成果，該算子目前已廣泛應(yīng)用于多值邏輯、決策及智能控制等領(lǐng)域，而且當(dāng)今仍屬學(xué)術(shù)界研究熱點(diǎn)。本報(bào)告擬介紹：有界格上三角模的研究進(jìn)展情況，以及有界格上三角模的系列擴(kuò)張算子，包括一致模、零模及半t-算子等的相關(guān)研究。

主講人簡(jiǎn)介：劉華文，山東大學(xué)kaiyun開(kāi)云官方網(wǎng)站教授、博士生導(dǎo)師。研究方向：不確定性推理、非經(jīng)典數(shù)理邏輯與信息聚合函數(shù)。在邏輯連接詞、推理算法及信息聚合領(lǐng)域取得系列進(jìn)展,于IEEE Trans. Fuzzy Syst., Fuzzy Sets Syst., Inf. Sci., Eur. J. Oper. Res.等發(fā)表學(xué)術(shù)論文140余篇。研究成果曾獲山東省自然科學(xué)二等獎(jiǎng)（首位），主持多項(xiàng)國(guó)家及省部級(jí)自然科學(xué)基金項(xiàng)目。主要學(xué)術(shù)兼職：中國(guó)系統(tǒng)工程學(xué)會(huì)模糊數(shù)學(xué)與模糊系統(tǒng)委員會(huì)常務(wù)理事，中國(guó)邏輯學(xué)會(huì)理事，中國(guó)邏輯學(xué)會(huì)非經(jīng)典邏輯與計(jì)算專委會(huì)副主任委員，中國(guó)人工智能學(xué)會(huì)人工智能邏輯人工智能基礎(chǔ)委員會(huì)委員。曾被聘為“全國(guó)優(yōu)秀博士學(xué)位論文評(píng)選”通訊評(píng)議評(píng)審專家和教育部學(xué)位中心“學(xué)科評(píng)估”專家，曾獲山東大學(xué)優(yōu)秀博士論文指導(dǎo)獎(jiǎng)、山東省及山東大學(xué)優(yōu)秀研究生指導(dǎo)教師。

系列講座5

時(shí)間：2024年11月10日（星期日）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：基于機(jī)器學(xué)習(xí)的多變量預(yù)測(cè)方法研究

講座摘要：多變量預(yù)測(cè)問(wèn)題是一個(gè)被長(zhǎng)期關(guān)注和研究的課題，其在金融股票價(jià)格預(yù)測(cè)、天氣預(yù)測(cè)和交通流量預(yù)測(cè)等方面都得到了廣泛應(yīng)用和研究。然而，大數(shù)據(jù)驅(qū)動(dòng)的預(yù)測(cè)問(wèn)題所呈現(xiàn)的高維、非線性等特點(diǎn)給經(jīng)典預(yù)測(cè)模型帶來(lái)了前所未有的挑戰(zhàn)?；谶@一背景，本報(bào)告主要探討了基于機(jī)器學(xué)習(xí)的多變量預(yù)測(cè)方法的構(gòu)造，主要內(nèi)容包括：多變量預(yù)測(cè)的背景、現(xiàn)狀及發(fā)展、基于三支決策的多變量預(yù)測(cè)方法、基于傳遞熵的多變量預(yù)測(cè)方法、基于可能性理論的多變量預(yù)測(cè)方法及關(guān)于多變量預(yù)測(cè)的幾點(diǎn)思考。

主講人簡(jiǎn)介：詹建明，湖北民族大學(xué)二級(jí)教授，主要研究方向?yàn)榇植诩⒘Ｓ?jì)算、三支決策與機(jī)器學(xué)習(xí)等。現(xiàn)為國(guó)務(wù)院政府特殊津貼專家，湖北省政府專項(xiàng)津貼專家，國(guó)家科學(xué)技術(shù)獎(jiǎng)勵(lì)評(píng)審專家、湖北省新世紀(jì)高層次人才工程第二層次人才和湖北省青年科技獎(jiǎng)獲得者。

詹建明教授現(xiàn)為知名SCI期刊《Information Fusion》和《Information Sciences》等期刊的associate editor（副編輯），近年來(lái)，詹建明教授在國(guó)內(nèi)外著名期刊上發(fā)表相關(guān)學(xué)術(shù)論文200多篇，其中被SCI檢索150篇，12篇為ESI高被引論文和出版專著2部。目前，詹建明教授主持1項(xiàng)在研國(guó)家自然科學(xué)基金項(xiàng)目，已完成4項(xiàng)國(guó)家自然科學(xué)基金項(xiàng)目。2篇論文獲2008年與2020年中國(guó)百篇最有影響國(guó)際學(xué)術(shù)論文。1篇論文獲得2021年國(guó)際模糊系統(tǒng)協(xié)會(huì)（IFSA）最佳期刊論文獎(jiǎng)。以第一署名獲湖北省自然科學(xué)優(yōu)秀論文獎(jiǎng)10余項(xiàng)。獲得中國(guó)自動(dòng)化學(xué)會(huì)二等獎(jiǎng)和陜西省高校優(yōu)秀成果二等獎(jiǎng)。 2014年到2022年，連續(xù)入選中國(guó)高被引學(xué)者（Most Cited Chinese Researchers）榜單。2020-2022連續(xù)入選Clarivate全球高被引學(xué)家。2020-2024連續(xù)入選美國(guó)斯坦福大學(xué)發(fā)布全球前2%頂尖科學(xué)家榜單。

系列講座6

時(shí)間：2024年11月10日（星期日）

地點(diǎn)：犀浦校區(qū)X30423

講座主題：基于連續(xù)基礎(chǔ)算子一致模的研究進(jìn)展

講座摘要：鑒于聚合函數(shù)無(wú)論理論研究還是實(shí)際應(yīng)用中都非常重要，本報(bào)告將首先從數(shù)學(xué)、概率度量空間、專家系統(tǒng)和形式邏輯等背景介紹聚合，然后介紹在基于一致模及其相關(guān)算子的函數(shù)方程方面的幾個(gè)公開(kāi)問(wèn)題，以及研究團(tuán)隊(duì)近年來(lái)取得的研究進(jìn)展。

主講人簡(jiǎn)介：覃鋒，江西師范大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院二級(jí)教授，博士生導(dǎo)師，目前擔(dān)任中國(guó)邏輯學(xué)會(huì)、中國(guó)模糊數(shù)學(xué)與模糊系統(tǒng)專業(yè)委員會(huì)等7個(gè)專業(yè)委員會(huì)常務(wù)理事、理事或委員，國(guó)家自然科學(xué)基金和多個(gè)省市自然科學(xué)基金與自然科學(xué)獎(jiǎng)的通信評(píng)委或會(huì)評(píng)專家。先后入選了江西省“百千萬(wàn)人才工程”、江西省青年科學(xué)家培養(yǎng)對(duì)象（江西省“杰青”）和江西省主要學(xué)科學(xué)術(shù)和技術(shù)帶頭人。主持了包括七項(xiàng)國(guó)家自然科學(xué)基金項(xiàng)目在內(nèi)的二十余項(xiàng)省部級(jí)以上科研項(xiàng)目，參與了一項(xiàng)國(guó)家自然科學(xué)基金重點(diǎn)項(xiàng)目。榮獲了江西省自然科學(xué)獎(jiǎng)三等獎(jiǎng)兩項(xiàng)和江西省高等學(xué)?？萍汲晒?jiǎng)三等獎(jiǎng)一項(xiàng)，發(fā)表了100余篇學(xué)術(shù)論文，在科學(xué)出版社出版了專著1部。