第十届“逻辑、理性与互动”国际会议（LORI-10）10月19日在西安交通大学闭幕。本次会议由西安交通大学主办，吸引了来自中国、荷兰、美国、挪威、日本、澳大利亚等12个国家的50余位专家学者参会，围绕逻辑学、人工智能、计算机科学、博弈论、社会学等交叉领域展开深入交流。

会议为期三天，共设有29场学术报告，包括6场特邀报告、14场常规报告与9场简短报告，并在每场报告结束后展开讨论。会议涵盖了从逻辑推理与人工智能的融合，到社会网络中的信息传播、博弈论模型、认知逻辑、模糊逻辑等多个前沿议题。会议论文集将由Springer于2026年正式出版，收录特邀报告与常规报告，其中14篇常规报告论文从来自世界各地的47篇投稿中严格遴选而出，体现了LORI会议的学术水准与国际影响力。

澳大利亚西澳大学 Tim French 教授关于“理性猜测与理性涌现”的研究，讨论了如何将理性分解为一系列基础组件，从而构建出能够进行推理和学习的系统。

荷兰格罗宁根大学Zoe Christoff 教授深入探讨了社交网络中的群体幻觉现象，并指出由于网络结构偏差，个体可能产生“多数幻觉”，会对集体行动和决策产生重大影响。

法国里昂高师François Schwarzentruber教授报告了“图神经网络的形式化验证”，通过引入截断ReLU与模态逻辑相结合的方法，实现了对GNN行为的可验证性分析。

挪威卑尔根大学Marija Slavkovik教授就“机器道德中的逻辑”，提出将规范推理与价值判断形式化，为AI系统嵌入可解释的道德决策机制提供了逻辑框架。

陕西师范大学周红军教授系统梳理了“数学模糊逻辑”的百年演进，展示了模糊逻辑在推理不确定性、语义代数与智能系统中的应用前景。

荷兰阿姆斯特丹大学Aybüke Özgün教授在线上报告中就想象逻辑的现有框架提出修正，介绍了基于主题敏感性的意向性模态逻辑研究，以构建更符合实际认知机制的想象逻辑形式系统。

除学术报告外，会议期间还举办了“逻辑与人工智能”专题讲座、颁发了由苏天辅基金会赞助的最佳学生论文奖，并组织了西安交通大学校园与博物馆参观活动。

会议闭幕式由西安交通大学丁晓军副教授主持。LORI-10学术委员会联合主席石辰威博士通过线上致辞，向所有与会学者和工作人员表示衷心感谢，并对会议期间展现出的高水平学术交流与跨文化合作给予高度评价。

LORI系列会议常务委员会主席Johan van Benthem教授发表闭幕致辞，高度赞扬本届会议的组织工作，称其在学术策划、现场服务及国际交流等方面均展现出卓越水准，并表示这是自己参与过的最出色的一届LORI会议之一，会议不仅推动了逻辑与理性研究的发展，也为未来的国际合作奠定了坚实基础。

LORI-10不仅是一场高水平的学术盛会，更是一座连接思想、促进合作的桥梁。本次会议的成功举办进一步加强了西安交通大学与国内外逻辑学界的联系，推动了逻辑、理性与互动研究迈向新的高度。