《现代认知逻辑的理论与应用》内容简介：认知逻辑是将现代逻辑应用于人的认知活动而形成的一个专门逻辑领域，它涉及现代逻辑应用于人工智能研究的许多重要而核心的内容。《现代认知逻辑的理论与应用》是国家社科基金项目“现代逻辑在人工智能中的应用研究”的研究成果，主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑、非单调逻辑和缺省逻辑等。为方便读者理解，《现代认知逻辑的理论与应用》还在附录中介绍了理解认知逻辑所必需的一阶逻辑理论。