Possibilistic and probabilistic logic under coherence: default reasoning and System P.