图书介绍

定性推理方法pdf电子书版本下载

定性推理方法
  • 石纯一,廖士中编著 著
  • 出版社: 北京:清华大学出版社
  • ISBN:7302056374
  • 出版时间:2002
  • 标注页数:197页
  • 文件大小:9MB
  • 文件页数:209页
  • 主题词:

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.1 定性推理的出现 2

1.1.2 定性推理的定义 3

1.1.3 定性和定量的关系 4

1.2 定性推理的系统构成、基本要素和任务 5

1.2.1 定性系统的构成 5

1.2.2 定性推理的基本要素 6

1.2.3 定性推理的任务 7

1.3 定性推理的分类及主要工作 8

1.3.1 按论域是否连续划分 8

1.3.2 按定性变化的时空特性划分 8

1.4 当前发展趋向 11

1.4.1 对定性推理的错误认识 11

1.4.2 发展趋向 12

1.5 最新进展 13

1.5.1 基本理论进展 13

1.5.2 应用进展 18

1.5.3 进一步研究工作 19

第二章 定性推理的基本方法掣 20

2.1 de Kleer的Envision方法 20

2.1.1 量空间和定性演算 20

2.1.2 用定性演算进行推理 23

2.1.3 系统表示 25

2.1.4 行为预测 27

2.2 Forbus的定性进程理论 28

2.2.1 对象和进程的表示 29

2.2.2 量空间 30

2.2.3 行为预测 31

2.2.4 定量定性知识结合 32

2.2.5 动作处理 33

2.3 Kuipers的QSIM 35

2.3.1 量空间和状态转换 35

2.3.2 QSIM算法 37

2.3.3 上抛球运动的定性模拟例 37

2.3.4 QPC 38

2.4.2 因果顺序方法是基本方法 41

2.4 Iwasaki和Simon的因果顺序法 41

2.4.1 因果顺序方法的提出 41

2.4.3 当前进展和进一步研究工作 42

第三章 定性代数 43

3.1 定性代数方法 43

3.1.1 量级推理代数 43

3.1.2 Williams的混合定性代数 44

3.1.3 Wong和Yao的优先关系方法 44

3.2 一种定性代数的形式框架 45

3.2.1 形式框架FAQA 46

3.2.2 定性混合结构 48

3.2.3 举例 49

3.2.4 小结 51

3.3 基于代数的定性推理方法 51

3.3.1 定性化方法 51

3.3.2 定性代数空间 52

3.3.3 定性关系空间 58

3.3.4 定性关系代数空间 59

3.3.5 定性模空间 61

3.4 基于范畴的定性模型 62

3.4.1 定性范畴 62

3.4.2 定性建模方法 64

3.4.3 定量到定性的变换方法 65

3.4.4 定性代数范畴与建模 70

3.4.5 定性联系范畴与建模 71

3.4.6 定性与定量结合范畴与建模 72

4.1.1 定性过滤 76

4.1 基本方法 76

第四章 定性仿真方法 76

4.1.2 定性定量相结合 77

4.1.3 其他定性仿真方法 79

4.2 基于比较的一种定性仿真方法 80

4.2.1 概念定义 80

4.2.2 比较仿真 82

4.2.3 CQSIM工作流程 86

4.3.1 多个推理分支以及虚假行为的产生 87

4.3 定性仿真的一种归并方法 87

4.2.4 小结 87

4.3.2 问题的提出 88

4.3.3 归并方法 89

4.3.4 小结 94

第五章 定性因果推理 95

5.1 基本方法 95

5.2 因果语义结构表示法 95

5.2.1 有限表因果分析法 96

5.2.2 因果语义结构 99

5.3 因果关系中的冲突处理 100

5.3.1 问题描述 101

5.3.2 因果关系图 101

5.3.3 因果推理 103

5.3.4 动态增量分析 105

5.4 因果推理的一种形式框架 105

5.4.1 确定性因果关系 105

5.4.3 因果推理系统CRSC 109

5.4.2 因果推理 109

5.5 随机环境下的因果推理 111

5.5.1 静态结构因果分析 111

5.5.2 平衡结构因果顺序分析 112

5.5.3 因果网络推理举例 115

5.5.4 平衡结构下因果效用分析 117

5.5.5 动态系统下因果分析 119

5.6 基于分层因果关系的定性推理方法 121

5.6.1 因果关系的获取 121

5.6.2 一种因果决定关系图的构造方法 125

5.6.3 因果决定关系图的转换方法 129

5.6.4 分层因果关系上的定性推理(LCQR) 129

5.6.5 小结 133

第六章 拓扑与形状 134

6.1 基本方法 134

6.1.1 公理化方法 134

6.1.2 代数方法 135

6.1.3 几何约束满足方法 135

6.2.1 基本原则 136

6.2 分层逼近方法 136

6.1.4 基于模型的推理方法 136

6.2.2 定性表示 137

6.2.3 推理方法 138

6.3 拓扑推理 140

6.3.1 拓扑关系的闭球模型 140

6.3.2 拓扑推理的分层逼近方法 147

6.3.3 小结 152

6.4.1 准分形形状的定性表示 153

6.4 形状 153

6.4.2 自然准分形的形状建模 156

6.4.3 讨论 162

6.4.4 小结 162

6.5 Voronoi图式 163

6.5.1 基本Voronoi图式 163

6.5.2 广义Voronoi图式 164

6.6 平面形状的定性表示 166

6.6.1 关于定性表示 166

6.6.2 基本概念 167

6.7 层次Voronoi骨架构造算法 170

6.8 定性Voronoi骨架 171

6.9 平面形状的定性逼近 172

6.9.1 定性Voronoi骨架的化简 172

6.9.2 定性Voronoi骨架的标识 173

6.10 布置的定性表示和处理 175

7.1.1 引言 176

7.1.2 定量和定性建模 176

7.1 基于示例的定性定量混合系统 176

第七章 应用 176

7.1.3 基于示例的定性推理 177

7.1.4 定性与定量相结合与建模 178

7.1.5 经济分析预测示例 180

7.2 CQSIM方法的应用 181

7.2.1 选择观察标准,实现一致部分的比较 181

7.2.2 多个偏差共同作用的比较仿真 181

7.2.3 行为拓扑变化 182

7.3 归并方法举例 183

参考文献 188

精品推荐