On Relating Causal Theories to Other Formalisms
by Norman Mccain, Hudson Turner
http://www.d.umn.edu/~hudson/poct3.ps
Add To MetaCart
Abstract:
This paper explores mathematical relationships between the "causal theories " formalism recently introduced by the authors and several other (well-known) formalisms. More specifically, it relates causal theories to default logic and autoepistemic logic, and describes translations back and forth between causal theories and classical propositional logic. It also relates action representations in causal theories to two previous causality-based proposals, due to Lin and to the authors.
Citations
| 1177 | A logic for default reasoning – Reiter - 1979 |
| 787 | Negation as Failure – Clark - 1978 |
| 398 | Semantical considerations on non-monotonic logic – Moore - 1985 |
| 278 | Planning as satisfiability – Kautz, Selman - 1992 |
| 239 | Reasoning about action using a possible models approach – Winslett - 1988 |
| 219 | State constraints revisited – Lin, Reiter - 1994 |
| 154 | Embracing causality in specifying the indirect effects of actions – Lin - 1995 |
| 139 | A causal theory of ramifications and qualifications – McCain, Turner - 1995 |
| 133 | Causal theories of action and change – McCain, Turner - 1997 |
| 59 | Update by Means of Inference Rules – Przymusinski, Turner - 1995 |
| 30 | Extended logic programs as autoepistemic theories – Lifschitz, Schwarz - 1993 |
| 17 | Splitting a default theory – Turner - 1996 |
| 1 | A logic for causal reasoning – Lifschitz - 1997 |
