Situation Calculus and Causal Logic

In the AAAI-97 paper by McCain and Turner, the frame problem is solved using a nonmonotonic causal logic. In this note we show how their method can be adapted to the language of the situation calculus. The \causal situation calculus" is applied to action domains involving ramiications and nondeterminism, and related to the causal formalization of actions proposed by Lin.