public class PARevisionOperator extends AbstractPAChangeOperator
|Constructor and Description|
Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
|Modifier and Type||Method and Description|
Given a partial probability assignment ppa and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state ppa.
change, getFunction, getNorm, getSemantics, prepareOptimizationProblem
public PARevisionOperator(PASemantics semantics, RealVectorNorm norm, SimpleRealValuedFunction f)
semantics- the semantics used for change.
norm- the norm used for distance measurement between probabilistic extensions.
f- the function that is maximized on the set of probabilistic extensions with minimal distance.
public ProbabilisticExtension change(PartialProbabilityAssignment ppa, DungTheory theory)