Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
An introduction to possibilistic and fuzzy logics
Readings in uncertain reasoning
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
What does a conditional knowledge base entail?
Artificial Intelligence
A symbolic generalization of probability theory
A symbolic generalization of probability theory
Conditional logics of normality: a modal approach
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3): nonmonotonic reasoning and uncertain reasoning
Fuzzy Measure Theory
A Maximum Entropy Approach to Nonmonotonic Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
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
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Statistical foundations for default reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A unified view of consequence relation, belief revision and conditional logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Possibilistic logic, preferential models, non-monotonicity and related issues
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
First-order conditional logic revisited
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Plausibility measures: a user's guide
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
A qualitative Markov assumption and its implications for belief change
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
First-order conditional logic for default reasoning revisited
ACM Transactions on Computational Logic (TOCL)
Decision, nonmonotonic reasoning and possibilistic logic
Logic-based artificial intelligence
Qualitative decision theory: from savage's axioms to nonmonotonic reasoning
Journal of the ACM (JACM)
A theoretical framework for possibilistic independence in a weakly ordered setting
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Indexed rough approximations, a polymodal system, and generalized possibility measures
Data mining, rough sets and granular computing
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
A Thorough Axiomatization of a Principle of Conditional Preservation in Belief Revision
Annals of Mathematics and Artificial Intelligence
A unified framework for order-of-magnitude confidence relations
UAI '04 Proceedings of the 20th conference on Uncertainty in artificial intelligence
Graphoid properties of qualitative possibilistic independence relations
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Local Computation Schemes with Partially Ordered Preferences
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Ordinal and probabilistic representations of acceptance
Journal of Artificial Intelligence Research
A counterexample to theorems of Cox and fine
Journal of Artificial Intelligence Research
Plausibility measures: a general approach for representing uncertainty
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
First-order conditional logic revisited
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Possibilistic and standard probabilistic semantics of conditional knowledge
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Comparative uncertainty, belief functions and accepted beliefs
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Decision-making under ordinal preferences and comparative uncertainty
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
A qualitative Markov assumption and its implications for belief change
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Defining relative likelihood in partially-ordered preferential structures
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Acceptance, conditionals, and belief revision
WCII'02 Proceedings of the 2002 international conference on Conditionals, Information, and Inference
Hi-index | 0.00 |
In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, ε-semantics, possibilistic structures, and κ-rankings, that have been shown to be characterized by the same set of axioms, known as the KLM properties (for Kraus, Lehmann, and Magidor). While this was viewed as a surprise, we show here that it is almost inevitable. We do this by giving yet another semantics for defaults that uses plausibility measures, a new approach to modeling uncertainty that generalize other approaches, such as probability measures, belief functions, and possibility measures. We show that all the earlier approaches to default reasoning can be embedded in the framework of plausibility. We then provide a necessary and sufficient condition on plausibilities for the KLM properties to be sound, and an additional condition necessary and sufficient for the KLM properties to be complete. These conditions are easily seen to hold for all the earlier approaches, thus explaining why they are characterized by the KLM properties.