第十届“逻辑、理性与互动”国际学术会议在西安交通大学举行
2025年10月16-19日,第十届“逻辑、理性与互动”国际会议(The 10th International Conference on Logic, Rationality and Interaction,简称 LORI-10)在西安交通大学学术交流中心南洋大酒店隆重举行。来自中国、荷兰、美国、挪威、新西兰、瑞典、法国、澳大利亚、日本、丹麦等12个国家的50多位专家学者齐聚一堂,交流逻辑学与计算机科学、人工智能、数学、社会学等领域的交叉前沿研究成果。
在开幕式上,西安交通大学党委副书记王欢致辞代表西安交通大学向与会学者表示热烈欢迎,并指出,人工智能的迅猛发展是逻辑学再次登上历史舞台的契机。阿姆斯特丹大学荣休教授、斯坦福大学讲席教授,荷兰皇家科学院院士、美国艺术与科学院院士、欧洲科学院院士和国际哲学院院士、LORI系列会议常务委员会主席Johan van Benthem(范丙申)教授回顾了LORI会议近20年的发展历程并指出,LORI拥有辉煌的过去,当前的发展态势亦十分出色。国际逻辑、方法论与科学技术哲学联合会主席、斯堪的纳维亚逻辑学会主席、本届会议学术委员会联合主席Valentin Goranko教授介绍了本次会议的情况,强调LORI会议的价值正是在于汇聚计算机科学、语言学与逻辑学等多个领域的学者,共同推进这些领域交叉问题的研究。会议开幕式由第十届“逻辑、理性与互动”国际会议组织委员会主席、西安交通大学人文社会科学学院副院长王伟教授主持。
会议为期3天,设有29场学术报告,包括6场特邀报告、14场常规报告和9场简短报告,在每场报告结束后展开讨论。议题涵盖逻辑、计算机科学、人工智能和博弈论等前沿领域,充分体现国际化、多元化和跨学科的学术格局。会议论文集《Logic, Rationality, and Interaction—10th International Conference on Logic, Rationality and Interaction, LORI 2025, Xi’an, China, October 16-19, 2025, Proceedings》将由国际著名出版社Springer于2026年出版,其中收录了会议的特邀报告和常规报告。作为常规报告的14篇论文是从来自世界各地的47篇投稿中,经两至三名会议学术委员会专家匿名评审遴选的。
除会议报告和讨论交流之外,会议还安排了三项特别活动:一是会议开幕前的“逻辑与人工智能”专题讲座,系列会议常务委员会主席Johan van Benthem教授和常设秘书长、清华大学刘奋荣教授分别做了《逻辑遇见人工智能:经典故事》和《大语言模型的逻辑推理》的讲座,面向全校师生回顾逻辑在人工智能发展中的作用,以及在当前对解决人工智能的自相矛盾和不一致性等问题所取得的最新成果;二是颁发苏天辅基金会赞助的最佳学生论文奖,由学术委员会主席Valentin Goranko教授和西南大学熊作军副教授共同授予获奖证书;三是参观西安交通大学博物馆及校园的文化活动,展现中华优秀传统文化的魅力,以及西安交通大学的校园景致。
会议闭幕式由西安交通大学丁晓军副教授主持。LORI-10学术委员会主席石辰威博士通过线上致辞,他代表委员会向所有与会学者和嘉宾表示衷心感谢,并对会议期间所展现出的高水平学术交流与跨文化合作给予高度评价。LORI国际会议常务委员会主席Johan van Benthem教授对本届会议的组织工作给予高度肯定,称赞其在学术策划、现场服务及国际交流等方面均展现出卓越水准,并表示:“这是我参与过的最出色的一届LORI会议之一,会议不仅推动了逻辑与理性研究的发展,也为未来的国际合作奠定了坚实基础。”
LORI-10不仅是一场学术会议,更是一座连接思想与合作的桥梁。本次会议对加强西安交通大学相关学科与国内外逻辑学界的交流与合作、推动学科交叉与跨领域的研究,以及共同推动逻辑、理性与互动研究迈向新的高度,都具有重要意义。