Abstract
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an explicit representation of qualitative temporal information which provides a simpler and more natural representation than the situation calculus. We show how to generate more specific explanations by instantiating explanations and assuming an Open World Assumption. We argue that a framework for reasoning about action should be able to deal with concurrent and durative actions and show how they can be represented in our system.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
James F. Allen and Patrick J. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5:225–238, 1989.
Tom Bylander, Dean Allemang, Michael C. Tanner, and John R. Josephson. The computational complexity of abduction. Artificial Intelligence, 49:25–60, 1991.
Luca Console, Daniele Theseider Dupré, and Pietro Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661–690, 1991.
Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133–141, 1991.
Johann Gamper and Wolfgang Nejdl. Formalizing reasoning about change: A temporal diagnosis approach. In Proceedings of the 2nd Dutch/German Workshop on Non-Monotonic Reasoning, pages 60–66, Utrecht, The Netherlands, March 1995.
M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In R. Boyer, editor, Automated Reasoning: essays in honor of Woods Bledsoe, pages 167–179. Kluwer Academic, 1991.
Henry A. Kautz. The logic of persistence. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 401–405, Philadelphia, Pennsylvania, 1986. Morgan Kaufmann Publishers, Inc.
Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(l):67–95, 1986.
Vladimir Lifschitz and Arkady Rabinov. Miracles in formal theories of action. Artificial Intelligence, 38(2):225–237, March 1989.
Fangzhen Lin and Yoav Shoham. Concurrent actions in the situation calculus. In Proceedings of the National Conference on Artificial Intelligence (AAAI), pages 590–595, San Jose, California, July 1992. MIT Press.
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4, 1969.
Wolfgang Nejdl and Johann Gamper. Harnessing the power of temporal abstractions in modelbased diagnosis of dynamic systems. In Proceedings of the 11th European Conference on Artificial Intelligence, pages 667–671, Amsterdam, The Netherlands, August 1994. John Wiley & Sons.
Murray Shanahan. Explanation in the situation calculus. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 160–165, Chambéry, France, August 1993. Morgan Kaufmann Publishers, Inc.
Yoav Shoham. Chronological ignorance: Experiments in nonmonotonic temporal reasoning. Artificial Intelligence, 36:279–331, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gamper, J., Nejdl, W. (1995). Formalizing reasoning about change: A temporal diagnosis approach. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_33
Download citation
DOI: https://doi.org/10.1007/3-540-60437-5_33
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60437-2
Online ISBN: 978-3-540-47468-5
eBook Packages: Springer Book Archive