Belief calculation : terminology

Formulation:

Let’s introduce some notation -- an “opinion vector” is a single point of belief against a fact and is composed of (belief, disbelief, uncertainty, authority.) where belief, disbelief, and uncertainty sum to 1.0. The notation is to prepend a ‘w’ to the entity whether a user opinion or fact. For example, a user U’s opinion on Fact F would have opinion vector wUF.

b(U1, F1) --> U1 believes F1
d(U1, F1) --> U1 disbelieves F1
u(U1, F1) --> U1 us uncertain about F1
a(U1) = x --> the authority of U1 is x
c(U1, F1) --> U1 has created F1
F22 = (F1 -> F2) --> There is a fact F22 that states that F1 supports F2
F22 = (F1 !> F2) --> There is a fact F22 that states that F1 weakens F2
wo(F1) = (b,d,u,a) --> weighted opinion on F1, results are (b=believe, d=disbelieve, u=uncertain, a=authority)
a(F1) = x --> the calculated authority of F1 is x