学术交流
学术交流
首页  >  学术科研  >  学术交流  >  正文

    逻辑推理与学习融合理论与方法研究研讨会

    2024-11-08 新闻中心 点击:[]

    本次会议主题包括(但不限于):逻辑推理与学习融合理论与方法研究。旨在为相关学者提供一个学术平台,交流最新发展动态及学术成果,促进逻辑推理与深度学习融合理论、神经符号计算等相关领域的交叉、融合与发展,为该领域的老师、学生提供一个相互学习和交流的场所。会议安排如下:

    2024年11月9日(周六)犀浦校区X30423

    时间

    报告人

    题目

    15:00~16:00

    贺鹏飞

    一元Łukasiewicz谓词逻辑对应代数上的内态研究

    16:00~17:00

    苏勇

    Idempotent Uninorms

    17:00~18:00

    李刚

    聚合算子间的弱支配

    2024年11月10日(周日)犀浦校区X30423

    时间

    报告人

    题目

    9:00~10:00

    刘华文

    有界格上三角模及其扩张算子的研究进展

    10:00~11:00

    詹建明

    基于机器学习的多变量预测方法研究

    11:00~12:00

    覃锋

    基于连续基础算子一致模的研究进展

    14:00~18:00

    自由研讨


    系列讲座1

    时间:2024年11月9日(星期六)

    地点:犀浦校区X30423

    讲座主题:一元Łukasiewicz谓词逻辑对应代数上的内态研究

    讲座摘要: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.

    主讲人简介:贺鹏飞,陕西师范大学数学与统计学院教授,硕士生导师,2015 年博士毕业于西北大学,2018年8月‐2019年8月在美国范德堡大学跟随Constantine Tsinakis教授做访问学者。现担任美国《数学评论》评论员、中国逻辑学会非经典逻辑与计算专委会委员、 中国人工智能学会人工智能基础专委会委员、中国人工智能学会人工智能逻辑专委会副秘书长。研究方向: 序代数、逻辑代数和非经典逻辑。 近年来在《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》等国内外期刊发表论文20余篇。主持在研国家自然科学基金面上项目1项,参与在研国家自然科学基金重点项目1项,主持完成国家自然科学基金青年项目和陕西省自然科学基础研究计划项目各1项。2016年获陕西师范大学第九届青年教师教学基本功大赛理科组一等奖、2017年第三届全国高校数学微课程教学设计竞赛西北赛区特等奖、国家二等奖,2021年获陕西省高等教育教学成果奖二等奖(第五完成人),2023年获陕西高等学校科学技术研究优秀成果奖特等奖(第四完成人),2024年获陕西高等学校科学技术研究优秀成果奖二等奖(第一完成人)。


    系列讲座2

    时间:2024年11月10日(星期六)

    地点:犀浦校区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.

    主讲人简介:苏勇,苏州科技大学数学科学学院教授,江苏省“青蓝工程”中青年学术带头人, 中国逻辑学会理事、中国逻辑学会非经典逻辑与计算专委会常务理事,中国人工智能学会人工智能基础专业委员会通讯委员。研究方向:不确定性推理、非经典数理逻辑与信息聚合函数。在逻辑联结词及信息聚合领域取得系列进展,于Semigroup Forum, IEEE Trans Fuzzy Syst, Fuzzy Sets Syst, Inf Sci, Int J Approx Reason等发表学术论文50余篇。主持国家及省部级自然科学基金项目5项。


    系列讲座3

    时间:2024年11月9日(星期六)

    地点:犀浦校区X30423

    讲座主题:聚合算子间的弱支配

    讲座摘要:聚合算子间的支配在模糊关系聚合、模糊子群聚合等方面有着广泛应用。弱支配作为支配的一种推广,在双半群理论中亦有所讨论。本讲座聚焦于聚合算子间的弱支配,介绍三角模、三角余模、序加权平均算子之间弱支配有关成果,及聚合算子间弱支配与相关不等式间的联系。

    主讲人简介:李钢,齐鲁工业大学教授,硕士生导师。近几年主要从事聚合函数的理论及应用等方面的研究工作。主持国家自然科学基金面上项目1项、青年基金1项,山东省自然科学基金面上项目1项,发表论文30余篇。


    系列讲座4

    时间:2024年11月10日(星期日)

    地点:犀浦校区X30423

    讲座主题:有界格上三角模及其扩张算子的研究进展

    讲座摘要:三角模自上世纪四十年代被提出之后,其理论方面已取得丰硕的研究成果,该算子目前已广泛应用于多值逻辑、决策及智能控制等领域,而且当今仍属学术界研究热点。本报告拟介绍:有界格上三角模的研究进展情况,以及有界格上三角模的系列扩张算子,包括一致模、零模及半t-算子等的相关研究。

    讲人简介:刘华文,山东大学数学学院教授、博士生导师。研究方向:不确定性推理、非经典数理逻辑与信息聚合函数。在逻辑连接词、推理算法及信息聚合领域取得系列进展,于IEEE Trans. Fuzzy Syst., Fuzzy Sets Syst., Inf. Sci., Eur. J. Oper. Res.等发表学术论文140余篇。研究成果曾获山东省自然科学二等奖(首位),主持多项国家及省部级自然科学基金项目。主要学术兼职:中国系统工程学会模糊数学与模糊系统委员会常务理事,中国逻辑学会理事,中国逻辑学会非经典逻辑与计算专委会副主任委员,中国人工智能学会人工智能逻辑人工智能基础委员会委员。曾被聘为“全国优秀博士学位论文评选”通讯评议评审专家和教育部学位中心“学科评估”专家,曾获山东大学优秀博士论文指导奖、山东省及山东大学优秀研究生指导教师。


    系列讲座5

    时间:2024年11月10日(星期日)

    地点:犀浦校区X30423

    讲座主题:基于机器学习的多变量预测方法研究

    讲座摘要:多变量预测问题是一个被长期关注和研究的课题,其在金融股票价格预测、天气预测和交通流量预测等方面都得到了广泛应用和研究。然而,大数据驱动的预测问题所呈现的高维、非线性等特点给经典预测模型带来了前所未有的挑战。基于这一背景,本报告主要探讨了基于机器学习的多变量预测方法的构造,主要内容包括:多变量预测的背景、现状及发展、基于三支决策的多变量预测方法、基于传递熵的多变量预测方法、基于可能性理论的多变量预测方法及关于多变量预测的几点思考。

    主讲人简介:詹建明,湖北民族大学二级教授,主要研究方向为粗糙集、粒计算、三支决策与机器学习等。现为国务院政府特殊津贴专家,湖北省政府专项津贴专家,国家科学技术奖励评审专家、湖北省新世纪高层次人才工程第二层次人才和湖北省青年科技奖获得者。

    詹建明教授现为知名SCI期刊《Information Fusion》和《Information Sciences》等期刊的associate editor(副编辑),近年来,詹建明教授在国内外著名期刊上发表相关学术论文200多篇,其中被SCI检索150篇,12篇为ESI高被引论文和出版专著2部。目前,詹建明教授主持1项在研国家自然科学基金项目,已完成4项国家自然科学基金项目。2篇论文获2008年与2020年中国百篇最有影响国际学术论文。1篇论文获得2021年国际模糊系统协会(IFSA)最佳期刊论文奖。以第一署名获湖北省自然科学优秀论文奖10余项。获得中国自动化学会二等奖和陕西省高校优秀成果二等奖。 2014年到2022年,连续入选中国高被引学者(Most Cited Chinese Researchers)榜单。2020-2022连续入选Clarivate全球高被引学家。2020-2024连续入选美国斯坦福大学发布全球前2%顶尖科学家榜单。


    系列讲座6

    时间:2024年11月10日(星期日)

    地点:犀浦校区X30423

    讲座主题:基于连续基础算子一致模的研究进展

    讲座摘要:鉴于聚合函数无论理论研究还是实际应用中都非常重要,本报告将首先从数学、概率度量空间、专家系统和形式逻辑等背景介绍聚合,然后介绍在基于一致模及其相关算子的函数方程方面的几个公开问题,以及研究团队近年来取得的研究进展。

    主讲人简介:覃锋,江西师范大学数学与统计学院二级教授,博士生导师,目前担任中国逻辑学会、中国模糊数学与模糊系统专业委员会等7个专业委员会常务理事、理事或委员,国家自然科学基金和多个省市自然科学基金与自然科学奖的通信评委或会评专家。先后入选了江西省“百千万人才工程”、江西省青年科学家培养对象(江西省“杰青”)和江西省主要学科学术和技术带头人。主持了包括七项国家自然科学基金项目在内的二十余项省部级以上科研项目,参与了一项国家自然科学基金重点项目。荣获了江西省自然科学奖三等奖两项和江西省高等学校科技成果奖三等奖一项,发表了100余篇学术论文,在科学出版社出版了专著1部。

    上一条:【学术讲座】Analytic Continuation of One-Loop String Amplitudes and its Evaluations
    下一条:【学术讲座】旋转对称弹性函数的构造及其性质

    关闭