第一届智能推理学术研讨会圆满举办

        为智能推理相关科学技术的研究和发展提供学术交流平台，关注主流和热点领域研究方向，推进成果应用，强化学科交叉，安徽省人工智能学会“智能推理专委会”于2024年7月13日在合肥工业大学成功举办“第一届智能推理学术研讨会”。

        会议由安徽省智能推理专委会主任唐益明教授主持，华东师范大学的陈仪香教授、国防科技大学的刘新旺教授、安徽大学的苏延森教授、安徽师范大学的接标教授做了学术报告。另外还有来自全国高校科研单位相关领域的专家和学生们参加了会议。

        首先，由唐益明教授致开幕词。智能推理是人工智能领域的关键领域，是当前研究的热门话题，是推动第三代人工智能发展的核心技术。

        之后，华东师范大学的陈仪香教授探讨了人工智能领域中面向大语言模型的逻辑推理。报告回顾人工智能的发展历程，并通过典型例子和知名文献分析大语言模型的逻辑推理，探讨大语言模型和逻辑推理融合对人工智能未来发展趋势及其潜在影响。

        陈仪香教授主要从事人工智能可信性基础与工程研究。承担“973计划”、“863计划”、国家基金委等项目10余项，出版专著3部，发表学术论文100余篇。现任中国人工智能学会人工智能逻辑专委会主任、上海市人工智能学会可信智能系统专委会主任、上海市浦东新区物联网协会副会长。曾获教育部自然科学一等奖、北京市科技进步奖一等奖、中国计算机学会科技进步奖二等奖，以及首届江苏省普通高校中青年学术骨干、上海市曙光学者等称号。

        随后，国防科技大学的刘新旺教授针对聚类分析中数据特征的多样性、非完整性及弱可学习性等挑战，介绍课题组在多视图聚类的融合机理、非完整多视图聚类、深度聚类等方面取得了系列性创新成果。包括充分利用不同类型特征来改进聚类性能的新理论、面向聚类填充来应对非完整多视图聚类的新方法、从原始数据中学习特征来最优地服务于聚类的新应用等。

        刘新旺教授是国家自然科学基金杰出青年基金、优秀青年基金获得者。主要研究兴趣包括机器学习、数据挖掘等。近五年以第一或通讯作者在CCF A类顶刊和顶会上发表论文80余篇，包括IEEE TPAMI论文10篇，含3篇独立作者。ESI高被引论文12篇。谷歌学术引用一万七千余次，入选2022-2023年度全球2%顶尖科学家榜单。担任IEEE TNNLS、IEEE TCYB、Information Fusion等期刊AE及ICML、NeurIPS等顶会的资深程序委员/领域主席。部分研究成果曾两次获得湖南省自然科学一等奖（2/6、6/6）。

        安徽大学的苏延森教授面向小分子药物优化设计问题，介绍了一种新的基于多目标优化的小分子化合物优化设计方法。传统小分子药物优化设计基于生物实验，耗时耗财。新方法依靠进化计算技术，凭借其高效的搜索能力及有效的解集多样性维持能力，在发现满足特定分子约束，具有良好临床疗效、安全可靠的新药物上有广阔应用前景。

        苏延森教授是国家优青、安徽省高校杰出青年。研究领域为智能计算及生物信息学。担任中国电子学会生物计算与生物信息处理专业委员会副秘书长、中国计算机学会生物信息学专业委员会委员。担任SCI二区期刊INSC青年编辑委员会委员，担任第三届生物医学数据挖掘与计算学术会议程序委员会主席。近五年，在智能计算及生物信息等领域主流杂志上发表SCI检索论文50余篇，授权国家专利5件。主持国家重点研发计划项目1项、国家自然科学基金青年/面上项目2项。

        最后，安徽师范大学的接标教授讨论了基于fMRI的动态脑网络分析任务。介绍了团队在动态脑网络分析中一些研究工作，包括动态脑网络的构建、特征学习、脑网络的分类等。并将已有的工作推广，给出对未来研究做一些展望。

        接标教授是安徽师范大学计算机与信息学院副院长，主要从事人工智能、机器学习和医学图像分析等领域的研究工作。作为负责人主持国家自然科学研究面上项目2项，省部级项目多项，近五年在国际期刊、会议和国内核心期刊上发表或录用SCI/EI论文50余篇。部分论文以第一作者发表在领域内重要国际期刊，如《IEEE Trans. Image Processing》、《Human Brain Mapping 》、《IEEE Trans. Biomedical Engineering》等，以及多次在顶级国际会议（如：MICCAI等）发表论文。担任安徽省人工智能学会常务理事，人工智能学会认知专委会委员，中国图学学会图学大数据专业委员会委员。获授权发明专利4项、省级教学成果奖3项（含特等奖1项）。

        与会师生就报告相关问题进行了热烈讨论，本次会议为智能推理相关科学技术的研究和发展提供学术交流平台，为学科交叉和成果讨论做了重要贡献。

        本次会议也是首届全国非经典逻辑与计算学术会议的重要分会场。会后，唐益明对本次学术会议及智能推理学术研讨会进行了总结： 

【笑谈逻辑】

工大翡翠新日闲，

合肥湖畔波光现，

航班失而仪复得，

天宫深处香思仙。

古镇楼台新风恋，

笑谈逻辑旺思辨，

是非经典小算盘，

雨后放晴红满天。