论文部分内容阅读
本文在分析定性推理因果分析法的基础上,提出了有限表分析方法和算法,把Simou的因果顺序方法的应用范围推广到非数值领域问题,容许冗余和诊断冲突等情形。本文进而分析了各种约束的性质,给出一种更广泛的因果性表示框架——因果语义结构表示法,并实现了一个实验系统SCAL。
Based on the analysis of causal analysis of qualitative reasoning, this paper presents a finite table analysis method and algorithm, which extends Simou’s causal sequential method to non-numerical domain problems, allows redundancy and diagnoses conflicts. This paper further analyzes the nature of various constraints, gives a wider representation of causality - causal semantic structure representation, and implements an experimental system SCAL.