Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Semantical considerations on nonmonotonic logic
Artificial Intelligence
Artificial Intelligence
Circumscription—a form of non-monotonic reasoning
Readings in nonmonotonic reasoning
Applications of circumscription to formalizing common-sense knowledge
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
A semantical approach to nonmonotonic logics
Readings in nonmonotonic reasoning
Eliminating the fixed predicates from a circumscription
Artificial Intelligence
Nonmonotonicity and the scope of reasoning
Artificial Intelligence
Reasoning with Incomplete Information
Reasoning with Incomplete Information
Hi-index | 0.00 |
One important facet of common-sense reasoning is the ability to draw default conclusions about the state of the world, so that one can, for example, assume that a given bird flies in the absence of information to the contrary. A deficiency in the circumscriptive approach to common-sense reasoning has been its difficulties in producing default that Tweety ≠ Blutto using ordinary circumscription, or conclude by default that a particular bird flies, if some birds are known not to fly. In this paper, we introduce a new form of circumscription, based on homomorphisms between models, that remedies these two problems and still retains the major desirable properties of traditional forms of circumscription.