为了交流人工智能逻辑领域的最新进展,第二届全国人工智能逻辑大会暨CAAI人工智能逻辑专业委员会学术年会于2026年10月30日至11月2日在安徽合肥举行。本次会议由中国人工智能学会主办,CAAI人工智能逻辑专业委员会、合肥工业大学计算机与信息学院、合肥工业大学人工智能创新学院联合承办。名誉大会主席由陆汝钤院士、谢维信教授和洪日昌副校长担任,大会主席由陈仪香教授和鲍秉坤院长担任,组织主席由张勇教授和唐益明教授担任。共有来自79个不同单位的166位学者前来参会。

10月31日上午,大会开幕式在合肥工业大学翡翠科教楼大报告厅举行。合肥工业大学副校长洪日昌到会致欢迎辞,他代表学校对各位专家学者来校参加学术盛会表示热烈欢迎,并介绍了学校在人工智能领域的学科布局与建设进展,祝愿大会取得圆满成功。北京交通大学的于剑教授代表中国人工智能学会发言。CAAI人工智能逻辑专业委员会主任委员陈仪香教授致答谢辞。开幕式上还举行了教材《人工智能逻辑教程》的首发式。
10月31日上午和11月1日上午,五场大会报告相继举行。北京交通大学的于剑教授、北京航空航天大学的刘祥龙教授、国防科技大学的刘新旺教授、浙江大学的熊明辉教授、华东师范大学的陈仪香教授,分别围绕AI的逻辑预设及其影响、高效世界模型及具身应用、鲁棒图机器学习、司法案件评查的逻辑建模、人工智能逻辑的过去现在与未来作报告,集中展示了人工智能逻辑及其交叉应用领域的最新研究进展。会议现场讨论气氛热烈,与会学者踊跃提问、深入交流。

10月31日下午,大会五个专题论坛集中呈现了人工智能逻辑与相关方向的交叉前沿。智能推理论坛-FCS(Frontiers of Computer Science期刊)专场由安徽省人工智能学会智能推理专委会主任唐益明教授(FCS期刊青年编委)、山东大学余国先教授共同主持,浙江大学高云君教授、东南大学欧阳庭辉教授、中国科学技术大学杨勋教授、陈仁杰教授分别从基础支撑、实际应用等多个层面对智能体的推理能力展开讨论。跨媒体智能论坛由我院郝艳宾教授主持,中国科学技术大学王翔教授、西北工业大学张鼎文教授、华中科技大学张浩教授、中国科学技术大学徐青山教授从多媒体视觉感知的高效表征,讲到具身操作的鲁棒决策,探讨了跨媒体智能的技术路径。可信人工智能论坛由我院杨静、俞奎教授主持,重庆邮电大学夏书银教授、南京理工大学杨杨教授、安徽大学赵姝教授、中南财经政法大学何国良教授、安徽医科大学第二附属医院刘红艳主任医师由方法到安全再到应用层层递进展开讨论。女科学家论坛由谢娟英、张敏教授共同主持,北京交通大学景丽萍教授、合肥工业大学吴乐教授、华东师范大学张敏教授、山西警察学院王文剑教授、陕西师范大学谢娟英教授聚焦机器学习的基础与可靠性问题,展现了女性学者在人工智能基础理论领域的持续深耕。博士生论坛由折延宏教授主持,五位青年学者(康宁、王宗顺、蔡森昊、张力逸、祁振浩)从不确定推理的理论、方法到应用做了汇报。

与专题论坛同期,四组论文报告分论坛同时举行。论文选题从模态逻辑、论辩理论、证据推理等形式化研究,一直延伸到模糊决策、粒球计算、多模态医学影像分析与时序因果发现等方向的应用探索,形成了理论与应用相互呼应的格局。
报告结束后,CAAI人工智能逻辑专业委员会执行长、深圳大学张勇教授主持了本次大会闭幕式。CAAI人工智能逻辑专业委员会主任委员陈仪香教授进行了总结讲话。
(唐益明/文、图 王辉/审核)