本次报告的主题是《逻辑全知问题的一种解决方案—— 一般觉察逻辑》。报告首先为内容摘要并介绍了本次报告的纲要，报告的第一部分为背景：认知逻辑，简要介绍了认知逻辑的相关背景，为引入“觉察”这个概念的 出现做铺垫。报告第二部分分析了逻辑全知问题的由来，并梳理了历史上的解决方案的讨论；报告第三部分给出了信念逻辑的总要，这是一般觉察逻辑的理论基础； 报告第四部分则给出了一般觉察逻辑的语言、语义、对觉察算子约束、公理化结果，可以看到通过这样一个形式系统较为灵活地解决了逻辑全知问题。报告的最后一 部分是结语。