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

前言1 认知逻辑的基础理论1.1 基本的模态逻辑系统1.1.1 基本模态语言1.1.2 基本模态语言的解释——框架与模型1.1.3 正规模态逻辑1.2 单主体的认知模态逻辑PK与PB1.2.1 单主体的认知模态语言1.2.2 认知逻辑系统PK和PB1.2.3 PK与PB系统的可靠性和完全性1.3 多主体的认知逻辑初步1.3.1 由单主体系统向多主体系统的扩展1.3.2 普遍知识、公共知识与分布式知识1.3.3 举例——泥孩难题2 时态认知逻辑2.1 时态逻辑2.1.1 基本时态命题逻辑2.1.2 s，u时态命题逻辑系统2.2 时态化逻辑系统的方法2.2.1 时态化任意一个正规逻辑系统2.2.2 T（L）的完全性2.2.3 T（T）的可判定性2.3 时态认知逻辑系统Kt（S5）3 群体知识和多主体认知逻辑3.1 多主体认知逻辑概述3.2 分布式知识3.2.1 分布式知识概念的提出3.2.2 联合知识与隐含知识——分布式知识的形式化分析3.2.3 完全交流原则与完全交流模型3.2.4 互模拟和群体知识3.3 带有群体知识的多主体认知逻辑SSBM（RC，D，E）3.3.1 相对化公共知识3.3.2 语言和语义3.3.3 公理系统3.3.4 完全性证明4 动态认知逻辑的基础系统——公开宣告逻辑4.1 公开宣告与逻辑模型4.1.1 从过程看推理4.1.2 公开宣告和信息流动4.1.3 公开宣告和模型变化4.2 公开宣告逻辑PAL4.2.1 语言和语义4.2.2 公理系统4.2.3 完全性证明4.2.4 关于公开宣告逻辑PAL4.3 带有群体知识的公开宣告逻辑PAL（RC，D，E）4.3.1 语言和语义4.3.2 公理系统4.3.3 完全性证明4.4 应用分析4.4.1 泥孩难题再分析4.4.2 和积之谜4.4.3 意外考试难题5 博弈逻辑5.1 逻辑与博弈5.1.1 博弈论的基本概念5.1.2 逻辑与博弈的关系5.2 带有偏好的博弈逻辑5.2.1 形式定义5.2.2 语形与语义5.2.3 公理系统及其可靠性5.3 扩展式博弈逻辑5.3.1 具有完美信息的扩展式博弈5.3.2 扩展式博弈逻辑系统5.3.3 纳什均衡的PDL刻画5.4 公开宣告逻辑在博弈中的应用5.4.1 重复剔除的占优均衡5.4.2 重复剔除严格劣策略算法的逻辑刻画6 信念修正的动态逻辑6.1 经典的信念逻辑6.1.1 信念逻辑系统SSBR6.1.2 信念修正的AGM理论6.2 静态的信念修正逻辑系统SSBR6.2.1 顺序条件函数6.2.2 系统SSBR的语言及语义6.2.3 系统SSBR的证明系统6.2.4 SSBR系统的可靠性和完全性6.3 动态的信念修正逻辑系统SSBR6.3.1 更新模型6.3.2 SSBR的系统6.3.3.sDBR系统完全性的证明6.3.4 与AGM理论作比较7 非逻辑全知主体的逻辑7.1 逻辑全知问题概述7.1.1 逻辑全知的不同表现形式7.1.2 逻辑全知问题的解决途径7.2 非标准语义结构7.3 不可能世界模型7.3.1 不可能世界7.3.2 Levesque的隐性和显性信念逻辑7.4 觉知逻辑7.5 Montague-Scott邻域语义7.5.1 Montague-Scott语义模型7.5.2 局部推理模型7.6 动态认知的方法8 非单调逻辑和缺省逻辑8.1 知识与常识8.2 推理的单调性与非单调性8.3 非单调逻辑8.3.1 非单调逻辑及其研究方法8.3.2 非单调逻辑的元理论性质8.4 常识与缺省规则8.5 缺省逻辑的语形8.6 缺省理论及其扩张8.6.1 缺省理论扩张的定义8.6.2 缺省理论扩张的性质8.7 缺省逻辑的语义8.8 对缺省逻辑的进一步认识参考文献附录 命题逻辑与一阶谓词逻辑附录1 命题语言与一阶谓词语言附录2 语义理论附录3 一阶逻辑演算系统Q