public class PARevisionOperator extends AbstractPAChangeOperator
FIRST_OPTIMIZATION_WEIGHT
Constructor and Description |
---|
PARevisionOperator(PASemantics semantics,
RealVectorNorm norm,
SimpleRealValuedFunction f)
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 |
---|---|
ProbabilisticExtension |
change(PartialProbabilityAssignment ppa,
DungTheory theory)
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)
ChangeOperator
change
in interface ChangeOperator
change
in class AbstractPAChangeOperator
ppa
- some partial probability assignment.theory
- some theory.