Valuation pairs are introduced as a bipolar model of the assertability of propositions. These correspond to a pair of dual valuation functions, respectively, representing the strong property of definite assertability and the dual weaker property of acceptable assertability. In the case where there is uncertainty about the correct valuation pair for a language then a probability distribution is defined on possible valuation pairs. This results in two measures, μ+ giving the probability that a sentence is definitely assertable, and μ− giving the probability that a sentence is acceptable to assert. It is shown that μ+ and μ− can be determined directly from a two dimensional mass function m defined on pairs of sets of propositional variables. Certain natural properties of μ+ and μ− are easily expressed in terms of m, and in particular we introduce certain consonance or nestedness assumptions. These capture qualitative information in the form of assertability orderings for both the propositional variables and the negated propositional variables. On the basis of these consonance assumptions we show that label semantics, intuitionistic fuzzy logic and max-min fuzzy logic can all be viewed as special cases of this bipolar model. We also show that bipolar belief measures can be interpreted within an interval-set model.
|Journal||International Journal of Approximate Reasoning|
|Publication status||Published - 2011|
- Bipolar belief;