Explanation in the Situation Calculus
Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. 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.
Murray Shanahan. 1993. Explanation in the Situation Calculus. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 160–164. https://ijcai.org/proceedings/1993/23
Shanahan, M. (1993). Explanation in the Situation Calculus. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 (pp. 160–164). IJCAI. https://ijcai.org/proceedings/1993/23
@inproceedings{ijcai1993p23,
title = {Explanation in the Situation Calculus},
author = {Shanahan, Murray},
booktitle = {Proceedings of the Thirteenth International Joint Conference on
Artificial Intelligence, {IJCAI-93}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Ruzena Bajcsy},
pages = {160--164},
year = {1993},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1993/23},
}
TY - CPAPER TI - Explanation in the Situation Calculus AU - Shanahan, Murray T2 - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93 PB - International Joint Conferences on Artificial Intelligence PY - 1993 SP - 160 EP - 164 UR - https://ijcai.org/proceedings/1993/23 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
