Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Logic for problem-solving
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Miracles in formal theories of action
Artificial Intelligence
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Abduction versus closure in causal theories
Artificial Intelligence
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Prediction is deduction but explanation is abduction
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Application of theorem proving to problem solving
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Formalizing reasoning about change: a qualitative reasoning approach
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Concurrent actions in the situation calculus
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
| Hi-index | 0.00 |
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.