Symbolic Causal Networks for Reasoning about Actions and Plans

Decision-Theoretic Planning

Volume

Papers from the 1994 AAAI Spring Symposium

Contents

We present an approach for reasoning about actions and plans when domain knowledge is represented by a symbolic causal network, which is a principled, logical representation of a domain that explicates its perceived causal structure. The proposed approach shows that causal structures can play a key role in logical reasoning about actions given their effective role in dealing with some of the problems associated with such reasoning, including the frame, ramification, and concurrency problems.