学院新闻
学院新闻
首页  >  学院新闻  >  正文

    第六届聚合函数与非经典逻辑及其智能应用学术研讨会在西南交通大学举行

    2026-10-22  点击:[]

    10月16日至19日,第六届聚合函数与非经典逻辑及其智能应用学术研讨会在成都举行。会议由西南交通大学数学学院承办,来自北京大学、南开大学、武汉大学、西安交通大学、山东大学、四川大学、湖南大学等全国60余所高校及科研院所的210余位专家学者和青年学子参会。与会代表围绕信息聚合、不确定性处理与智能推理等前沿问题交流最新研究进展,探讨数学、逻辑学与人工智能交叉研究的新思路。

    10月17日上午,开幕式在犀浦校区双一流会议中心中力报告厅举行,校党委常委、副校长刘长军,中国工业与应用数学学会副理事长赵桂萍,数学学院党委书记李志辉,会议学术委员会主任、陕西师范大学赵彬分别致辞。中国逻辑学会副会长徐扬等出席开幕式。开幕式由数学学院副院长杨洋主持。

    本次会议共安排12场大会报告,内容涵盖聚合函数与格上结构、模糊蕴涵与一致模、不确定信息处理,以及非经典逻辑与人工智能等研究方向。

    10月17日上午,武汉大学胡宝清教授介绍了重叠函数和群组函数在区间、格与偏序等结构中的推广。陕西科技大学张小红教授与陕西师范大学赵彬教授共同梳理了非经典逻辑在人工智能中的应用,讨论了非经典逻辑在处理不确定、不完全信息方面的支撑作用。西安交通大学孙剑教授围绕生成式人工智能的数学基础与交叉应用,介绍了基于最优传输的可控生成方法及其在医学影像生成、多模态图文对齐和分子结构生成中的应用,阐释了数学与统计学方法对人工智能发展的支撑作用。广西民族大学覃锋教授介绍了保持方向单调性的模糊蕴涵序及其构造,并阐述了利用概率模糊拟序刻画非对称不确定关系的研究。

    10月17日下午,四川师范大学王学平教授讨论了有界伪序集上拟重叠函数与拟群组函数的构造及性质。南京邮电大学张化朋副教授讨论了有界格上具有给定中性元的一类一致模的存在条件。苏州科技大学苏勇教授从拓扑、代数和逻辑等视角分析了格上三角模的结构。西北师范大学乔军胜教授介绍了将重叠函数、群组函数与模糊粗糙集相结合的模型及属性约简方法,展示了聚合函数理论与数据挖掘、机器学习研究之间的联系。

    10月18日上午,山东大学刘华文教授介绍了有界格上三角模的两类序和,以及基于这些序和构造一致模的方法。贵州大学王以松教授结合基因调控网络、多源知识库和程序正确性等方面的案例,介绍了新一代人工智能中的知识表示与推理方法。陕西师范大学周红军教授介绍了模糊蕴涵的k-拟共轭及k-生成蕴涵的分类,讨论了相关研究在近似推理和模糊决策中的应用。西南交通大学何星星副教授以自动定理证明中的前提选择问题为例,介绍了逻辑结构、规则约束与图神经网络相结合的研究进展,探讨了逻辑推理与机器学习协同的方法。

    报告期间,与会师生围绕报告内容踊跃提问、深入交流,分享研究视角与方法。大会报告与现场讨论相结合,为青年师生了解学术前沿、拓展研究思路提供了宝贵机会。

    本次会议促进了数学、逻辑学与计算机科学领域的学术交流,为学校深化数学与人工智能交叉研究、拓展科研合作和培养青年人才搭建了平台。

    下一条:喜报!数学学院首夺挑战杯“揭榜挂帅”擂台赛全国特等奖!

    【关闭】