The Determination of the Equivalence of Causal Theories
Yu Wang, Jinjin Zhang · 2021
In order to characterize causal relation, different scholars have studied it from multiple perspectives. In the field of logic, the causal theory proposed by Alexander elaborated the causal relationship from the perspective of nonmonotonic reasoning. The Horn causal theory and the concept of equivalence relationship are defined in his article, but the author did not give the determination method of equivalence relationship. In order to make up for this deficiency, this paper introduces the concept of bisimulation to describe the equivalence relation between Horn causal theories and proves the consistency between bisimulation relation and the equivalence of models. Then the corresponding algorithm is proposed to determine the equivalence. An example is also given to illustrate the application of this method in determining equivalence relationship.