Graduate studies at Western
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)|
|Through your library||Configure|
Similar books and articles
Steven O. Kimbrough & Hua Hua (1991). On Nonmonotonic Reasoning with the Method of Sweeping Presumptions. Minds and Machines 1 (4):393-416.
Niki Pfeifer & G. D. Kleiter (2006). Is Human Reasoning About Nonmonotonic Conditionals Probabilistically Coherent? In Proceedings of the 7 T H Workshop on Uncertainty Processing.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Henry E. Kyburg Jr (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Henry E. Kyburg (2001). Real Logic is Nonmonotonic. Minds and Machines 11 (4):577-595.
Joeri Engelfriet & Jan Treur (1998). An Interpretation of Default Logic in Minimal Temporal Epistemic Logic. Journal of Logic, Language and Information 7 (3):369-388.
Arnon Avron, General Patterns for Nonmonotonic Reasoning: From Basic Entailments to Plausible Relations.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
Gerhard Brewka (1991). Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press.
Added to index2009-01-28
Total downloads3 ( #214,936 of 754,747 )
Recent downloads (6 months)1 ( #63,372 of 754,747 )
How can I increase my downloads?