Abstract
Perhaps the most difficult, and certainly the most intensely studied problem in temporal reasoning is the persistence of information-that is, what reasonable inferences can we draw about non-change given partial knowledge of the world and of the changes taking place. Almost all previous work hinges on McCarthy's common sense law of inertia (CSLI): things tend not to change. The obvious consequence of adopting this view is that it becomes reasonable to infer that the duration of non-change is arbitrarily long. For instance, a typical inference in systems that appeal to CSLI is that if a person is alive now, the person will remain alive (arbitrarily long) until something happens that results in the person's death.
We describe a framework that allows a more realistic treatment of persistence by incorporating knowledge about the duration of persistence of information. Inferences, such as a wallet dropped on a busy street tends to remain where it fell for a shorter duration than a wallet lost on a hunting trip, can be drawn in this framework. Unlike the CSLI approach, this inference is possible without knowing what happened to change the wallet's location. We accomplish this by casting the problem of how long information persists as a problem in statistical reasoning.
Preview
Unable to display preview. Download preview PDF.
References
Proceedings of the 1987 Workshop: The Frame Problem in Artificial Intelligence, edited by F.M. Brown, Morgan Kaufmann, 1987.
T. Dean, and K. Kanazawa (1988), Probabilistic Causal Reasoning. Proceedings of the Seventh Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Edmonton, Canada, 125–132.
T. Dean, and G. Siegle (1990), An Approach to Reasoning about Continuous Change for Applications in Planning. Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, USA, 132–137.
Advances in Human and Machine Cognition: The Frame Problem in AI, edited by K. Ford and P. Hayes, Vol. 1, JAI Press Inc, to appear in 1991.
S.D. Goodwin, and A. Trudel (1991), Persistence in continuous first order temporal logics. To appear in [Ford91].
H. Kautz (1986), The logic of persistence. Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, USA, 401–405.
J. McCarthy, and P. Hayes (1969), Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4, edited by Meltzer and Michie, Edinburgh University Press, 463–502.
The Robot's Dilemma, edited by Z.W. Pylyshyn, Ablex Publishing, 1987.
Y. Shoham (1986), Chronological ignorance: Time, nonmonotonicity, necessity and causal theories. Proceedings of the Fifth National Conference on Artificial Intelligence, Philadelphia, USA, 389–393.
Y. Shoham (1987), What is the frame problem? Appears in [Brown87].
A. Trudel (1990), Temporal integration. Proceedings of the Eighth Biennial Conference of the Canadian Society for Computational Studies of Intelligence, Ottawa, Canada, 40–45.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goodwin, S.D., Neufeld, E., Trudel, A. (1991). Probabilistic regions of persistence. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_87
Download citation
DOI: https://doi.org/10.1007/3-540-54659-6_87
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54659-7
Online ISBN: 978-3-540-46426-6
eBook Packages: Springer Book Archive