不确切性信息处理原理PDF电子书下载

第一篇 导引 3

第1章 不确切性信息处理概述 3

1.1 何为不确切性信息 3

1.2 不确切性信息的由来 4

1.2.1 软概念与不确切性信息 4

1.2.2 事物性状的连续分布与均匀连锁相似 4

1.2.3 人脑对均匀连锁相似对象进行软聚类 5

1.2.4 不确切性信息的由来图解 6

1.2.5 人脑的聚类概括本能和天然的分类机制与软概念 7

1.2.6 软概念与模糊概念辨析 9

1.3 不确切性与不确定性之区别 10

1.4 不确切性信息处理涉及的学科领域 11

1.4.1 不确切性信息处理与信息科学技术 11

1.4.2 不确切性信息处理与智能科学技术 11

1.4.3 不确切性信息处理与逻辑学 11

1.4.4 不确切性信息处理与语言学 12

1.4.5 不确切性信息处理与脑科学和认知科学 12

1.4.6 不确切性信息处理与生命科学 12

1.4.7 不确切性信息处理与数理科学 12

1.5 不确切性信息处理的研究内容 13

1.5.1 不确切性信息基本原理 13

1.5.2 不确切性信息处理基本技术 13

1.5.3 不确切性信息处理工程应用 14

1.5.4 进一步的研究课题 14

1.6 不确切性信息处理的研究概况 14

1.7 本书的工作与结果 16

第二篇 软概念及其数学模型 23

第2章 1维均匀实数空间上的软概念及其数学模型 23

2.1 对象、特征、特征值与实数空间 23

2.2 1维实数空间［a,b］上的相似度及其叠加原理 24

2.3 空间［a,b］的均匀性与客观划分 26

2.4 空间［a,b］上的软聚类与软概念 28

2.4.1 ［a,b］上的软聚类与软类 28

2.4.2 软概念的生成 30

2.5 软概念的外延模型 31

2.5.1 核与支持集 31

2.5.2 隶属函数 31

2.6 软概念的内涵模型——相容函数 35

2.7 隶属函数与相容函数的联系和区别 38

2.8 本章小结 40

第3章 多维均匀实数空间上的软概念及其数学模型 41

3.1 多维均匀实数空间的特点与软聚类 41

3.2 基于坐标分量的软聚类 42

3.3 基于点的软聚类 45

3.3.1 软块和软点块 45

3.3.2 软点、软圆和软球 48

3.3.3 软块与软球概念的区别 52

3.4 基于线的软聚类，软带、软线和软绳 52

3.5 基于面的软聚类，软板和软面 57

3.6 关系软类与关系软概念 59

3.7 本章小结 64

第三篇 软集合与软语言值基本理论 67

第4章 软集合基本理论 67

4.1 软集合及其特性 67

4.1.1 软集合的定义 67

4.1.2 几种与软集有关的集合 68

4.2 软集合与模糊集合 69

4.3 软集合与粗糙集合 70

4.4 软集的关系 71

4.5 软集的运算 73

4.5.1 n维软子集的运算 73

4.5.2 多维空间上的正交软集运算 78

4.6 软集的笛卡儿积集 83

4.7 软集的规模与份额 86

4.7.1 集合的规模 87

4.7.2 软集的规模 89

4.7.3 集合的份额 92

4.7.4 软集的份额 95

4.7.5 份额的公理化定义 97

4.7.6 份额运算与份额代数 97

4.7.7 扩展核的规模和份额 98

4.8 软集的包含度 99

4.8.1 集合包含度的定义 99

4.8.2 软集包含度的定义 99

4.8.3 包含度的基本性质 100

4.8.4 包含度与份额的关系 100

4.9 软集的软度 100

4.10 软关系与软函数 101

4.11 软区间数及软数 103

4.12 本章小结 105

第5章 软语言值基本理论 106

5.1 软语言值的类型 106

5.2 空间软划分与基本软语言值 108

5.2.1 1维空间的软划分与基本软语言值 108

5.2.2 多维空间的软划分与基本软语言值 109

5.2.3 基本语言值的扩充与归约 110

5.3 同特征软语言值的逻辑运算 110

5.3.1 合取值与析取值 111

5.3.2 否定值与程度守1性原理 112

5.4 软语言值的合成与分解 113

5.4.1 逻辑合成与分解，组合语言值 113

5.4.2 代数合成与分解，综合语言值 115

5.5 对软语言值合成与分解的进一步分析 118

5.5.1 基于内涵的异特征语言值合成与分解 118

5.5.2 基于外延的同特征语言值合成与分解 120

