Explanation in the Situation Calculus

Abstract

This paper explores different techniques for explanation within the framework of the situation calculus, using the so-called stolen car problem as its main example. Two approaches to explanation are compared: the deductive approach usually found in the literature, and a less common abductive approach. Both approaches are studied in the context of two different styles of representation. Introduction A great deal of attention has been given to the problem of formalising prediction, that is reasoning forwards in time from causes to effects, and in particular to the logical aspect of the frame problem. Fewer authors, however, have studied the converse problem of formalising temporal explanation (or postdiction), that is reasoning backwards in time from effects to causes. Temporal explanation is certainly as important as prediction, as it underlies planning and diagnosis, as well as being a fundamental mode of reasoning in its own right, so a thorough understanding of its nature is basic ...