Plausibility measures and default reasoning
From MaRDI portal
Abstract: We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as probability measures, belief functions, and possibility measures. We focus on one application of plausibility measures in this paper: default reasoning. 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. While this was viewed as a surprise, we show here that it is almost inevitable. In the framework of plausibility measures, we can give a necessary condition for the KLM axioms to be sound, and an additional condition necessary and sufficient to ensure that the KLM axioms are complete. This additional condition is so weak that it is almost always met whenever the axioms are sound. In particular, it is easily seen to hold for all the proposals made in the literature.
Recommendations
Cited in
(47)- Default reasoning and possibility theory
- Modelling default and likelihood reasoning as probabilistic reasoning.
- System JLZ -- rational default reasoning by minimal ranking constructions.
- Default reasoning from conditional knowledge bases: Complexity and tractable cases
- Preferential accessibility and preferred worlds
- A modal logic for subjective default reasoning
- Automated non-monotonic reasoning in System \textbf{P}
- Default consequence relations from topology and measure theory
- Preserving confidentiality while reacting on iterated queries and belief revisions
- Independence and convergence in non-additive settings
- A logic with approximate conditional probabilities that can model default reasoning
- Linguistic quantifiers modeled by Sugeno integrals
- Weak nonmonotonic probabilistic logics
- Two concepts of plausibility in default reasoning
- On a rule-based interpretation of default conditionals
- The induction ability of qualitative plausibility measures in default reasoning
- A Minimal Model Semantics for Nonmonotonic Reasoning
- Probabilistic approach to nonmonotonic consequence relations
- A computationally grounded, weighted doxastic logic
- Smoothing and filtering with a class of outer measures
- On mathematical foundations of the plausibility theory
- Measure Logic
- Local Computation Schemes with Partially Ordered Preferences
- Theorem proving for conditional logics: CondLean and GOALDUCK
- Conditional ranking revision. Iterated revision with sets of conditionals
- Comparative possibility in set contraction
- scientific article; zbMATH DE number 1269590 (Why is no real title available?)
- Adaptively applying modus ponens in conditional logics of normality
- Conditional \(p\)-adic probability logic
- scientific article; zbMATH DE number 1923156 (Why is no real title available?)
- Intricate axioms as interaction axioms
- Completeness for counter-doxa conditionals -- using ranking semantics
- From KLM-style conditionals to defeasible modalities, and back
- Taxonomy of powerful voters and manipulation in the framework of social choice functions
- Enabling local computation for partially ordered preferences
- On manipulation in merging epistemic states
- The implicative conditional
- Embeddings as epistemic states: limitations on the use of pooling operators for accumulating knowledge
- Definable conditionals
- Between burgess and Lewis. II: Semantics without rational monotonicity
- Between burgess and Lewis. I: Logics without rational monotonicity
- Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence
- Fuzzy \(rr\)DFCSP and planning
- Revision by comparison
- Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
- Semantic characterization of rational closure: from propositional logic to description logics
This page was built for publication: Plausibility measures and default reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5441354)
