Abstract
We identify two pragmatic problems in temporal reasoning, the qualification problem and the extended prediction problem, the latter subsuming the infamous frame problem. Solutions to those seem to call for nonmonotonic inferences, and yet naive use of standard nonmonotonic logics turns out to be inappropriate.
Looking for an alternative, we first propose a uniform approach to constructing and understanding nonmonotonic logics. This framework subsumes many existing nonmonotonic formalisms, and yet is remarkably simple, adding almost no extra baggage to traditional logic.
We then use this framework to propose a solution to the qualification problem. We also outline a solution to the extended prediction problem, and speculate on a possible connection between the above discussion and the concept of causation.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
K.L. Clark. Negation as failure. In Logic and Databases, pages 293–322, Plenum Press, New York, 1978.
T. Dean. Temporal Imagery: An Approach to Reasoning about Time for Planning and Problem Solving. Ph.D. thesis, Yale University, Computer Science Department, 1986.
J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.
D. W. Etherington. Reasoning with Incomplete Information: Investigations of Non-Monotonic Reasoning. PhD thesis, Computer Science Department, University of British Columbia, 1986.
J. Halpern and Y. Moses. Towards a Theory of Knowledge and Ignorance: Preliminary Report. Technical Report RJ 4448 48136, IBM Research Laboratory, San Jose, October 1984.
S. Hanks and D. V. McDermott. Temporal Reasoning and Default Logics. Technical Report YALEU/CSD/RR 430, Yale University, October 1985.
V. Lifschitz. Computing circumscription. In Proc. 9th IJCAI, August 1985.
V. Lukaszewicz. Considerations on default logic. In Proceedings of the Workshop on Nonmonotonic Reasoning, pages 165–193, AAAI, 1984.
D. A. McAllester. Reasoning Utility Package User's Manual. Technical Report 667, M.I.T. AI Lab Memo, 1982.
J. M. McCarthy, Circumscription—a form of non monotonic reasoning. Artificial Intelligence, 13:27–39, 1980.
J. M. McCarthy and P. J. Hayes. Some philosopical problems from the standpoint of artificial intelligence. In Readings in Artificial Intelligence, pages 431–450, Tioga Publishing Co., Palo Alto, CA, 1981.
D. V. McDermott. Contexts and data dependencies: a synthesis. IEEE Trans. on Pattern Analysis and Machine Intelligence, 5(3):237–246, 1983.
D. V. McDermott. Nonmonotonic logic II: nonmonotonic modal theories. JACM, 29(1):33–57, 1982.
D. V. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6:101–155, 1982.
D. V. McDermott and J. Doyle. Nonmonotonic Logic I. Artificial Intelligence, 13:41–72, 1980.
R. C. Moore. Semantical considerations on nonmonotonic logic. In Proc. 8th IJCAI, Germany, 1983.
Z. W. Pylyshyn, editor. The Robot's Dilemma. Norwood, New Jersey, 1986.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
Y. Shoham. Reasoning about Change. MIT Press, Boston, MA, 1987.
Y. Shoham and D. McDermott, Problems in temporal reasoning. Artificial Intelligence, to appear, 1988.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shoham, Y. Efficient reasoning about rich temporal domains. J Philos Logic 17, 443–474 (1988). https://doi.org/10.1007/BF00297513
Issue Date:
DOI: https://doi.org/10.1007/BF00297513