Explanation in the Situation Calculus

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.

• Type: Conference
• Year: 1993
• Where: IJCAI
• Authors: Murray Shanahan
• Keywords: Common Abductive Approach, Deductive Approach, IJCAI 1993, IJCAI 2007, So-called Stolen Car