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

**章 绪论 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 □及□中的否定 8.2 知识蕴涵与其他蕴涵的关系 第九章 不协调信息转换 9.1 不协调信息向协调信息的转换 9.2 转换的基本类型 9.3 基本概念 9.4 可容变换存在性证明 9.5 解悖变换的存在性 第十章 弗协调逻辑在计算机科学中的应用 10.1 弗协调逻辑在计算机科学中的应用概述 10.2 应用案例分析 10.3 基于新系统的应用分析 结语 参考文献及相关研究资料