2025年8月16日至17日，第五届人工智能逻辑与应用国际会议（AILA 2025）在西安石油大学雁塔校区成功举办。本次会议由西安石油大学主办，陕西师范大学与西安邮电大学协办。会议以“逻辑创新、应用赋能”为主题，聚焦人工智能理论的前沿突破与跨领域应用实践。我院副院长彭小利博士参加了本次会议，并成功当选为人工智能逻辑专委会通讯委员。

本次会议有来自美国、荷兰等国外高校以及国内北京大学、中国科学院大学、华东师范大学、陕西师范大学、山西大学、深圳大学、浙江大学、合肥工业大学等高校以及华院计算技术（上海）股份有限公司等科研院所及企业的80余名专家学者参与了研讨。

在学术交流环节，荷兰与佛兰德斯开放大学的Natasha Alechina教授、山西大学周北海教授、德克萨斯大学休斯顿分校张国强教授、陕西师范大学李永明教授、北京大学詹乃军教授分别作了《强化学习的逻辑》《泛型句与隐喻句的形式语义》《集成逻辑：时空推理的统一框架》等主题报告。

闭幕式上，会议主席、中科院大学张松懋教授对会议进行了总结，会议荣誉主席、深圳大学谢维信教授为最佳论文以及最佳论文亚军获得者进行了颁奖。

撰稿：彭小利

初审：梁弼

终审：杨成福