International Journal of General Systems · 1988 · 27 citations · 6 references
HumanitiesPhilosophyKnowledge RepresentationLogicSet TheoryAxiomatic Set TheoryDeductive ReasoningFirst-order LogicNon-classical LogicPredicate LogicDefault LogicDefault ReasoningLogic Of KnowledgeLogical InferenceNonmonotonic LogicNonmonotonic Reasoning
Abstract We provide a set theoretic framework for looking at the classical logical inference problem. We then introduce within this framework a new class of propositions, called second order propositions, which provide a prototypical characterization of nonmonotonic type default knowledge. We study the properties of this new class of propositions.
6
Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations
Circumscription—A form of non-monotonic reasoning
John McCarthy · Artificial Intelligence · 1980 · 2K citations
Drew McDermott, Jon Doyle · Artificial Intelligence · 1980 · 891 citations · Full text