8月5日-6日，由中国人工智能学会主办，吉林大学和CAAI人工智能逻辑专委会承办的第三届人工智能逻辑与应用国际会议（AILA 2023）在长春成功举办。本次会议旨在为我国学者提供人工智能领域中关于逻辑与应用的国际学术交流平台。会议涵盖的主题包括但不限于信念逻辑和认知逻辑、描述逻辑和分离逻辑、自动推理和近似推理、粒度计算和软计算以及神经符号集成。本届AILA国际会议在论文投稿数、参会人数以及会议赞助商等方面均创历届新高，会议的影响力和关注度不断攀升。

会议名誉主席陆汝钤院士、深圳大学原校长谢维信教授、吉林大学原计算机系主任刘大有教授和吉林大学计算机学院、软件学院院长杨博教授为大会开幕致辞。陆院士在致辞中表示希望AILA会议能不断扩大影响力，为推动人工智能领域中逻辑与应用的发展做出更大的贡献。

作为AILA2023会议的重磅活动，美国堪萨斯州立大学Pascal Hitzler教授、香港中文大学Jimmy Lee教授、纽约城市大学Neng-Fa Zhou教授、浙江大学廖备水教授和葡萄牙米尼奥大学Luís Soares Barbosa教授等国内外知名学者发表会议的主题报告，与参会的师生开展深入的学术交流。

除主题报告外，本次会议还组织了36篇会议论文的口头报告，来自国内知名高校和研究机构的年轻学者带来和分享了最新的研究成果，并与现场学者进行了交流。

本次会议收到来自全球56篇有效论文投稿，经过委员会综合评审最终接收26篇常规论文和10篇短文，常规论文录用率为46%。所有接收论文即将被Ei检索，同时半数以上的论文将被推荐至《Symmetry》和《Applied Sciences》等SCI收录期刊。

本次会议最终评选出最佳论文奖一篇以及最佳论文提名奖三篇。中国科学院数学与系统科学研究院的费超群等人的论文《Nonlinear Manifold Learning via Graph Curvature》获得AILA2023最佳论文奖。浙江大学陈琛等人的论文《Evidence-Based Argumentation and its Incremental Semantics》、华东师范大学徐晨恺等人的论文《An Abstraction Neural Network Generator for Efficient Formal Verification》，以及深圳大学杨振霆等人的论文《Non-negative Matrix Factorization Method based on Mixed Gaussian Kernels》获得AILA2023最佳论文提名奖。

浪潮信息存储产品部方案总监杨智峰就生成式AI时代的储存方案进行报告。浪潮电子信息产业股份有限公司、北京华清远见教育科技有限公司、吉林海诚科技有限公司等企业参展，实地展示最新科研产品。

会议在闭幕式上公布了下届AILA国际会议举办地为兰州。兰州交通大学伍忠东教授代表AILA2024承办单位积极宣传下届会议，并向全球的学者发出邀请，于明年8月相聚兰州。

伴随着AILA2023的成功举办，大会将进入新的发展周期。相信在未来，全球范围内将有越来越多的人工智能逻辑领域的专家学者关注和参与AILA会议。AILA会议将努力向有知名度和号召力的顶级会议的方向前进，努力推动全球人工智能逻辑领域的发展。

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