2024年12月05日上午9:30-11:30，中心开展了2024年秋季学期第五次现代逻辑讨论班活动。中心博士生郑怡在此次讨论班上分享了Ronald Fagin等人的认知逻辑经典著作”Reasoning about knowledge”的部分内容，博士研究生孙晴、韩琳琳、单成、郑怡、彭海琪、潘易欣，硕士研究生何森洋、董振璐参与了这次讨论班。

报告人首先介绍了全书框架及各章的依赖关系，然后通过泥孩难题的例子讲解了认知逻辑的基本模型、语形与语义。随后介绍了引入三个知识算子EG、DG、CG后的认知模型及其公理系统，及其可靠性与完全性的证明。此外，报告人还简要介绍了有效公式的可判定性，以及有效性问题的计算复杂度。我们通过检验是否存在一个算法可以判定输入公式是否有效来判断该公式的可判定性。有效性问题则是确定一个给定的公式φ是否属于在某个结构类上有效的公式集合的问题。确定某个元素是否属于该集合的复杂度通常通过完成这一任务所需的时间和/或空间（内存）的量度来衡量，由于我们考虑的输入是公式，因此，我们关注的是确定一个公式φ是否有效或可满足的计算复杂度。

(郑怡/图文 熊作军/审核 彭子骄/发布)