Before revision: The process of aggregation and resolution can be represented as follows: T = Resolve[Max{For(Ca,x, Cb,y, ...)}, Max{Against(Ca,x, Cb,y, ...)}] where T is the overall assessment of confidence in a proposition; Resolve[] is a function which returns the single confidence value which is the resolution of any pair of values; For and Against are the sets of arguments supporting and opposing the proposition, respectively; Ca,x, Cb,y, … , are the confidence values for those arguments; Max{...} is a function which returns the strongest member of the set upon which it operates (For or Against).
After revision: The process of aggregation and resolution can be represented as follows: T = Resolve[Max{For(Ca,x, Cb,y, ...)}, Max{Against(Ca,x, Cb,y, ...)}] where T is the overall assessment of confidence in a proposition; Resolve[] is a function which returns the single confidence value which is the resolution of any pair of values; For and Against are the sets of arguments supporting and opposing the proposition, respectively; Ca,x, Cb,y, ... , are the confidence values for those arguments; Max{...} is a function which returns the strongest member of the set upon which it operates (For or Against).