應學院邀請，陝西師範大學周紅軍教授将為我院師生作線上學術報告。
報告題目：The law of importation in mathematical fuzzy logic: some progress and further studies
報告摘要：In this talk we will provide first a short overview on the centenary developments of mathematical fuzzy logics. As seen from the overview, mathematical fuzzy logics have gained substantial achievements, but most fuzzy logical systems are established based on the law of residuation (x & y ≤ z if and only if x≤y→ z, LR for short) between fuzzy conjunctions and fuzzy implications. The law of importation (LI, for short) x→(y→ z)=(x &y)→ z, which is much more general than (LR), is a new hot and difficult topic in mathematical fuzzy logics in recent decade. In the second part of this talk we will provide some progress on the solving of the functional equation (LI), where we will elaborate on the Massanet-Torrens’s (N, U)-implication solutions and two types of generator generated implication solutions proposed recently by the speaker. As applications of (LI) in approximate reasoning, we will propose two new kinds of triple I methods based on our generator generated implications and associated t-norms to solve the generalized modus ponens problem in approximate reasoning. Finally, we will outline some further studies on this topic including the algebraic structures of importation algebras which can serve as an algebraic axiomatization of (LI).
報告時間：2021年12月9日下午3:00
報告地點：騰訊會議(會議号:656 929 575)
邀 請 人：喬軍勝 副教授
屆時歡迎廣大師生參與交流！
【報告人簡介】
周紅軍，博士，教授，博士生導師，陝西師範大學77779193永利副院長，畢業于陝西師範大學，美國Vanderbilt大學公派博士後。研究領域為序代數與邏輯、不确定性的數學理論等。目前主持國家自然科學基金面上項目1項。主持完成國家自然科學基金面上項目2項以及國家自然科學基金青年項目、教育部博士點基金新教師類項目、陝西省基礎研究計劃項目與陝西省青年科技新星計劃項目各1項。在《Ann. Pure Appl. Logic》、《Arch. Math. Logic》、《J. Mult.-Valued Logic & Soft Comput.》、《IEEE Trans. Fuzzy Syst.》、《Fuzzy Sets Syst.》、《Intern. J. Approx. Reason.》、《Inform. Sci.》、《中國科學》及《數學學報》等國内外學術期刊上發表論文40餘篇，在科學出版社出版專著2部。入選陝西省中青年科技創新領軍人才和青年科技新星計劃。任模糊數學與模糊系統專委會副秘書長、非經典邏輯與計算專委會副秘書長和陝西師範大學學報(自然科學版)編委。
