A modified uncertain entailment model

Abstract

Uncertain entailment model, presented by Liu in 2009, is a methodology for calculating the truth values of all uncertain formulae from an arbitrary subfamily of uncertain formulae with known truth values. In this paper, we find that the uncertain entailment model works only under some additional conditions. To sketch these conditions, a new notion of uncertain measure-evaluation (U-evaluation for short) is introduced, and a consistent theory based on it is presented. Then a modified (or more concrete) uncertain entailment model is given. Also, a practical example is provided to illustrate the effectiveness of the model.