编辑推荐
国家社科基金项目成果，研究不协调理论推理机制。
内容简介
本书是国家社科基金项目“不协调理论的推理机制研究”（批准号：10BZX054）的成果总结。该项目于2010年6月立项，结项成果为“系列论文”，该项目于2012年11月结项，鉴定等级为“优秀”。本书是在相关系列论文的基础上进一步拓展、完善并进行系统化整理而完成的。本书首先对国内外各种弗协调逻辑及其相关研究进行了系统的考察。在此基础上提出自己解决不协调理论推理问题的方案。
章节目录
封面
扉页
版权信息
目录
《中国社会科学院文库》出版说明
第一章 绪论
1.1 司各脱法则
1.2 国内外相关研究概述
1.3 弗协调逻辑的基本策略
1.4 逻辑的本质
1.5 研究内容与结构安排
第二章 对当关系逻辑
2.1 否定的类型
2.2 对当关系逻辑的理论缘起
2.3 对当关系逻辑
2.4 对当关系逻辑的判定问题
2.5 对当关系逻辑的扩充及其应用
第三章 知识蕴涵命题逻辑
3.1 知识蕴涵
3.2 知识蕴涵命题逻辑公理系统
3.3 可靠性和完全性
3.4 可判定性
第四章 知识蕴涵模态逻辑
4.1 模态语言
4.2 知识蕴涵模态逻辑公理系统
4.3 系统的元理论
第五章 知识蕴涵时态逻辑
5.1 时态语言
5.2 知识蕴涵时态逻辑公理系统
5.3 Kt的元理论
第六章 知识蕴涵直觉主义逻辑
6.1 形式语言
6.2 知识蕴涵直觉主义命题逻辑公理系统
6.3 知识蕴涵直觉主义逻辑的形式语义
6.4 ID的元理论
第七章 知识蕴涵谓词逻辑
7.1 形式语言
7.2 知识蕴涵谓词逻辑公理系统
7.3 知识蕴涵谓词逻辑的形式语义
7.4 系统的元理论
第八章 否定、蕴涵与弗协调逻辑
8.1 Cn（1≤n＜ω）及Cω中的否定
8.2 知识蕴涵与其他蕴涵的关系
第九章 不协调信息转换
9.1 不协调信息向协调信息的转换
9.2 转换的基本类型
9.3 基本概念
9.4 可容变换存在性证明
9.5 解悖变换的存在性
第十章 弗协调逻辑在计算机科学中的应用
10.1 弗协调逻辑在计算机科学中的应用概述
10.2 应用案例分析
10.3 基于新系统的应用分析
结语
参考文献及相关研究资料
其他
不协调信息的推理机制研究是2017年由中国社会科学出版社出版,作者杜国平。
得书感谢您对《不协调信息的推理机制研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
