2026年4月29日，望岳·海外名师论坛第二十期——“Planning and Theory of Mind”主题讲座在中心校区知新楼A1618举行。本次讲座由法国国家科学研究中心、图卢兹大学Andreas Herzig教授主讲，beat365体育官网平台王轶教授主持。

本次讲座围绕社交智能与逻辑推理展开，核心是构建轻量化的知识与信念逻辑框架，用以刻画心智理论推理。Herzig教授指出，社交智能的关键是理解他人目标与信念，而当前大语言模型在修改后的心智理论测试中表现不佳。为此，他提出一套轻量化“认知—信念”逻辑方案：通过限制公式语言，简化行动模型，并结合可靠观察、信念惯性等假设，将逻辑可满足性归约为命题逻辑，规划复杂度大幅降低。该框架可建模感知、沟通等行动，能够支撑 Sally-Anne、Hanabi 等主流心理理论与社交智能任务，但是无法处理“泥孩难题”这类涉及公开宣告的场景。

自由讨论环节，在场师生围绕知识与信念的逻辑系统选择、与时态逻辑的融合等问题展开交流，Herzig教授逐一回应，进一步明确了该框架的假设前提与适用范围，并提及未来方向。

 文：王晨

审核：王轶