Abstract
We describe a formalization of causal reasoning in an explicit temporal logic which solves the problems of temporal prediction and explanation in a simple but effective way. The persistence and the ramification problem are addressed. We show that minimization of event occurrences together with a principle of persistence is a sufficient preference criterion on interpretations if one requires the models to contain only justified causes.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Allen. Towards a general theory of action and time. Artificial Intelligence, (23):123–154, 1984.
A. B. Baker and M. L. Ginsberg. Temporal projection and explanation. In Proceedings of the IJCAI 89, pages 906–911, 1989.
J. J. Finger. Exploiting Constraints in Design Synthesis. PhD thesis, Stanford, 1987.
A. Galton. A critical examination of allen's theory of action and time. Artificial Intelligence, (42):159–188, 1990.
H. P. Grice. Logic and conversation. In Syntax and Semantics 3: Speech Acts, pages 41–48. Academic Press, 1967.
S. Hanks and D. McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, (33):379–412, 1987.
B. A. Haugh. Simple causal minimizations for temporal persistence and projection. In Proceedings of the AAAI 87, pages 218–223, 1987.
J. Hintikka. Model minimization — an alternative to circumscription. Journal of Automated Reasoning, (4):1–13, 1988.
H. A. Kautz. The logic of persistence. In Proceedings of the AAAI 86, pages 401–405, 1986.
V. Lifschitz. Formal theories of action. In The Frame Problem in Artificial Intelligence, pages 35–57. Morgan Kaufmann, 1987.
J. McCarthy. Epistemological problems of artificial intelligence. In Proceedings of the IJCAI 77, pages 1038–1044, 1977.
J. McCarthy. Applications of circumscription to formalizing commonsense knowledge. Artificial Intelligence, (13):89–116, 1986.
J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, 1969.
D. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, (6):101–155, 1982.
L. Morgenstern and L. A. Stein. Why things go wrong: A formal theory of causal reasoning. In Proceedings of the AAAI 88, pages 518–523, 1988.
E. Sandewall. Nonmonotonic entailment for reasoning about action, part i: Sequential actions. Lith-ida-r-88-27, Linköping University, 1988.
M. Shanahan. Prediction is deduction but explanation is abduction. In Proceedings of the IJCAI 89, pages 1055–1060, 1989.
Y. 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
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lorenz, S. (1991). Nonmonotonic temporal reasoning: Persistence, justified causation and event minimization. In: Ras, Z.W., Zemankova, M. (eds) Methodologies for Intelligent Systems. ISMIS 1991. Lecture Notes in Computer Science, vol 542. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54563-8_117
Download citation
DOI: https://doi.org/10.1007/3-540-54563-8_117
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54563-7
Online ISBN: 978-3-540-38466-3
eBook Packages: Springer Book Archive