复杂系统的定性表示与推理

？基于人工智能中树图推理的思想,提出一种对复杂系统进行定性描述和推理的方法.该方法基于图论把一般的定性约束方程转化为一种约束图的表示形式,并在虚拟因果理论基础上,得到描述系统波动演化的各关键变量的约束影响图形式.最后,比较了kuipers的qsim和本文发展出的方法,表明采用图形化的方式来表征系统各变量之间所存在的约束关系,可以得到和原系统等价的但变量数大大减少的约束影响图形式.这种处理可以推动定性推理的研究从qsim的实验室阶段走向实际应用领域.