Key points are not available for this paper at this time.
This paper surveys a number of kinds of default reasoning in Artificial Intelligence, specifically, default assignments to variables, the closed world assumption, the frame default for causal worlds, exceptions as defaults, and negation in Artificial Intelligence programming languages. Some of these defaults provide clear representational and computaional advantanges over their corresponding first order theories. Finally, the paper discusses various difficulties associated with default theories.
Raymond Reiter (Sun,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: