现代认知逻辑的理论与应用

书籍简介:

本书分为八章。第一章介绍认知逻辑的基础理论。第二章时态认知逻辑。首先讨论基本时态逻辑Kt，然后讨论S，U时态逻辑系统，最后采用时态化方法，建立时态认知逻辑系统。第三章群体知识和多主体认知逻辑。本章首先区分出群体知识中分布式知识的两种直观意思——联合知识和群体隐含知识。证明了只有完全交流模型才真正完全地刻画了完全交流原则。最后考虑相对化公共知识，建立了一个包含相对化公共知识和群体隐含知识的公理化系统S5Bm（RC，D，E）。第四章公开宣告逻辑。本章公开宣告逻辑基础上引进群体知识，建立了一个带有群体知识的公开宣告逻辑系统，最后考察了该系统在处理一些知识难题中的初步应用。第五章博弈逻辑。本章在介绍一个带有偏好的博弈逻辑GLP及其扩展的基础上，讨论了公开宣告逻辑在博弈中的一个重要应用。第六章动态信念修正逻辑。本章主要通过对可能世界进行量化建立合理性等级的方法，建立了一个动态的信念逻辑系统SDBR。第七章非逻辑全知主体的逻辑。本章对目前提出的几种典型解决方法进行一个对比性的研究。重点考察了几种不同的避免或削弱逻辑全知的一些常见方法。第八章非单调逻辑和缺省逻辑。本章从分析推理的单调性与非单调性入手，讨论了常识与缺省推理规则，缺省逻辑的语形及语义，缺省逻辑的扩张，有穷扩张特征，以及特殊缺省理论类和任意缺省理论。

书籍规格:

书籍信息归属:

现代认知逻辑的理论与应用是科学出版社于2010.8出版的中图分类号为 B815.3 的主题关于 认知逻辑 的书籍。