3月11日晚，清华逻辑线上研讨课第二讲举行，法国国家科学研究中心(CNRS)研究主任、法国图卢兹信息研究所(IRIT) —逻辑、交互、语言和计算(LiLaC)团队联合负责人埃米利亚诺·洛里尼（Emiliano Lorini）教授发表题为“基于信念的认知逻辑再思考”的报告。

洛里尼引入一种新的关于显性和隐性信念逻辑的语义学。与经典认知逻辑语义学不同，这一语义将可能世界以及信念/认知处理为非原始的，可以从信念基础中得出的概念。洛里尼给出了完全的公理化系统，以及模型检测的结果。该系统可通过信息行为进行动态扩展，包括刻画公开宣告、信念基础扩张和遗忘等行为。此外，在讨论过程中，洛里尼还讲解了信念分级、主体的反省能力等问题。

本次研讨采用了公众号预报名的方式，目的是将讲座内容广泛分享给全国范围内的师生。对逻辑学感兴趣清华校内外师生60余人听讲。研讨会由石辰威博士主持，在热烈的线上讨论中落下帷幕。特殊时期，清华逻辑将继续坚持开办线上研讨会，稳定有序的推进科研工作。

报告内容将会近期在清华学堂在线陆续推出。

洛里尼，法国国家科学研究中心(CNRS)研究主任，法国图卢兹信息研究所(IRIT) — LiLaC(逻辑、交互、语言和计算)团队联合负责人，主要研究领域认知逻辑、认知博弈论、多主体学习等。