《可拓逻辑初步》PDF下载

  • 购买积分:10 如何计算积分?
  • 作  者:蔡文等著
  • 出 版 社:北京:科学出版社
  • 出版年份:2003
  • ISBN:7030123360
  • 页数:202 页
图书介绍:本书系统地论述了可拓学的逻辑基础,包括可拓逻辑的基本概念、方法及其应用。首先介绍了知识表示的可拓模型,提出了形式化表示知识的可拓方法、论述了概念、命题、信息和知识的可拓模型及其可拓性。接着讨论了可拓逻辑的集合论基础——可拓集合以及可拓变换,研究可拓变换使命题的真假值产生改变的性质。从而描述事物的量变和质变。同时,研究了可拓逻辑的可操作部分——可拓推理,包括事元、物元、关系元和问题的推理,建立了可拓变换下的推理规律,为处理各种矛盾问题的策略生成,为可拓方法在数据挖掘、搜索、诊断、检测和控制等领域的应用提供了推理工具。

目录 1

序 1

《可拓学丛书》前言 1

前言 1

第1章 绪论 1

§1.1 可拓学的基本思想 1

1.1.1 矛盾问题 1

1.1.2 解决矛盾问题的思路 2

1.1.3 解决矛盾问题的哲学思想 6

§1.2 可拓学的基本内容 8

1.2.1 可拓学的学科体系与发展过程 8

1.2.2 可拓学的逻辑细胞和基元理论 9

1.2.3 可拓学的集合论基础 10

1.2.4 可拓学的基本原理 10

1.2.5 解决矛盾问题的基本方法——可拓方法 11

1.2.6 可拓工程方法 12

§1.3 可拓学的逻辑基础 13

1.3.1 可拓逻辑的定义 13

1.3.2 可拓逻辑的特点 13

1.3.3 可拓逻辑的研究内容 14

§1.4 可拓学与人工智能 16

1.4.1 可拓模型和信息、知识的形式化表示 17

1.4.2 变换与推理技术 17

1.4.3 问题求解 18

1.4.4 可拓集合与分类、识别 18

1.4.5 可拓论与人工智能结合的若干课题 19

第2章 基元和复合元 20

§2.1 物元 20

2.1.1 物元的概念 20

2.1.2 物元的基本要素 22

2.1.3 物元的可拓性 25

§2.2 事元 25

2.2.1 事元的概念 25

2.2.2 事元的可拓性 26

§2.3 关系元 31

2.3.1 关系元的概念 31

2.3.2 关系元的可拓性 33

§2.4 复合元 38

2.4.1 复合元的构成 39

2.4.2 复合元的可拓性 43

§2.5 基元和复合元的逻辑运算 44

2.5.1 基元的逻辑运算 44

2.5.2 复合元逻辑运算规则 48

3.1.1 可拓变换的概念 50

§3.1 可拓变换 50

第3章 可拓变换与可拓集合 50

3.1.2 基本变换 53

3.1.3 可拓变换的传导性——传导变换 55

3.1.4 变换的复合与运算 56

3.1.5 可拓变换的类型 57

§3.2 可拓集合 69

3.2.1 可拓集合的定义 69

3.2.2 基元可拓集 75

3.2.3 关联函数及其变换 82

第4章 可拓推理 84

§4.1 基元拓展推理 84

4.1.1 发散推理 84

4.1.2 蕴含推理 88

4.1.3 相关推理 90

4.2.1 物元变换的传导推理 92

4.1.4 可扩推理…………………………………………………(91 )§4.2 基元变换的传导推理 92

4.2.2 事元变换的传导推理 95

4.2.3 关系元变换的传导推理 96

§4.3 复合元变换的传导推理 99

4.3.1 关系元和物元构成的复合元变换的传导推理 99

4.3.2 关系元和事元构成的复合元变换的传导推理 104

4.3.3 关系元和关系元构成的复合元变换的传导推理 105

§4.4 共轭推理 106

4.4.1 共轭部的特征 106

4.4.2 共轭规则 108

4.4.3 共轭物元和共轭部物元变换的传导推理 108

4.4.4 共轭部变换的传导推理 110

§5.1 命题的基元表示与拓展 112

5.1.1 用基元表示命题 112

第5章 命题和推理句的基元表示与拓展 112

5.1.2 复合元命题及其运算 115

5.1.3 拓展命题的涵义 116

§5.2 推理句的基元表示与拓展 117

5.2.1 用基元表示推理句 118

5.2.2 拓展推理句的概念 119

§5.3 命题的真度和推理句的正确度 120

5.3.1 命题的真度及其表述 120

5.3.2 推理句的正确度及其描述 126

§5.4 三段论法的基元表示 130

5.4.1 物元和关系元表达的三段论 130

5.4.2 事元和关系元表达的三段论 131

5.4.3 物元、事元和关系元表达的复合三段论 132

第6章 解决矛盾问题的可拓推理 133

§6.1 问题和矛盾问题 133

6.1.1 问题的基本概念 133

6.1.2 不相容问题的定义和解变换 134

6.1.3 对立问题的定义和解变换 136

6.1.4 问题的拓展 137

§6.2 利用可拓推理解决矛盾问题 138

6.2.1 利用拓展推理解决矛盾问题 139

6.2.2 利用传导推理解决矛盾问题 146

6.2.3 利用共轭推理解决矛盾问题 150

§6.3 矛盾问题链和矛盾问题系统 151

6.3.1 传导矛盾问题和传导矛盾问题链的概念 151

6.3.2 传导矛盾问题链的成因 155

6.3.3 矛盾问题系统 157

第7章 可拓逻辑的初步应用 158

§7.1 可拓模型与知识表示 158

7.1.1 用基元表示谓词 159

7.1.2 用基元表示产生式规则 162

7.1.3 可拓语义网络 163

7.1.4 框架表示的化简 168

§7.2 可拓分类方法与市场开拓 170

7.2.1 可拓分类方法 171

7.2.2 对房地产市场进行开拓 172

§7.3 问题求解与策略生成 175

7.3.1 滞销楼销售策略的生成 176

7.3.2 可拓策略生成系统 182

§7.4 可拓推理在产品创意生成中的应用 185

7.4.1 生成歼击机换代产品的创意 186

7.4.2 产品创意生成的主要步骤 191

§7.5 搜索罪犯与可拓刑侦系统 192

7.5.1 搜索罪犯的可拓推理 193

7.5.2 建立可拓刑侦系统的构想 196

主要符号说明 198

参考文献 200