A Logic For Causal Reasoning

Bochman, Alexander

A Logic For Causal Reasoning

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 141-145.

Abstract

We introduce a logical formalism of irreflexive causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism is shown to provide a complete characterization for the causal reasoning behind causal theories from [McCain and Turner, 1997]. It is shown also that any causal relation is reducible to its Horn sub-relation with respect to the nonmonotonic semantics. We describe also a general correspondence between causal relations and abductive systems, which shows, in effect, that causal relations allow to express abductive reasoning. The results of the study seem to suggest causal production relations as a viable general framework for nonrnonotonic reasoning.

Alexander Bochman. 2003. A Logic For Causal Reasoning. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 141–145. https://ijcai.org/proceedings/2003/20

@inproceedings{ijcai2003p20,
  title     = {A Logic For Causal Reasoning},
  author    = {Bochman, Alexander},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {141--145},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/20},
}

TY  - CPAPER
TI  - A Logic For Causal Reasoning
AU  - Bochman, Alexander
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 141
EP  - 145
UR  - https://ijcai.org/proceedings/2003/20
ER  -