图书介绍
定性推理方法PDF|Epub|txt|kindle电子书版本网盘下载
- 石纯一，廖士中编著 著
- 出版社： 北京：清华大学出版社
- ISBN：7302056374
- 出版时间：2002
- 标注页数：197页
- 文件大小：9MB
- 文件页数：209页
- 主题词：
PDF下载
下载说明
定性推理方法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的QSIM35
2.3.1 量空间和状态转换35
2.3.2 QSIM算法37
2.3.3 上抛球运动的定性模拟例37
2.3.4 QPC38
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 形式框架FAQA46
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 因果推理系统CRSC109
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