Abstract:
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.