5.5.3 特征树及其语言值网络 121

5.5.4 分类树及其语言值网络 124

5.6 互否语言值与互反语言值 126

5.6.1 互否语言值、程度互补性和中等点 126

5.6.2 互反语言值、程度互反性和中性点 128

5.6.3 互否与互反的相互转换 132

5.6.4 互否与互反的判定、性质及其集合特征 133

5.7 软语言值之间的关系 136

5.7.1 互补关系和互斥关系 136

5.7.2 合-分关系和从属关系 140

5.7.3 包含关系和同位关系 141

5.7.4 相似关系和近似关系 141

5.7.5 近似的归约和方位 143

5.8 程度语言值与叠合语言值 144

5.8.1 程度语言值 144

5.8.2 叠合语言值 145

5.8.3 叠合语言值与原值的关系 145

5.8.4 叠合语言值相容函数的间接求法 146

5.9 本章小结 149

第6章 隶属／相容函数的确定与求取 151

6.1 直接隶属／相容函数和复合隶属／相容函数 151

6.2 直接隶属／相容函数的确定 152

6.3 复合隶属／相容函数的求取 153

6.3.1 空间变换法 153

6.3.2 语言值分解法 155

6.3.3 变量替换法 156

6.4 近似类软概念的隶属／相似函数 157

6.5 本章小结 161

第四篇 真度逻辑与软语言真值逻辑 165

第7章 软命题与真度逻辑 165

7.1 软命题的表示与真值 165

7.1.1 软命题及其形式化表示 165

7.1.2 软命题的数量真值——真度 166

7.2 复合软命题的形式化表示和真度计算 168

7.2.1 所有关系形式表示和内涵-真度计算 168

7.2.2 所属关系形式表示和外延-真度计算 170

7.2.3 基于支命题真度的间接计算 174

7.2.4 软命题的真度域及其对称性原理 177

7.3 综合软命题及其形式化表示和真度计算 177

7.4 真度逻辑代数 179

7.4.1 外延-真度逻辑代数 179

7.4.2 内涵-真度逻辑代数 179

7.4.3 真度逻辑式与真度逻辑函数 180

7.5 真度命题逻辑与程度谓词逻辑 181

7.5.1 真度命题公式 181

7.5.2 程度谓词公式 183

7.5.3 真度逻辑的限制 184

7.6 本章小结 186

第8章 软语言真值逻辑及其推理 187

8.1 软命题的语言真值——偏真和偏假 187

8.2 数量真值到软语言真值的转换 188

8.3 软二值逻辑运算与软逻辑代数 189

8.4 命题的逻辑语义 191

8.5 基于逻辑语义的复合软命题语言真值定义和计算模型 192

8.6 所属关系和所有关系的真域 194

8.7 基于逻辑语义和真域的复合软命题表示 195

8.8 真度逻辑、软二值逻辑和传统二值逻辑的关系 198

8.9 软命题逻辑与软命题推理 199

8.9.1 软命题公式 199

8.9.2 永偏真式与软逻辑蕴涵 201

8.9.3 软推理规则 203

8.9.4 软命题推理 204

8.9.5 软形式系统 205

8.10 软谓词逻辑与软谓词推理 205

8.10.1 软谓词公式 205

8.10.2 软三段论推理 205

8.10.3 基于软三段论的近似推理 207

8.11 多语言真值逻辑及其推理 209

8.11.1 永偏真的可分性与语言真值的划分 209

8.11.2 多值逻辑运算与多值逻辑代数 210

8.11.3 多值逻辑推理 213

8.12 含“中”多值逻辑 218

8.13 软命令逻辑 219

8.14 本章小结 220

第9章 互否逻辑与互反逻辑 221

9.1 互否逻辑 221

9.2 互反逻辑及其推理 221

9.2.1 有反命题及其真度 221

9.2.2 复合有反命题的真度计算 222

9.2.3 互反真度逻辑 224

9.2.4 互反真度逻辑与互否真度逻辑的关系 224

9.2.5 互反语言真值逻辑及其推理 225

9.2.6 互反多值逻辑及其推理 228

9.2.7 有反命题与互反、互否逻辑 229

9.3 互否、互反真度逻辑特性小结 229

9.4 离散真度逻辑分析 231

9.4.1 二值真度逻辑 231

9.4.2 三值真度逻辑 232

9.4.3 偶多值真度逻辑 233

9.4.4 奇多值真度逻辑 234

9.5 互否、互反语言真值逻辑特性小结 235

9.6 逻辑系统的分类、特性与关系总结 237

第10章 程度化语言真值逻辑 240

