10月10—13日，由中山大学逻辑与认知研究所主办的第三届逻辑、理性与互动国际研讨会（LORI3）在中山大学文科楼举行。来自中、荷、法、西等10多个国家和地区的50余名专家学者与会。会议主题被划分为博弈、子结构逻辑、义务、偏好与论辩、动态认知逻辑、信念与知识的逻辑等。

　　六位特邀发言人对各自领域中的最新研究进行了发言。其中来自荷兰阿姆斯特丹大学的Johan van Benthem教授在其报告“证据的逻辑动态”中指出，证据是支撑人们信念和知识的基础，要将一个主体的信念进行模型化则需要比可能世界模型语义更为精确的语义。Benthem等人使用“临域模型”来展示这些模型如何支持由外部新信息更新到内部重新整理的“证据管理”的自然行为。这种观点需要包含条件证据和条件信念模态的更丰富的临域语义语言。在这些工作的基础上，他们提出了如何获得证据改变行为的动态逻辑的相对完全性定理。来自印度清奈大学的Ramanujam教授在其“大型博弈中个体与社会规则的相互影响”报告中分析了这样一个问题：参与博弈者的何种行为要受到社会的制约，以及如何制约他们以便将其社会成本最小化。来自中山大学的刘咏梅教授介绍了基于情景演算的知识表示系统对主体的复合动作进行推理的算法及复杂性结果。

　　LORI是当今以逻辑学为核心，多学科交叉的顶级国际会议之一，由中山大学逻辑与认知研究所与阿姆斯特丹大学逻辑、语言与计算研究所于2007年联合发起，每两年举办一届。（出处：中国社会科学报　王萌　沈榆平）

《中国社会科学报》版权所有，转载请注明出处及本网站名。