11
2024-07

学术报告通知（编号：2024-28）

报告题目：非结合模糊逻辑与新型神经网络报告人：张小红单位：陕西科技大学报告时间：2024年7月14日(周日)上午11:15-12:00报告地点：翡翠科教楼A座二楼报告厅报告摘要：首先介绍非结合t-模、重叠函数、非结合剩余格等概念，以及本团队在非结合模糊逻辑算子及模糊推理算法方面的研究成果；其次，分析Θ-Ξ函数的特点和局限性，提出OG-函数的新概念，说明它是Θ-Ξ函数、一般重叠函数和一般分组函数的共同推广，给出OG-函数的构造...

11
2024-07

学术报告通知（编号：2024-27）

报告题目：模糊推理的异蕴涵三I方法与五I方法报告人：唐益明单位：合肥工业大学报告时间：2024年7月14日(周日)上午10:30-11:15报告地点：翡翠科教楼A座二楼报告厅报告摘要：模糊推理在模糊控制、人工智能、情感计算、图像处理等领域发挥着重要作用。作为经典CRI方法的改进，王国俊先生的三I方法是最合理的模糊推理方法之一（“I”是Inference或Implication的首字母），在国内外获得了高度的认可。随后，我们将三个相同的蕴涵算...

11
2024-07

学术报告通知（编号：2024-26）

报告题目：On the research progress of mathematical fuzzy logics报告人：周红军单位：陕西师范大学报告时间：2024年7月14日(周日)上午09:30-10:15报告地点：翡翠科教楼A座二楼报告厅报告摘要：In this talk we will provide first an overview on the  centenary developments of mathematical fuzzy logics from several perspectives including three development stages, three research levels, three axiomatic methods...

11
2024-07

学术报告通知（编号：2024-25）

报告题目：三角模研究进展报告人：刘华文单位：山东大学报告时间：2024年7月14日(周日)上午08:45-09:30报告地点：翡翠科教楼A座二楼报告厅报告摘要：三角模自上世纪四十年代被提出之后，其理论方面已取得丰硕的研究成果，该算子目前已广泛应用于多值逻辑、决策及智能控制等领域，而且当今仍属学术界的研究热点。本报告主要介绍几个方面：三角模的提出，三角模的形式化研究，单位实区间上三角模的研究，有界格上三角模的研究，以...

11
2024-07

学术报告通知（编号：2024-24）

报告题目：Logical Representations for Domains报告人：李庆国单位：湖南大学报告时间：2024年7月14日(周日)上午08:00-08:45报告地点：翡翠科教楼A座二楼报告厅报告摘要：This talk investigates the research summarization of logical representations for domains. It is divided into four parts.The first part is an introduction of domain theory, which incorporates the background of domain theory, the fundament...

11
2024-07

学术报告通知（编号：2024-23）

报告题目：低资源下知识图谱推理报告人：李玉玲单位：安徽医科大学报告时间：2024年7月13日(周六)下午15:40-16:25报告地点：翡翠科教楼A座一楼第二会议室报告摘要：随着大数据时代的到来，知识图谱已成为表示和组织知识的重要工具。在许多领域，尤其是医学、法律和科学研究等，获取大量标注数据非常困难且昂贵。因此，在少量样本的情况下进行有效的知识推理具有重要的实际应用价值。基于这一背景，展示了近期的主要研究成果，包...

11
2024-07

学术报告通知（编号：2024-22）

报告题目：健康医疗大数据驱动的临床案例知识发现与动态知识服务方法报告人：顾东晓单位：合肥工业大学报告时间：2024年7月13日(周六)下午14:45-15:30报告地点：翡翠科教楼A座一楼第二会议室报告摘要：我国优质医疗资源分布不均、基层医生经验不足，医疗诊疗缺乏知识工具支撑，国家分级诊疗政策优势难以充分发挥。为了更好落实“健康中国2030”规划纲要，需要实现对医疗健康大数据的深度挖掘和动态主动服务。本汇报简要介绍了医...

11
2024-07

学术报告通知（编号：2024-21）

报告题目：多模态数据挖掘技术及其医学领域应用报告人：杨 飞单位：安徽医科大学报告时间：2024年7月13日(周六)下午14:00-14:45报告地点：翡翠科教楼A座一楼第二会议室报告摘要：多模态数据挖掘技术涉及处理和分析不同类型的数据，例如文本、图像和图结构数据。特别地，随着人工智能技术的快速发展，涌现了很多先进的多模态数据挖掘技术并被广泛应用于推荐系统，知识图谱，计算机视觉等。近年来，多模态数据挖掘技术在医学领域...

11
2024-07

