A Theory for Causal Reasoning

The objective of this paper is to study causal inference as an issue of common sense reasoning. It is well known that causal inference cannot be represented by classical implication which has a number of properties not correct for causal implication, such as monotonicity, contraposition or transitivity. In several fields of artificial intelligence, causality has been represented in different ways, by conditional-type operators [5],[9],[10], by modal operators [2],[14],[6], by meta-rules [13],[3] and by means of non-logical predicates [7].