Abstract
This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unified logical structure. A set of causal logics based on the framework are proposed to model causal propagations through logical relevancy and iterated effects of causation. It is shown that these logics capture the basic properties of causal reasoning.
| Original language | English |
|---|---|
| Pages (from-to) | 131-136 |
| Number of pages | 6 |
| Journal | IJCAI International Joint Conference on Artificial Intelligence |
| Publication status | Published - 2001 |
| Externally published | Yes |
| Event | 17th International Joint Conference on Artificial Intelligence, IJCAI 2001 - Seattle, WA, United States Duration: 4 Aug 2001 → 10 Aug 2001 |
Keywords
- Causality
- Common-sense reasoning
- Reasoning about actions