Plausibility measures and default reasoning

摘要: In recent years, a number of different semantics for defaults have been proposed, such as preferential structures, e-semantics, possibilistic and κ-rankings, that shown to be characterized by the same set axioms, known KLM properties (for Kraus, Lehmann, Magidor). While this was viewed surprise, we show here it is almost inevitable. We do giving yet another uses plausibility measures, new approach modeling uncertainty generalize other approaches, probability belief functions, possibility measures. all earlier approaches default reasoning can embedded in framework plausibility. then provide necessary sufficient condition on plausibilities sound, an additional complete. These conditions are easily seen hold thus explaining why they properties.