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

图书标准信息

• 作者 郭美云、唐晓嘉 编
• 出版社 科学出版社
• 出版时间 2010-10
• 版次 1
• ISBN 9787030287465
• 定价 45.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 250页
• 正文语种 简体中文

【内容简介】

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

【目录】

前言
1认知逻辑的基础理论
1.1基本的模态逻辑系统
1.1.1基本模态语言
1.1.2基本模态语言的解释——框架与模型
1.1.3正规模态逻辑
1.2单主体的认知模态逻辑PK与PB
1.2.1单主体的认知模态语言
1.2.2认知逻辑系统PK和PB
1.2.3PK与PB系统的可靠性和完全性
1.3多主体的认知逻辑初步
1.3.1由单主体系统向多主体系统的扩展
1.3.2普遍知识、公共知识与分布式知识
1.3.3举例——泥孩难题

2时态认知逻辑
2.1时态逻辑
2.1.1基本时态命题逻辑
2.1.2s，u时态命题逻辑系统
2.2时态化逻辑系统的方法
2.2.1时态化任意一个正规逻辑系统
2.2.2T（L）的完全性
2.2.3T（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公开宣告逻辑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信念逻辑系统SSBR
6.1.2信念修正的AGM理论
6.2静态的信念修正逻辑系统SSBR
6.2.1顺序条件函数
6.2.2系统SSBR的语言及语义
6.2.3系统SSBR的证明系统
6.2.4SSBR系统的可靠性和完全性
6.3动态的信念修正逻辑系统SSBR
6.3.1更新模型
6.3.2SSBR的系统
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.2Levesque的隐性和显性信念逻辑
7.4觉知逻辑
7.5Montague-Scott邻域语义
7.5.1Montague-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