A Logic for Causal Reasoning

Bochman, Alexander

A Logic for Causal Reasoning

IJCAI 2003 pp. 141-146

/ijcai/2003/bochman2003ijcai-logic/

Abstract

We introduce a logical formalism of irreflexive casual 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 casual reasoning behind casual 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 casual relations and abductive systems, which shows, in effect, that casual relations allow to express abductive reasoning. The results of the study seem to suggest causal production relations as a viable general framework for nonmonotonic reasoning.

PDF Semantic Scholar

Cite

Text

Bochman. "A Logic for Causal Reasoning." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Bochman. "A Logic for Causal Reasoning." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/bochman2003ijcai-logic/)

BibTeX

@inproceedings{bochman2003ijcai-logic,
  title     = {{A Logic for Causal Reasoning}},
  author    = {Bochman, Alexander},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {141-146},
  url       = {https://mlanthology.org/ijcai/2003/bochman2003ijcai-logic/}
}