10.1 程度化语言真值与程度逻辑运算 240

10.2 程度逻辑代数 241

10.3 程度逻辑运算的归约 251

10.4 本章小结 254

第五篇 软语言值规则及其推理与计算 257

第11章 软语言值规则及其数学本质 257

11.1 何为软语言值规则 257

11.2 软语言值规则的类型 258

11.3 软语言值规则的真域与逻辑语义 264

11.4 软语言值规则的数学背景与数学本质 266

11.4.1 性质-性质规则的数学背景与数学本质 266

11.4.2 其他各类规则的数学背景与数学本质 270

11.5 软语言值规则的变换与归约 274

11.6 软语言值规则的“关系”辨析 275

11.7 本章小结 277

第12章 软语言值规则的三重函数 278

12.1 软语言值规则所隐含的函数关系 278

12.2 规则的三重函数分析 279

12.3 规则函数空间分析 281

12.4 获取规则近似函数的思路和方法 284

12.5 合取型和析取型规则近似程度函数构造及参考模型 284

12.5.1 近似隶属-程度函数构造及参考模型 284

12.5.2 近似相容-程度函数构造及参考模型 287

12.6 合取型和析取型规则近似真度函数构造及参考模型 291

12.6.1 近似外延-真度函数构造及参考模型 291

12.6.2 近似内涵-真度函数构造及参考模型 292

12.7 合取型和析取型规则近似测度函数构造及参考模型 294

12.7.1 近似相容-测度函数构造及参考模型 294

12.7.2 近似隶属-测度函数构造及参考模型 301

12.8 综合型规则的近似函数 303

12.9 多维语言值规则的近似函数 305

12.10 由程度函数导出测度函数 312

12.11 规则的近似测度-程度函数 313

12.12 规则近似函数的优化 314

12.13 有反语言值规则的三重函数 315

12.14 本章小结 316

第13章 基于软语言值规则的推理和计算 318

13.1 程度推理 318

13.1.1 单条件规则程度推理 318

13.1.2 多条件规则程度推理 319

13.2 具有预处理或再处理的程度推理 322

13.2.1 预处理和再处理 322

13.2.2 有数据转换接口的程度推理 323

13.3 基于程度推理的近似推理 324

13.4 基于程度推理的近似计算 325

13.5 程度推理的应用模式总图 326

13.6 真度推理 327

13.6.1 单条件规则真度推理 327

13.6.2 多条件规则真度推理 328

13.7 基于规则测度函数的近似计算及逻辑计算 329

13.8 软推理原理小结 330

第14章 基于语言值函数近似求值的近似推理和计算 332

14.1 近似推理的数学本质 332

14.2 近似推理的问题和思路 332

14.3 近似推理的AD方法 337

14.4 规则的近似测度函数 340

14.5 AD方法的合理性与有效性分析 342

14.6 多条件规则近似推理 343

14.6.1 多条件规则近似推理的模式 343

14.6.2 多条件规则近似推理的数学本质 344

14.6.3 多条件规则近似推理的问题和思路 344

14.6.4 多条件规则近似推理的AD方法和近似函数 346

14.7 多规则近似推理 349

14.8 本章小结 350

第六篇 不确切性问题求解与知识发现 353

第15章 不确切性问题求解 353

15.1 不确切性问题及其求解 353

15.1.1 涉及不确切性信息的问题 353

15.1.2 不确切性问题求解基本方式和基本技术 354

15.2 数量值与语言值的相互转换 354

15.3 基于隶属函数的软归类 356

15.3.1 软归类的判别函数和判决规则 357

15.3.2 软模式识别示例 358

15.4 基于相容函数的软评判 361

15.4.1 软评判的相关概念 361

15.4.2 数值评价函数和语言值评价函数 361

15.4.3 判决函数和判决规则 363

15.4.4 指标体系与评判模型的设计 364

15.5 进一步理解软概念 365

15.5.1 从软聚类到软归类 365

15.5.2 先软后硬的意义 366

15.5.3 软处理与复杂性 367

15.6 软规划问题求解 368

15.7 基于软语言值规则推理的问题求解 370

15.7.1 软语言值规则系统 370

15.7.2 基于软语言值规则系统的问题求解 372

15.7.3 基于规则的软归类和软评判 372

15.7.4 基于规则的软决策 374

15.7.5 软控制原理及示例 375

15.8 关于软概念和软命题机器理解与生成的几点构想 381

15.8.1 基于知识库的软概念机器理解 381

15.8.2 基于面向对象程序的软概念机器生成与运用 382

