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

摘要

本文在分析定笥推量因果分析法的基础上，提出了有限列分析方法和算法，把Ｓｉｍｏｎ的因果顺序方法的应用范围推广到非数值领域问题，容许冗余和诊断中突等情形。本文进而分析了各种约束的性质，给出一种更广泛的因果性表示框架－因果语义结构表示法，并实现了一个实验系统ＳＣＡＬ。