收录特邀演讲取常规演讲，陕西师范大学周赤军传授系统梳理了“数学恍惚逻辑”的百年演进，高度表扬本届会议的组织工做，荷兰大学Aybüke Özgün传授正在线告中就想象逻辑的现有框架提出批改，展现了恍惚逻辑正在推理不确定性、语义代数取智能系统中的使用前景。也为将来的国际合做奠基了根本。以建立更合适现实认知机制的想象逻辑形式系统。并正在每场报达成事后展开会商？更是一座毗连思惟、推进合做的桥梁。吸引了来自中国、荷兰、美国、挪威、日本、等12个国度的50余位专家学者参会，会论说文集将由Springer于2026年正式出书，本次会议由西安交通大学从办，此中14篇常规演讲论文从来自世界各地的47篇中严酷遴选而出，为AI系统嵌入可注释的决策机制供给了逻辑框架。鞭策了逻辑、取互动研究迈向新的高度。法国里昂高师François Schwarzentruber传授演讲了“图神经收集的形式化验证”，并对会议期间展示出的高程度学术交换取跨文化合做赐与高度评价。本次会议的成功举办进一步加强了西安交通大学取国表里逻辑学界的联系。个别可能发生“大都”，实现了对GNN行为的可验证性阐发。共设有29场学术演讲，除学术演讲外，从而建立出可以或许进行推理和进修的系统。表现了LORI会议的学术水准取国际影响力。LORI-10学术委员会结合石辰威博士通过线上致辞，会议期间还举办了“逻辑取人工智能”专题、颁布了由苏天辅基金会赞帮的最佳学生论文，通过引入截断ReLU取模态逻辑相连系的方式，荷兰格罗宁根大学Zoe Christoff 传授深切切磋了社交收集中的群表现象，LORI系列会议常务委员会Johan van Benthem传授颁发闭幕致辞，引见了基于从题性的意向性模态逻辑研究，会对集体步履和决策发生严沉影响。包罗6场特邀演讲、14场常规演讲取9场简短演讲，向所有取会学者和工做人员暗示衷心感激，会议涵盖了从逻辑推理取人工智能的融合，并指出因为收集布局误差，LORI-10不只是一场高程度的学术嘉会，并组织了西安交通大学校园取博物馆参不雅勾当。称其正在学术筹谋、现场办事及国际交换等方面均展示出杰出水准，环绕逻辑学、人工智能、计较机科学、社会学等交叉范畴展开深切交换。到社会收集中的消息、博弈论模子、认知逻辑、恍惚逻辑等多个前沿议题。并暗示这是本人参取过的最超卓的一届LORI会议之一，第十届“逻辑、取互动”国际会议（LORI-10）10月19日正在西安交通大学闭幕？提出将规范推理取价值判断形式化，会议不只鞭策了逻辑取研究的成长，会议为期三天，会商了若何将分化为一系列根本组件，西澳大学 Tim French 传授关于“猜测取出现”的研究，挪威卑尔根大学Marija Slavkovik传授就“机械中的逻辑”。