定性推理方法

　　定性推理是人工智能学科的一种推理方法，是通过对（物理）系统的结构、行为、功能及它们之间的因果性关系进行研究，以探索人类常识（定性）推理机制为目的，从而有效地完成各项求解任务的一种跨领域的推理方法体系。本书详细而系统地介绍了定性推理的发展历史及当前的主要研究方向，讨论了定性推理的基本方法，阐述了有关定性代数、定性仿真方法，定性因果推理和定性空间推理等，最后给出了几个应用实例。 本书可以作为大专院校计算机及信息技术等专业研究生的教材，也可供从事人工智能、机器学习、数据挖掘等领域的研究工作的科研人员参考。

暂缺《定性推理方法》作者简介

第一章  定性推理概述                  
 1. 1  什么是定性推理                  
 1. 1. 1  定性推理的出现                  
 1. 1. 2  定性推理的定义                  
 1. 1. 3  定性和定量的关系                  
 1. 2  定性推理的系统构成. 基本要素和任务                  
 1. 2. 1  定性系统的构成                  
 1. 2. 2  定性推理的基本要素                  
 1. 2. 3  定性推理的任务                  
 1. 3  定性推理的分类及主要工作                  
 1. 3. 1  按论域是否连续划分                  
 1. 3. 2  按定性变化的时空特性划分                  
 1. 4  当前发展趋向                  
 1. 4. 1  对定性推理的错误认识                  
 1. 4. 2  发展趋向                  
 1. 5  最新进展                  
 1. 5. 1  基本理论进展                  
 1. 5. 2  应用进展                  
 1. 5. 3  进一步研究工作                  
 第二章  定性推理的基本方法                  
 2. 1  de Kleer的Envision方法                  
 2. 1. 1  量空间和定性演算                  
 2. 1. 2  用定性演算进行推理                  
 2. 1. 3  系统表示                  
 2, 1. 4  行为预测                  
 2. 2  Forbus的定性进程理论                  
 2. 2. 1  对象和进程的表示                  
 2. 2. 2  量空间                  
 2. 2. 3  行为预测                  
 2. 2. 4  定量定性知识结合                  
 2. 2. 5  动作处理                  
 2. 3  Kuipers的QSIM                  
 2. 3. 1  量空间和状态转换                  
 2. 3. 2  QSIM算法                  
 2. 3. 3  上抛球运动的定性模拟例                  
 2. 3. 4  QPC                  
 2. 4  1  Iwasaki和Simon的因果顺序法                  
 2. 4. 1  因果顺序方法的提出                  
 2. 4. 2  因果顺序方法是基本方法                  
 2. 4. 3  当前进展和进一步研究工作                  
 第三章  定性代数                  
 3. 1  定性代数方法                  
 3. 1. 1  量级推理代数                  
 3. 1. 2  Williams的混合定性代数                  
 3. 1. 3  Wong和Yao的优先关系方法                  
 3. 2  一种定性代数的形式框架                  
 3. 2. 1  形式框架FAQA                  
 3. 2. 2  定性混合结构                  
 3. 2. 3  举例                  
 3. 2. 4  小结                  
 3. 3  基于代数的定性推理方法                  
 3. 3. 1  定性化方法                  
 3. 3. 2  定性代数空间                  
 3. 3. 3  定性关系空间                  
 3. 3. 4  定性关系代数空间                  
 3. 3. 5  定性模空间                  
 3. 4  基于范畴的定性模型                  
 3. 4. 1  定性范畴                  
 3, 4. 2  定性建模方法                  
 3. 4. 3  定量到定性的变换方法                  
 3. 4. 4  定性代数范畴与建模                  
 3, 4. 5  定性联系范畴与建模                  
 3. 4. 6  定性与定量结合范畴与建模                  
 第四章  定性仿真方法                  
 4. 1  基本方法                  
 4. 1. 1  定性过滤                  
 4. 1. 2  定性定量相结合                  
 4. 1. 3  其他定性仿真方法                  
 4. 2  基于比较的一种定性仿真方法                  
 4. 2. 1  概念定义                  
 4. 2. 2  比较仿真                  
 4. 2. 3  CQSIM工作流程                  
 4. 2. 4  小结                  
 4. 3  定性仿真的一种归并方法                  
 4. 3. 1  多个推理分支以及虚假行为的产生                  
 4. 3. 2  问题的提出                  
 4. 3. 3  归并方法                  
 4. 3. 4  小结                  
 第五章  定性因果推理                  
 5. 1  基本方法                  
 5. 2  因果语义结构表示法                  
 5. 2. 1  有限表因果分析法                  
 5. 2. 2  因果语义结构                  
 5. 3  因果关系中的冲突处理                  
 5. 3. 1  问题描述                  
 5. 3. 2  因果关系图                  
 5. 3. 3  因果推理                  
 5. 3. 4  动态增量分析                  
 5. 4  因果推理的一种形式框架                  
 5. 4. 1  确定性因果关系                  
 5. 4. 2  因果推理                  
 5. 4. 3  因果推理系统CRSC                  
 5. 5  随机环境下的因果推理                  
 5. 5. 1  静态结构因果分析                  
 5. 5. 2  平衡结构因果顺序分析                  
 5. 5. 3  因果网络推理举例                  
 5. 5. 4  平衡结构下因果效用分析                  
 5. 5. 5  动态系统下因果分析                  
 5. 6  基于分层因果关系的定性推理方法                  
 5. 6. 1  因果关系的获取                  
 5. 6. 2  一种因果决定关系图的构造方法                  
 5. 6. 3  因果决定关系图的转换方法                  
 5. 6. 4  分层因果关系上的定性推理(LCQR)                  
 5. 6. 5  小结                  
 第六章  拓扑与形状                  
 6. 1  基本方法                  
 6. 1. 1  公理化方法                  
 6. 1. 2  代数方法                  
 6. 1. 3  几何约束满足方法                  
 6. 1. 4  基于模型的推理方法                  
 6. 2  分层逼近方法                  
 6. 2. 1  基本原则                  
 6. 2. 2  定性表示                  
 6. 2. 3  推理方法                  
 6. 3  拓扑推理                  
 6. 3. 1  拓扑关系的闭球模型                  
 6. 3. 2  拓扑推理的分层逼近方法                  
 6. 3. 3  小结                  
 6. 4  形状                  
 6. 4. 1  准分形形状的定性表示                  
 6. 4. 2  自然准分形的形状建模                  
 6. 4. 3  讨论                  
 6. 4. 4  小结                  
 6. 5  Voronoi图式                  
 6. 5. 1  基本Voronoi图式                  
 6. 5. 2  广义Voronoi图式                  
 6. 6  平面形状的定性表示                  
 6. 6. 1  关于定性表示                  
 6. 6. 2  基本概念                  
 6. 7  层次Voronoi骨架构造算法                  
 6. 8  定性Voronoi骨架                  
 6. 9  平面形状的定性逼近                  
 6. 9. 1  定性Voronoi骨架的化简                  
 6. 9. 2  定性Voronoi骨架的标识                  
 6. 10  布置的定性表示和处理                  
 第七章  应用                  
 7. 1  基于示例的定性定量混合系统                  
 7. 1. 1  引言                  
 7. 1. 2  定量和定性建模                  
 7. 1. 3  基于示例的定性推理                  
 7. 1. 4  定性与定量相结合与建模                  
 7. 1. 5  经济分析预测示例                  
 7. 2  CQSIM方法的应用                  
 7. 2. 1  选择观察标准, 实现一致部分的比较                  
 7. 2. 2  多个偏差共同作用的比较仿真                  
 7. 2. 3  行为拓扑变化                  
 7. 3  归并方法举例                  
 参考文献