Solving the Ramification Problem: Causal Propagation in an Argumentation-Theoretic Approach

In this paper, we further develop a framework for reasoning about action. We show how the proposed formalism copes with complex action domains in the presence of indirect effects. Furthermore, we also introduce an alternative representation of dynamic systems that enables the proposed formalism to deal with sophisticated problems. We consider this to be the intermediate level between common-sense knowledge and scientific knowledge.