2025年6月13日，由中国人工智能学会主办（CAAI），延安大学数学与计算机科学学院承办，CAAI 人工智能逻辑专委会协办的“中国人工智能学会走进延安大学”活动成功举办，来自延安大学的百余名师生参加了活动。本次活动由延安大学副校长吕磊致欢迎词，延安市科学技术协会秘书长刘旸和延安大学科技处处长白宗文出席会议。

CAAI 人工智能逻辑专委会主任、华东师范大学教授陈仪香致辞并做题为“智能系统优化设计”的报告。报告着重介绍了基于人工智能逻辑的智能系统建模方法、基于线性规划的软硬件划分方法、基于软硬件异构芯片的交通标识识别系统优化设计与实现。

陈仪香教授作报告

CAAI 人工智能逻辑专委会副主任、深圳大学教授裴继红做题为“深度卷积神经网络的结构压缩优化方法研究”的报告，报告主要阐述了深度卷积神经网络中的核剪枝、滤波器剪枝，以及剪枝后网络清洗技术等研究成果。

裴继红教授作报告

CAAI 人工智能逻辑专委会副主任、吉林大学教授张永刚做题为“约束推理与智能规划历史与研究进展”的报告。报告系统回顾了约束求解与智能规划发展历程，重点探讨了“学习-推理”融合新范式等。

张永刚教授作报告

CAAI 人工智能逻辑专委会副秘书长、郑州轻工业大学教授陶红伟做题为“基于代码图语义的软件缺陷预测研究”的报告，报告主要探讨了基于程序控制流图、程序依赖图和的抽象语法树的语义特征提取方法及其在软件缺陷预测中应用。

陶红伟教授

延安大学数计学院教授何进荣做题为“跨域小样本高光谱图像分类中的原型对齐方法研究”，报告从原型学习角度，介绍了跨域小样本场景下的高光谱图像分类方法。

何进荣教授作报告

延安大学数计学院副教授牛永洁做题为“非线性层次编辑：一个强大的人脸编辑框架”。报告利用生成对抗网络模型中的非线性编辑路径，引入了一种新颖的分层编辑方法，该方法产生了显著的、解耦的和可交换的编辑结果。

牛永洁副教授作报告

延安大学数计学院老师陈新庄做题为“代数连通度在多智能体系统一致性研究中的应用”。报告介绍了代数连通度在多智能体系统一致性问题研究中的重要作用，总结了优化代数连通度的各种方法，并提出了若干待解决问题。

陈新庄老师作报告

与会人员与7位专家就报告内容、人工智能的基础理论研究和学科交叉融合等话题进行了深入探讨和广泛交流。

本文由CAAI 人工智能逻辑专委会供稿