本书系统介绍基于格值逻辑的计量化知识推理及其应用，主要是作者十余年来研究工作的系统总结，同时也兼顾了国内外有关领域的主要研究成果。全书共六章，具体内容包括多值命题逻辑的概率计量化、有限格值语义上的计量化知识推理、Boole语义的程度化方法、基于格值逻辑代数语义的计量化知识推理、非交换剩余格上的广义态理论等。 本书可供非经典数理逻辑、不确定性推理等基础数学和人工智能专业的教师、研究生、高年级本科生和科研人员阅读参考。

第1章 预备知识
1.1 偏序集与格
1.2 三角模与剩余格
1.3 伪三角模与非交换剩余格
1.4 多值逻辑系统简介
第2章 多值命题逻辑的概率计量化
2.1 一种非均匀概率空间下二值命题逻辑中命题的真度理论
2.2 逻辑系统G3在非均匀概率空间下命题的真度理论
2.3 三值命题逻辑中命题的随机真度
2.4 模糊命题逻辑□（特殊符号）中公式的条件随机真度
2.5 多值命题逻辑中公式的μ-真度理论
第3章 有限格值语义上的计量化知识推理
3.1 四值非线性格值逻辑上公式的真度理论
3.2 四值非线性序集逻辑系统的随机化
3.3 四值非线性序集逻辑系统中理论的随机发散度
3.4 四值非全序逻辑系统中公式的条件随机真度
3.5 五值非线性序集逻辑系统的随机化
第4章 Boole语义的程度化方法
4.1 有限Boole语义的随机化
4.2 有限Boole语义中公式的条件随机真度
4.3 有限Boole语义中基于前提信息的随机真度
4.4 Boole语义的程度化方法
第5章 基于格值逻辑代数语义的计量化知识推理
5.1 基于MV-代数语义的格值逻辑的程度化方法
5.2 MTL-代数语义上逻辑公式的概率真度
5.3 基于剩余格语义的格值逻辑系统的程度化方法
5.4 粗糙逻辑中公式的一种新的粗糙概率真度
第6章 非交换剩余格上的广义态理论
6.1 非交换剩余格上的混合广义态算子
6.2 非交换剩余格上的几类新的广义态和混合广义态
6.3 非交换剩余格上的滤子与广义态的关系
参考文献