第十届“逻辑、理性与互动”世界会议(LORI-10)10月19日在西安交通大学落幕。本次会议由西安交通大学主办,招引了来自我国、荷兰、美国、挪威、日本、澳大利亚等12个国家的50余位专家学者参会,环绕逻辑学、人工智能、计算机科学、博弈论、社会学等穿插范畴打开深化沟通。
会议为期三天,共设有29场学术陈述,包含6场特邀陈述、14场惯例陈述与9场简略陈述,并在每场陈述完毕后打开评论。会议涵盖了从逻辑推理和AI的交融,到社会网络中的信息传达、博弈论模型、认知逻辑、含糊逻辑等多个前沿议题。会议论文集将由Springer于2026年正式出书,录入特邀陈述与惯例陈述,其间14篇惯例陈述论文从来自世界各地的47篇投稿中严厉遴选而出,表现了LORI会议的学术水准与世界影响力。
澳大利亚西澳大学 Tim French 教授关于“理性猜想与理性出现”的研讨,评论了如何将理性分解为一系列根底组件,然后构建出能够有用的进行推理和学习的体系。
荷兰格罗宁根大学Zoe Christoff 教授深化探讨了交际网络中的集体错觉现象,并指出因为网络结构误差,个别可能会发生“大都错觉”,会对集体行动和决议计划发生严重影响。
法国里昂高师François Schwarzentruber教授陈述了“图神经网络的方式化验证”,经过引进切断ReLU与模态逻辑相结合的办法,完成了对GNN行为的可验证性剖析。
挪威卑尔根大学Marija Slavkovik教授就“机器品德中的逻辑”,提出将标准推理与价值判别方式化,为AI体系嵌入可解释的品德决议计划机制供给了逻辑结构。
陕西师范大学周赤军教授体系梳理了“数学含糊逻辑”的百年演进,展现了含糊逻辑在推理不确定性、语义代数与智能体系中的使用远景。
荷兰阿姆斯特丹大学Aybüke Özgün教授在线上陈述中就幻想逻辑的现有结构提出批改,介绍了根据主题敏感性的意向性模态逻辑研讨,以构建更符合实际认知机制的幻想逻辑方式体系。
除学术陈述外,会议期间还举行了“逻辑和AI”专题讲座、颁发了由苏天辅基金会资助的最佳学生论文奖,并组织了西安交通大学校园与博物馆观赏活动。
会议落幕式由西安交通大学丁晓军副教授掌管。LORI-10学术委员会联合主席石辰威博士经过线上致辞,向一切与会学者和工作人员表明衷心感谢,并对会议期间展现出的高水平学术沟通与跨文化协作给予高度评价。
LORI系列会议常务委员会主席Johan van Benthem教授宣布落幕致辞,高度赞扬本届会议的组织工作,称其在学术策划、现场服务及世界沟通等方面均展现出杰出水准,并表明这是自己参加过的最出色的一届LORI会议之一,会议不只推动了逻辑与理性研讨的开展,也为未来的世界协作奠定了坚实根底。
LORI-10不只是一场高水平的学术盛会,更是一座衔接思维、促进协作的桥梁。本次会议的成功举行逐渐加强了西安交通大学与国表里逻辑学界的联络,推动了逻辑、理性与互动研讨迈向新的高度。

