补充资料：定性推理

　　
　　定性推理
　　qualitative reasoning

　　d ingXing tu一l-定性推理(qualitative reasoning)从物理系统的结构描述出发，导出行为描述和功能描述，预测物理系统的行为，并给出因果关系的解释的一种非定量推理方法。 量的定性描述是有明确结构的一种非定量的、非精确的表示方法，如物理系统变化趋势的定性描述常是有效的。定性推理是源于物理现象的一种常识推理，1977年Reiger发表了第一篇定性推理的论文，1954年(衔tifieial Intelligence)杂志出版了定性推理专辑，刊登了D.J.幻代r，K.D.Forbus和B.K滋详rs等人关于定性推理的奠基性文章，标志着定性推理开始走向成熟。随后，定性推理得到人工智能界的普遍关注，得以发展。 传统的定量方法是精确描述物理量间的关系，但不具备推理能力，物理量之间的因果关系湮没在精确的数值中。而定性方法具备推理能力，能表达物理系统的因果关系，通过局部传播能在较高层次上给出系统的宏观描述。 结构描述和行为描述可理解为定量方程及其解的抽象，功能描述是对实际物理系统行为表现的一种理解。定性推理的论域是离散变化的符号集，最简单的定性论域是}+，O，一}，相当于把实数轴离散化为{(一co，0)，[0，0]，(0，+oo)}，开域内的值表现了定性一致的行为性质，而边界值则反映的是转化点。 定性推理的基本方法如下: En访sion方法系统的结构用一个定性方程组来描述，系统的论域采用符号集{+，O，一，?}。“?”的引人是为了保证运算的代数封闭性，表示不确定。系统的所有变量的一组取值构成一个状态，由初状态出发而得到的所有状态和状态转移构成了可能的展望空间。这种随时间变化的定性状态序列构成了系统的定性行为。 Q叮方法系统用个体视图和进程来描述，个体是实际物理系统中存在的物理实体。个体视图是对个体及个体组合的抽象和描述。进程描述实际物理系统的变化。从实际物理系统的结构描述获得系统的行为描述就是推导实际物理系统视图结构和进程结构的过程。 娜E以方法系统的论域是被物理量的界标离散化的实数轴，结构描述由系统物理量之间的约束组成。约束是物理量之间的定性关系，本质上是一组定性方程。推理过程是从系统的初状态产生所有可能的定性后继状态，根据约束关系从中选出各种相容的定性状态。重复这一过程，可得到实际物理 系统的定性状态变化过程。 因果分析法定性推理方法倾向于模拟人的思 维方式，在对物理系统的行为求解的同时，要对行为做出解释，包括基于约束的因果分析、因果顺序分析 和约束网络中的因果分析等。 定性定量相结合方法是在定性的基础上引人定量信息，二者结合进行推理。 定性空间推理方法涉及到刚体运动的几何性质，典型的如机器人运动的规划、导航。 定性推理有广泛的应用前景，如在诊断、设计等方面。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。