zbMATH — the first resource for mathematics

A theory of inferred causation. (English) Zbl 0765.68177
Principles of knowledge representation and reasoning, Proc. 2nd Int. Conf., Cambridge/MA (USA) 1991, 441-452 (1991).
Summary: [For the entire collection see Zbl 0747.00023.]
We propose a minimal-model semantics of causation, and show that, contrary to common folklore, genuine causal influences can be distinguished from spurious covariations following standard norms of inductive reasoning. We also establish a sound characterization of the condition under which such a distinction is possible. We provide an effective algorithm for inferred causation and show that, for a large class of data the algorithm can uncover the direction of causal influence as defined above. Finally, we address the issue of non-temporal causation.

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T05 Learning and adaptive systems in artificial intelligence