中国社会科学出版社
当前位置： 重点图书 >

不协调信息的推理机制研究

STUDIES ON THE REASONING MECHANISM OF PARACONSISTENT INFORMATION

纸书售价： ￥47.2 纸书定价：￥59.0 电子书售价： ￥23.6

内容简介

作者简介

目录

全部显示∨

目录

第一章 绪论
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 基于新系统的应用分析
结语
参考文献及相关研究资料
其他

相关图书

浏览历史

清空记录
中国社会科学出版社
首页|帮助中心|网站地图|关于我们|法律声明|诚聘英才|
友情链接

版权所有：中国社会科学出版社　备案序号： 京ICP备05032912号-1 　地址：北京西城区鼓楼西大街甲158号　邮编：100720

京公网安备11010202007272号