A formal comparison of several theories of action. To be published as a CWI technical report; for a preliminary version: ftp://ftp.cwi.nl/pub/pdg/forcom.ps.Z
- P. D. Grünwald
We show that the theory of causation that makes use of causal networks is intimately related to nonmonotonic temporal reasoning. Applying the theory of causal networks in a logical context yields a new approach to nonmonotonic temporal reasoning that can be proven to be a generalization and/or correction of many existing ones, and that provides new insights on the old question on how, and whether at all, causation may be defined in logical terms.