The Distribution of Quasi-Truth Degree in 4-Valued Lukasiewicz Logic System (I)
Weibing Zuo · 2010
For the approximate reasoning method based on truth degree is extended to the case of non-uniform assignment, we define assignment weight vector in discrete probability space and quasi-truth degree of formula in Lukasiewicz 4-valued logic system which is popularized from truth degree of formula. We also prove that the set of quasi-truth degree of all formulas in the range of [0,1] is dense and give the general expression of quasi-truth degree when assignment weight vector is (a/7, b/7, c/7, d/7). We provide a possible structure of approximate reasoning theory.