定性推理中一种因果分析方法

摘要

本文在分析定性推理因果分析法的基础上,提出了有限表分析方法和算法,把Simou的因果顺序方法的应用范围推广到非数值领域问题,容许冗余和诊断冲突等情形。本文进而分析了各种约束的性质,给出一种更广泛的因果性表示框架——因果语义结构表示法,并实现了一个实验系统SCAL。