public abstract class AbstractPAChangeOperator extends java.lang.Object implements ChangeOperator
Modifier and Type | Field and Description |
---|---|
private SimpleRealValuedFunction |
f
The function that is maximized on the set of probabilistic extensions with minimal distance.
|
protected static long |
FIRST_OPTIMIZATION_WEIGHT
Optimizations carried out by ancestors of this class perform a two-level optimization.
|
private RealVectorNorm |
norm
The norm used for distance measurement between probabilistic extensions.
|
private PASemantics |
semantics
The semantics used for change.
|
Constructor and Description |
---|
AbstractPAChangeOperator(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 |
---|---|
abstract 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.
|
ProbabilisticExtension |
change(ProbabilisticExtension p,
DungTheory theory)
Given a probabilistic extension and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state p.
|
protected SimpleRealValuedFunction |
getFunction()
Returns the function f.
|
protected RealVectorNorm |
getNorm()
Returns the norm.
|
protected PASemantics |
getSemantics()
Returns the semantics.
|
protected void |
prepareOptimizationProblem(PartialProbabilityAssignment ppa,
DungTheory theory,
OptimizationProblem problem,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsComp,
java.util.Map<java.util.Collection<Argument>,FloatVariable> varsSem,
java.util.Vector<Term> varsCompVector,
java.util.Vector<Term> varsSemVector) |
protected static final long FIRST_OPTIMIZATION_WEIGHT
private PASemantics semantics
private RealVectorNorm norm
private SimpleRealValuedFunction f
public AbstractPAChangeOperator(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.protected PASemantics getSemantics()
protected RealVectorNorm getNorm()
protected SimpleRealValuedFunction getFunction()
public abstract ProbabilisticExtension change(PartialProbabilityAssignment ppa, DungTheory theory)
ChangeOperator
change
in interface ChangeOperator
ppa
- some partial probability assignment.theory
- some theory.protected void prepareOptimizationProblem(PartialProbabilityAssignment ppa, DungTheory theory, OptimizationProblem problem, java.util.Map<java.util.Collection<Argument>,FloatVariable> varsComp, java.util.Map<java.util.Collection<Argument>,FloatVariable> varsSem, java.util.Vector<Term> varsCompVector, java.util.Vector<Term> varsSemVector)
public ProbabilisticExtension change(ProbabilisticExtension p, DungTheory theory)
ChangeOperator
change
in interface ChangeOperator
p
- some probabilistic extension.theory
- some theory.