This operator implements a revision of some probabilistic assessment of
arguments upon the observation of an argumentation theory. More specifically, for
a given probabilistic semantics S, some norm N, a function f, and a partial probability assignment PPA,
it computes the PPA-compliant prob-function that 1.) has minimal N-distance to S-prob'functions and 2.) maximizes
function f.