Situation Calculus and Causal Logic (1998)
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 ramifications and nondeterminism, and related to the causal formalization of actions proposed by Lin.
In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cohn, Anthony and Schubert, Lenhart and Shapiro, Stuart (Eds.), pp. 536-546 1998.

Vladimir Lifschitz Faculty vl [at] cs utexas edu