Abstract: 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.