定性仿真与定性推理.ppt

定性仿真与定性推理 定性仿真、定性推理的发展 1983年美国学者de Kleer和Brown提出的关于定性建模和定性推理的理论，1984年国际人工智能杂志第一次出版了关于定性问题的专辑。 随着定性仿真理论的发展与日趋成熟，也形成了各种流派，其中比较有影响的流派有： Seely Brown和John De Kleer提出的的基于流的概念的理论 K.D.Forbus的定性过程理论（QPT） B.J.kuipers的基于QSIM的定性仿真理论 B.C.Williams的定性代数理论等等 定性仿真中的定性推理理论 模糊仿真法 归纳推理法 非因果关系推理法 基于因果关系的推理方法 基于图表的推理方法 基于定性空间的推理方法 方法介绍 模糊仿真法 指将模糊数学和定性仿真理论结合起来的一种方法。 归纳推理法 归纳推理法源于通用系统理论中的GSPS技术。其基本思想是假设所研究系统是一个黑箱，观察其输入输出值，以发现其规律生成定性行为模型，进而对任一输入序列预测系统行为。 非因果关系推理方法 非因果类方法主要是因为系统建模时不需要明确指出 系统内状态变迁过程的因果方向。其中的一些方法都已逐步从实验阶段发展到工程实践领域。 ENVISION,QSIM,QPT,TCP时间推理方法等，都属于这一类范畴。 1. ENVISION: 组元component为中心一基于流的方法 Seely Brown 和John de Kleer 提出了基confluence的概念的理论，并据此建立了ENVISION 系统。该理论认为一个系统可以用三种元素来描述：材料(materials )，组元(components)，通道(conduits)。组元作用于材料并改变其形式或特性，一个组元的材料经通道流到另一个组元，组元以一系列变量、流、连接点描述。流表示的是一种约束关系，这种约束关系决定着处在平衡点附近的变量的变化。 2. QPT: 过程为中心的方法 K.D.Fobus 于1984 年围绕着过程(process)的概念提出了QPT 建模与仿真方法，该方法认为分析物理系统实际上就是确定该系统是由哪些过程组成的，如液体流动过程、热量产生过程等，以及这些过程在不同情况下是如何影响 系统发展的。过程是与对象或个体视图相关联的，系统变量的值只能由与它关联的活动过程改变。 3. QSIM: 约束为中心的方法 B.J.Kuipers 在1986 年提出了基于定性微分方程的定性仿真理论，并给出了QSIM 算法。这是目前定性仿真中发展得最成熟的理论，且应用最为广泛。QSIM 理论认为系统由三种元素组成：变量(variables)，约束(constraints)，操作域(operating regions)。定性仿真算法是以描述系统定性结构的定性微分方程和系统的一个初始状态为输入，通过仿真得到输出结果。 4. TCP: 时间约束传播temporal constraint propagator Williams B. C. 1989 提出了此方法，主要是根据人们对连续物理系统的因果性、连续性、反馈等特性的直觉认知去分析系统行为，注重系统个体按局部、时间顺序的发展过程，即行为的历史(histories)。TCP 是基于约束传 播的定性推理技术，量值仅能通过关于区间的约束方程传播。系统输出的不仅仅包括变量的值，还给出了变量变化的历史，即变量为什么这样变化的推理过程。 基于因果关系的推理方法 基于因果关系的推理方法无一例外地依赖于有向图(oriented graph)定性传递函数方法。 基于图表的推理方法 基于定性空间的推理方法 由于对空间图形的推理在用传统定性推理理论进行描述时，缺乏形象的表现力，许多科学家都致力于建立完整的专门基于定性空间推理的理论。在进行空间推理的时候，利用方向、距离、拓扑序、连接性、边界、区域、形状等对空间实体进行定性描述。 定性推理法的应用 工程和工业过程 欧洲的 ESPRIT 计划中有一个名为ARTIST 的项目，项目完成于1993 年7 月，领导者是Heriot-Watt 大学的Leitch R. Leitch 等人建立了一个基于定性微分方程(QDE)和模糊量空间的定性仿真器: Fusim, 现已应用在输配电网络和化工厂蒸馏塔的过程监控分析诊断上。 ESPRIT 计划中另一应用定性推理的重要项是:TIGER 工程— 汽轮机的监测、诊断系统。现已应用在Exxon化工厂的大型工业汽轮机以及Dassau