15.8.3 命题表达方式的变换 383

15.9 本章小结 384

第16章 基于软集合的知识发现与机器学习 385

16.1 基于软集合的聚类分析 385

16.2 基于软集合的软语言值规则发现 388

16.3 利用软集实现函数拟合的一些构想 389

16.4 本章小结 391

第17章 程度化信息处理 392

17.1 程度化语言值 392

17.2 基于程度化语言值的知识表示 394

17.3 程度化关系型数据库 396

17.4 均匀硬集的相容函数 400

17.5 本章小结 401

第七篇 不确切性与不确定性之交叉 405

第18章 软事件的概率，软命题的信度和双重程度推理 405

18.1 软事件的概率与概率上的软语言值 405

18.1.1 软随机事件 405

18.1.2 基于均匀分布型随机变量的软事件概率 405

18.1.3 基于非均匀分布型随机变量的软事件概率 408

18.1.4 扩展核上的概率——软事件的实际概率 408

18.1.5 复合软事件的概率 409

18.1.6 有反软事件的概率 411

18.1.7 概率上的语言值 413

18.2 命题的信度及其逻辑与推理 413

18.2.1 命题的另一种属性——可信性 414

18.2.2 命题可信性的数量值——信度 414

18.2.3 信度上的语言值 415

18.2.4 命题的可信性与真伪性的关系 416

18.2.5 复合命题的信度 417

18.2.6 蕴涵度、包含度与信度 419

18.2.7 命题的蕴涵关系与相应信度的大小关系 422

18.2.8 基于信度的逻辑与推理 422

18.3 软模态命题与不确定性软语言值规则的推理 423

18.3.1 命题的可信性与模态命题 423

18.3.2 软量词、软称命题与软模态命题 424

18.3.3 信度化命题与模态命题 424

18.3.4 模态命题的真实性和真值 425

18.3.5 软模态规则、信度化规则与双重程度推理 426

18.3.6 数值模态逻辑初探 429

18.4 本章小结 430

第八篇 其他相关议题和进一步的研究课题第19章 再议复合命题的逻辑语义与真值计算模型 435

19.1 引言 435

19.2 传统二值逻辑中复合命题的逻辑语义与逻辑真值 436

19.3 命题公式的二义性所存在的问题 439

19.4 蕴涵词之争揭秘 442

19.5 模糊逻辑中复合命题的逻辑语义与真值计算 443

19.6 模糊逻辑中其他基本复合命题的逻辑语义与真值计算 446

19.7 非标准逻辑语义复合命题及其真值 449

19.7.1 复合命题的非标准逻辑语义 449

19.7.2 非标准逻辑语义下的真值定义与计算 449

19.7.3 复合命题逻辑语义的转换与归约 452

19.8 模糊逻辑中非标准逻辑语义复合命题及其真值 452

19.8.1 模糊逻辑中复合命题的非标准逻辑语义 452

19.8.2 非标准逻辑语义下模糊复合命题的真值定义与计算模型 453

19.8.3 复合命题的逻辑真值定义与计算模型的一般表达式 456

19.8.4 模糊逻辑中复合命题逻辑语义的转换与归约 457

19.9 本章小结 458

第20章 命题运算与集合运算 460

20.1 引言 460

20.2 命题的真值与集合的份额 460

20.2.1 命题的真值与集合的份额的联系 460

20.2.2 复合命题的真值与复合集合的份额 462

20.2.3 二值命题代数与二元集合代数中的真值与份额 464

20.3 线序实体代数及其测度代数 465

20.3.1 线序集合代数及其份额代数 465

20.3.2 线序命题代数及其真度代数 467

20.3.3 线序事件代数及其概率代数 468

20.3.4 线序点集代数及其面积代数 470

20.3.5 诸代数之间的关系 471

20.4 伪补线序实体代数及其测度代数 473

20.5 全域上的实体运算及其测度运算 475

20.5.1 全域上的集合运算及其份额运算 475

20.5.2 全域上的命题运算及其真度运算 476

20.5.3 关于Sn和Ln的一点讨论 477

20.6 本章小结 477

第21章 进一步的研究方向与课题 480

21.1 方向1：基于不确切性知识的智能应用系统开发 480

21.2 方向2：基于软集合的知识发现与机器学习 481

21.3 方向3：基于软概念的自然语言理解与生成 482

21.4 方向4：软逻辑电路与软计算机语言 483

21.5 方向5：软概念的脑模型和人脑定性思维机理探索 483

21.6 方向6：相关数学与逻辑理论 485

参考文献 486

本书所引入和采用的符号体系 488

名词索引 491