认知逻辑是将现代逻辑应用于人的认知活动而形成的一个专门逻辑领域，它涉及现代逻辑应用与人工智能研究的许多重要而核心的内容。 本书是国家社科基金项目“现代逻辑在人工智能中的应用研究”的研究成果，主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑、非单点逻辑和缺省逻辑等。为方便读者理解，本书好在附录中介绍了理解认知逻辑所必需的一阶逻辑理论。 本书可作为逻辑学和人工智能工作者理论学习及科学研究的参考书。
样章试读
目录
1 认知逻辑的基础理论
1.1 基本的模态逻辑系统
1.1.1 基本模态语言L'
1.1.2 基本模态语言的解释——框架与模型
1.1.3 正规模态逻辑
1.2 单主体的认知模态逻辑PK与PB
1.2.1 单主体的认知模态语言LKB
1.2.2 认知逻辑系统PK和PB
1.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(L)的可判定性
2.3 时态认知逻辑系统Kt(S5)
3 群体知识和多主体认知逻辑
3.1 多主体认知逻辑概述
3.2 分布式知识
3.2.1 分布式知识概念的提出
3.2.2 联合知识与隐含知识——分布式知识的形式化分析
3.2.3 完全交流原则与完全交流模型
3.2.4 互模拟和群体知识
3.3 带有群体知识的多主体认知逻辑S5Bm(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 公开宣告逻辑PAL
4.2.1 语言和语义
4.2.2 公理系统
4.2.3 完全性证明
4.2.4 关于公开宣告逻辑PAL
4.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 信念逻辑系统SKD45
6.1.2 信念修正的AGM理论
6.2 静态的信念修正逻辑系统SSBR
6.2.1 顺序条件函数
6.2.2 系统SSBR的语言及语义
6.2.3 系统SSBR的证明系统
6.2.4 SSBR系统的可靠性和完全性
6.3 动态的信念修正逻辑系统SDBR
6.3.1 更新模型
6.3.2 SDBR的系统
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 Lévesque的隐性和显性信念逻辑
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 命题语言LP与一阶谓词语言LQ
附录2 语义理论
附录3 一阶逻辑演算系统Q
]]>
京公网安备 11010102004214号