学术报告通知（编号：2024-20）

报告题目：基于机器学习的动态脑网络分析及应用研究报告人：接 标单位：安徽师范大学报告时间：2024年7月13日(周六)下午16:25-17:10报告地点：翡翠科教楼A座一楼第五会议室报告摘要：近年来，随着成像设备的发展和普及，基于fMRI的动态脑网络分析已成为一个研究热点，但由于人类大脑及脑网络复杂性，该研究仍存在诸多问题和挑战。本报告将讨论我们在动态脑网络分析中一些研究工作，包括动态脑网络的构建、特征学习、脑网络的分...

11
2024-07

学术报告通知（编号：2024-19）

报告题目：小分子化合物优化设计报告人：苏延森单位：安徽大学报告时间：2024年7月13日(周六)下午15:40-16:25报告地点：翡翠科教楼A座一楼第五会议室报告摘要：小分子药物优化设计是新药研发的关键环节之一，其面临的任务是探索由所有可能的化学小分子组成的大规模搜索空间。识别具有良好临床疗效、安全性等性质且满足特定约束的分子分子优化是药物发现过程的重要组成部分。传统小分子药物优化设计基于生物实验，耗时耗财，AI技...

11
2024-07

学术报告通知（编号：2024-18）

报告题目：聚类分析的理论方法及应用报告人：刘新旺单位：国防科技大学报告时间：2024年7月13日(周六)下午14:45-15:30报告地点：翡翠科教楼A座一楼第五会议室报告摘要：针对聚类分析中数据特征的多样性、非完整性及弱可学习性等挑战，本次报告将介绍课题组在多视图聚类的融合机理、非完整多视图聚类、深度聚类等方面取得了系列性创新成果：建立了如何充分利用不同类型特征来改进聚类性能的新理论、提出了面向聚类填充来应对非完...

11
2024-07

学术报告通知（编号：2024-17）

报告题目：大语言模型与逻辑推理报告人：陈仪香单位：华东师范大学报告时间：2024年7月13日(周六)下午14:00-14:45报告地点：翡翠科教楼A座一楼第五会议室报告摘要：本报告将探讨人工智能领域中面向大语言模型的逻辑推理。报告首先回顾人工智能的发展历程，特别是大语言模型的兴起和它们在自然语言处理中的应用。通过典型例子和知名文献分析大语言模型的逻辑推理，探讨大语言模型和逻辑推理融合对人工智能未来发展趋势及其潜在影...

11
2024-07

学术报告通知（编号：2024-16）

报告题目：Compactness in Modal Logics with applications报告人：Wu Guohua单位：Nanyang Technological University报告时间：2024年7月13日(周六)上午11:15-12:00报告地点：翡翠科教楼A座二楼报告厅报告摘要：Compactness is a fundamental topological property in analysis, which behaves like a bridge between finiteness and infinity. It also has several applications in discrete mathematics, in proofs, like th...

11
2024-07

学术报告通知（编号：2024-15）

报告题目：谈计算、数理逻辑和程序设计报告人：刘志明单位：西南大学报告时间：2024年7月13日(周六)上午10:30-11:15报告地点：翡翠科教楼A座二楼报告厅报告摘要：讨论数理逻辑，计算理论和程序语言的基本概念和思想，揭示数理逻辑对计算机科学和系统的天然基础性，说明（经典）数理逻辑，计算模型和程序语言的统一性，浅谈深度学习的人工智能与基于演绎逻辑的计算与软件的区别和深度学习的能力范围。报告人简介：刘志明，国家特...

11
2024-07

学术报告通知（编号：2024-14）

报告题目：Inspecting hierarchy collapse in μ-calculus and Borel games报告人：Kazuyuki Tanaka单位：Beijing Institute of Mathematical Science and Applications报告时间：2024年7月13日(周六)上午09:30-10:15报告地点：翡翠科教楼A座二楼报告厅报告摘要：In this talk, I will introduce some of our recent results in interdisciplinary areas of logic, games and computation.First, I would like to talk about co...

11
2024-07

学术报告通知（编号：2024-13）

报告题目：以人为中心的可信视觉智能报告人：高新波单位：重庆邮电大学报告时间：2024年7月13日(周六)上午08:45-09:30报告地点：翡翠科教楼A座二楼报告厅报告摘要：随着人工智能技术的迅猛发展，计算机视觉和场景分析性能得以不断提升，并在许多实际场景中获得广泛应用。然而，由于深度学习的黑箱特性导致了人工智能推理过程的不可解释性，使得当前的场景分析技术和结果存在不确定性，从而限制了相关技术在生命攸关领域的应用。...