讲义-第1部分-第5章-定性模拟原理.docVIP

第5章 定性模拟原理 5.1 管理系统的复杂性特征 复杂管理系统的特征包括： （1）突变性。 （2）不确定性。 （3）不完备性。 （4）歧义性。 （5）学习性。 （6）均衡性。 5.2 定性模拟的发展过程 1984年美国学者de Kleer和Brown提出的关于定性建模和定性推理的理论，1984年国际人工智能杂志第一次出版了关于定性问题的专辑。 上世纪90年代以来，我国学者在引进、改进定性模拟方法上做了大量工作，并且将定性模拟方法引用到企业管理领域，例如改进或集成定性推理方法，包括QSIM和因果推理等，将它们用于群体行为变化过程的定性模拟。 5.3 定性模拟方法的分类[14] 目前的定性模拟方法主要是基于“推理”的，它们可分为非因果关系推理和因果关系推理。 5.3.1 非因果关系推理方法 1）de Kleer的展望方法 2）Forbus的定性过程方法 定性过程理论（简称为QPT） 3）Kuipers的QSIM方法 5.3.2 因果关系推理方法 1）Iwasaki和Simon的因果顺序方法 朴素物理学派中的定性因果推理法源于Simon于1950年提出的因果序（Causality ordering）理论。 2）归纳推理法 基本思想是将系统视为一个黑箱，通过观察其输入输出值，发现其变化规律，并生成定性行为模型，而后对任一输入序列预测系统行为。 5.4 QSIM方法 5.4.1 基本概念 为可推理函数，当且仅当满足下列条件： (1)在闭区间上连续， (2)在开区间上连续且可微， 2）路标值（Landmark Value） 3）显著时间点（Distinguished Time） 显著时间点集合与路标值集合分别表示为，。 4）定性状态与定性行为 （1）定义在时刻的值为： （2）定义在时刻的方向为： （3）定义在时刻的定性状态为： 其中， QVAL (f,t)，QDIR (f,t) 为二元组。例如：QS (temperature，)= (0,100), inc 表示时水温在是在00C与1000C之间，且正在上涨。 (4)在上的定性行为定义为的定性状态序列： ,,,,,,, 即定性行为由在显著时间点上的定性状态和显著时间点间的定性状态间隔组成。 5.4.2 定性模型 1）约束 （1）加约束ADD (f,g,h)： 对于任意，，满足。 （2）乘约束MULT(f,g,h)： 对于任意，，满足。 （3）反约束MINUS(f,g)： 对于任意，，满足。 （4）微分约束DERIV(f,g)： 对于任意，，满足。 （5）单调增约束M+(f,g)： （6）单调减约束M-(f,g)： 2）定性微分方程(Qualitative Differential Equation) 用一个例子来说明抽象过程。 为线性微分方程。令A=，B=，C=，T=，则原方程可分解为：=A，B+C=A，kT= B，CC=T。 从而得到定性微分方程：DERIV(y,A)，ADD(B,C,A)，MULT(,T,B)，MULT(C,C,T)。 5.4.3 定性状态转换 表1.5.1 通用函数状态转换表 P-转换 QS(f,t)→QS(f,t,t) I-转换 QS(f,t,t)→QS(f,t) P l,std→l,std I l,std→l,std P l,std→(l,l),inc I (l,l),inc→l,std P l,std→(l,l),inc I (l,l),inc→l,inc P l,inc→(l,l),inc I (l,l),inc→(l,l),inc P (l,l),inc→(l,l),inc I (l,l),dec→l,std P l,dec→(l,l),dec I (l,l),dec→l,dec P (l,l),dec→s(l,l),dec I (l,l),dec→(l,l),dec I (l,l),inc→l,std I (l,l),dec(l,std 其中，P-转换表示从显著时间点上到显著时间点之间的定性状态转换。I-转换表示从显著时间点之间到显著时间点上的定性状态转换。它们的图形解释如图1.5.2(图2.3.17所示。 图1.5.2 转换P1 图1.5.3 转换P2 图1.5.4 转换P3 图1.5.5 转换P4 图1.5.6 转换P5 图1.5.7 转换P6 图1.5.8 转换P7 图1.5.9 转换I1 图1.5.10 转换I2 图1.5.11 转换I3 图1.5.12 转换I4 图1.5.13 转换I5 图1.5.14 转换I6 图1.5.15 转换I7 图1.5.16 转换I8 图1.5.17 转换I9 5.4.4 QSIM算法 1）输入 （1）代表物理系统m个参数的一个可推理函数集合。 （2）用