2025年6月23日，瑞士伯尔尼大学（University of Bern）著名教授Thomas Studer应邀在我院成均苑4幢611报告厅，进行了一场题为“Strategic Knowledge”（战略知识）的学术讲座，深入探讨了认知策略推理的前沿模型及其在博弈与共识问题中的应用。
在讲座中，Studer教授提出了一种精细化的"认知策略推理"模型，该模型能够区分策略的一阶知识、高阶知识及共同知识。他以经典合作游戏《Hanabi》为例，系统阐释了高阶策略知识对博弈行为的影响。此外，Studer教授还指出，公共知识（common knowledge）是解决分布式计算核心挑战——共识问题（consensus problem）——的必要条件。讲座最后进一步分析了该模型的可判定性问题，为相关领域的理论研究提供了新的思路。
Thomas Studer教授现任瑞士伯尔尼大学理论计算机科学研究所教授，是国际公认的逻辑学与计算机科学交叉研究领域的权威学者。他的研究聚焦于模态逻辑、知识表示、多智能体系统等领域，在认知逻辑、证明论等方面取得了多项开创性成果。
此次讲座吸引了众多师生及研究人员参与，不仅为我校师生提供了与国际顶尖学者对话的机会，也为战略知识研究的理论创新与实际应用拓展了视野。
Thomas Studer教授报告现场
报告后Thomas Studer教授与学生讨论
