西安石油大学举办第五届人工智能逻辑与应用国际会议

热门资讯 2025年08月19日 11:42 1 admin

8月16日至17日，由西安石油大学主办、西安石油大学理学院承办、陕西师范大学与西安邮电大学协办的第五届人工智能逻辑与应用国际会议（AILA 2025）召开。本次会议以“逻辑创新、应用赋能”为主题，主要聚焦人工智能理论的前沿突破与跨领域应用实践，吸引了来自美国、荷兰等国外高校以及国内北京大学、中国科学院大学、华东师范大学、陕西师范大学、山西大学、深圳大学、浙江大学、合肥工业大学等高校以及华院计算技术（上海）股份有限公司等科研院所及企业的80余名专家学者参与研讨。

会议开幕前，西安石油大学党委书记常江亲切会见了与会部分专家，对各位专家的到来表示热烈的欢迎和衷心的感谢，他简要介绍了学校的基本情况及学科特色，并期待各位专家能一如既往支持学校数学、人工智能等相关学科的建设与发展。

会议于8月16日上午在西安石油大学雁塔校区开幕。西安石油大学副校长种宇宏出席开幕式并致欢迎辞。他代表学校对远道而来的国内外与会代表表示热烈欢迎和衷心感谢，并向代表们介绍了西安石油大学在学科建设、科学研究、人才培养、国际交流与合作等方面的发展成就。他希望与会代表能借此平台充分交流思想、深入研讨，激发研究活力，提升科研水平，共同推动人工智能、数学与逻辑学的蓬勃发展。随后，会议程序委员会主席、荷兰莱顿大学Marcello Bonsangue教授发表了开幕式致辞。开幕式由西安石油大学理学院院长折延宏教授主持。

在主旨报告环节，荷兰与佛兰德斯开放大学的Natasha Alechina教授、山西大学周北海教授、德克萨斯大学休斯顿分校张国强教授、陕西师范大学李永明教授、北京大学詹乃军教授分别作了《强化学习的逻辑》《泛型句与隐喻句的形式语义》《集成逻辑：时空推理的统一框架》《可能性时序逻辑：可判定性与完全公理化》《将Hoare逻辑扩展至混合系统》的精彩报告，并与参会代表进行了热烈的讨论。

闭幕式由陕西师范大学数学与统计学院周红军教授主持，会议主席、中国科学院大学数学与系统科学研究院张松懋教授对本次会议进行了总结，会议荣誉主席、深圳大学谢维信教授为本次会议最佳论文以及最佳论文亚军获得者进行了颁奖，会议程序委员会主席、华东师范大学陈仪香教授对本次会议会务组工作人员表达了感谢。

据介绍，本次会议为人工智能、逻辑学与数学等相关领域的专家学者提供了交流合作的平台。承办此次会议也是学校理学院关于进一步加强学术交流、活跃学术氛围的有力举措。下一步，西安石油大学理学院将深入学习贯彻学校学科建设工作调度会精神，以此次会议为契机，进一步凝练学科方向，加强有组织科研工作力度，不断提高科研创新与社会服务能力。（通讯员：王中华王军涛）