Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
What does a conditional knowledge base entail?
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Default reasoning: causal and conditional theories
Default reasoning: causal and conditional theories
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Nonmonotonic logics: meaning and utility
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Qualitative MDPs and POMDPs: an order-of-magnitude approximation
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Belief functions and default reasoning
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
An order of magnitude calculus
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
Entailment in probability of thresholded generalizations
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
An experimental comparison of numerical and qualitative probabilistic reasoning
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Syntax-based default reasoning as probabilistic model-based diagnosis
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Exceptional subclasses in qualitative probability
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Reasoning with qualitative probabilities can be tractable
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
| Hi-index | 0.00 |
We develop a formalism for reasoning with defaults that are expressed with different levels of firmness. Necessary and sufficient conditions for consistency are established, and a unique ranking of the rules is found, called Z+, which renders models as normal as possible subject to the consistency conditions. We provide the necessary machinery for testing consistency, computing the Z+ ranking and drawing the set of plausible conclusions it entails.