---
title: "Explanation in the Situation Calculus"
authors:
  - "Murray Shanahan"
doi: ""
url: "https://ijcai.org/proceedings/1993/23"
pdf: "https://ijcai.org/proceedings/1993/0023.pdf"
venue: "Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence"
year: 1993
pages: "160-164"
track: "Automated Reasoning"
keywords:
---

# Explanation in the Situation Calculus

Murray Shanahan

*Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence*, pages 160-164.

## 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.