DFCR:因果推理的一种形式框架

DFCR: A FORMAL FRAMEWORK FOR CAUSAL REASONING

针对因果推理的形式化相对较弱，本文在定义了“确定性因果关系”的基础上，给出了因果推理的形式框架ＤＦＣＲ，并对因果推理的问题和过程进行了刻画．而后设计了一个因果推理系统ＣＲＳＣ，实现并验证了本文因果推理形式框架和方法，最后与因果推理领域中的已有工作进行了比较．

It is known that existing frameworks for causal reasoning are relatively weak. Based on the definitive causal relation, a formal framework for causal reasoning named DFCR is provided. Then a causal reasoning system called CRSC is given, implementing and checking the ideas in this paper. Finally, this work is compared with Iwasaki's and Dechter's causal reasoning methods.