Journal of Philosophical Logic 17 (4):443 - 474 (1988)

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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00297513
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,177
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Non-Monotonic Logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Semantic Considerations on Nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
A Truth Maintenance System.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.

View all 6 references / Add more references

Citations of this work BETA

Against Logicist Cognitive Science.Mike Oaksford & Nick Chater - 1991 - Mind and Language 6 (1):1-38.
Implication with Possible Exceptions.Herman Jurjus & Harrie de Swart - 2001 - Journal of Symbolic Logic 66 (2):517-535.
Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.

View all 6 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
31 ( #366,312 of 2,499,416 )

Recent downloads (6 months)
1 ( #418,166 of 2,499,416 )

How can I increase my downloads?

Downloads

My notes