对偶三角模 三角余模逻辑及推理pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

对偶三角模 三角余模逻辑及推理PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 预备知识 1

1.1 二值命题演算的基础知识 1

1.2 二值谓词演算的基础知识 6

1.3 概率论的基础知识 13

1.4 不确定理论的基础知识 15

1.5 概率逻辑、不确定逻辑与模糊逻辑的比较 18

第2章 随机命题的概率逻辑与推理 19

2.1 RProPL的语言与概率真度 19

2.2 概率真度的规律 27

2.3 RProPL度量空间 30

2.4 RProAPL的公理化方法 32

2.5 基于RProPL的推理 35

第3章 Vague命题的Lawry对偶三角模-三角余模逻辑 43

3.1 引言 43

3.2 Lawry的不确定模型 45

3.3 同主语同标签Vague命题的Lawry逻辑 50

3.4 Vague命题的Lawry乘-加逻辑和Lawry下-上确界逻辑 52

3.5 Vague命题的Lawry三角模-三角余模逻辑 58

3.6 同Vague谓词命题的概率逻辑 61

第4章 不确定命题的对偶下-上确界逻辑与推理 72

4.1 UProL的语言与不确定命题的真度 72

4.2 不确定命题公式真度的规律 74

4.3 不确定命题公式的真度的一般计算方法 76

4.4 带有独立不确定命题集的不确定命题公式真度的计算 78

4.5 独立不确定命题公式真度的公理化及其推理 81

第5章 一阶不确定谓词的对偶下-上确界逻辑 85

5.1 不确定谓词命题和不确定谓词公式 85

5.2 不确定谓词公式的真度 86

5.3 不确定谓词公式真度的基本规律 87

第6章 模糊命题的多值逻辑与推理 90

6.1 引言 90

6.2 预备知识 90

6.3 三角模族T（q,p）-LGN与系统LGN 93

6.4 三角模族T（q,p）-LПG与系统LПG 97

6.5 三角模族（Tq,p）-LПGN（q,p）∈[-1,1]×（-∞,0）∪（0,∞）∪（1,0）与系统LIIGN 100

6.6 逻辑系统MTL（BL）的新的模式扩张系统GNMTL（GNBL） 106

6.7 Fuzzy命题的多维三层逻辑 110

6.8 蕴涵算子族及其应用 117

第7章 随机模糊命题的三角模-蕴涵概率逻辑与推理 125

7.1 模糊逻辑系统中理论的下真度与相容度 125

7.2 模糊逻辑系统Ⅱ和G？d中理论的相容度与下真度的计算公式 134

7.3 模糊逻辑系统Luk和L中理论相容度的计算公式 141

7.4 模糊逻辑系统中有限理论的弱相容度 151

7.5 多值命题逻辑公式在有限理论下的α-条件真度 154

7.6 命题模糊逻辑系统中公式的理论可证度 164

7.7 模糊逻辑系统中公式真值函数的特征 170

7.8 模糊逻辑系统中公式真度的特征 184

7.9 模糊逻辑系统中公式真度计算 191

7.10　MTL概率逻辑与推理 195

第8章 一阶随机模糊谓词的三角模-蕴涵概率逻辑 211

8.1 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 211

8.2 一阶模糊谓词逻辑公式的解释模型真度理论及其应用 224

8.3 一阶模糊谓词逻辑公式的区间解释真度理论 228

8.4 一阶模糊谓词逻辑公式的可测集解释真度理论 231

8.5 逻辑有效公式理论及其应用 236

参考文献 240

关键词中英文对照索引 247