Class AbstractCreepingMachineShop
- java.lang.Object
-
- net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
- All Implemented Interfaces:
BeliefBaseMachineShop
- Direct Known Subclasses:
PenalizingCreepingMachineShop
,SmoothedPenalizingCreepingMachineShop
,UnbiasedCreepingMachineShop
public abstract class AbstractCreepingMachineShop extends java.lang.Object implements BeliefBaseMachineShop
The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description private static org.slf4j.Logger
log
Logger.static int
MAX_ITERATIONS
The maximum number of steps in the line search.static double
PRECISION
The precision for finding the minimal consistent knowledge base.
-
Constructor Summary
Constructors Constructor Description AbstractCreepingMachineShop()
-
Method Summary
Modifier and Type Method Description protected PclBeliefSet
characteristicFunction(PclBeliefSet beliefSet, java.util.Map<ProbabilisticConditional,Probability> values)
Returns a modified belief base that replaces each conditionals probability by the one given by "values".protected abstract double
getLowerBound()
Retrieves the lower bound for delta for this machine shop.protected abstract double
getUpperBound()
Retrieves the upper bound for delta for this machine shop.protected abstract java.util.Map<ProbabilisticConditional,Probability>
getValues(double delta, PclBeliefSet beliefSet)
Computes the values of the conditionals for step deltaprotected void
init(PclBeliefSet beliefSet)
Performs some optional initializations before beginning to restore consistency.BeliefBase
repair(BeliefBase beliefBase)
Repairs the given belief base, i.e.
-
-
-
Field Detail
-
log
private static org.slf4j.Logger log
Logger.
-
PRECISION
public static final double PRECISION
The precision for finding the minimal consistent knowledge base.- See Also:
- Constant Field Values
-
MAX_ITERATIONS
public static final int MAX_ITERATIONS
The maximum number of steps in the line search.- See Also:
- Constant Field Values
-
-
Method Detail
-
repair
public BeliefBase repair(BeliefBase beliefBase)
Description copied from interface:BeliefBaseMachineShop
Repairs the given belief base, i.e. restores consistency.- Specified by:
repair
in interfaceBeliefBaseMachineShop
- Parameters:
beliefBase
- a possibly inconsistent belief base.- Returns:
- a consistent belief base that is as close as possible to the given belief base. NOTE: if the given belief base is consistent this method is expected to return it unmodified.
-
init
protected void init(PclBeliefSet beliefSet)
Performs some optional initializations before beginning to restore consistency.- Parameters:
beliefSet
- a PCL belief set.
-
characteristicFunction
protected PclBeliefSet characteristicFunction(PclBeliefSet beliefSet, java.util.Map<ProbabilisticConditional,Probability> values)
Returns a modified belief base that replaces each conditionals probability by the one given by "values".- Parameters:
beliefSet
- a belief setvalues
- a map from conditionals to probabilities.- Returns:
- a modified belief set.
-
getValues
protected abstract java.util.Map<ProbabilisticConditional,Probability> getValues(double delta, PclBeliefSet beliefSet)
Computes the values of the conditionals for step delta- Parameters:
delta
- the step parameter.beliefSet
- the belief set.- Returns:
- a map mapping conditionals to probabilities.
-
getLowerBound
protected abstract double getLowerBound()
Retrieves the lower bound for delta for this machine shop.- Returns:
- the lower bound for delta for this machine shop.
-
getUpperBound
protected abstract double getUpperBound()
Retrieves the upper bound for delta for this machine shop.- Returns:
- the upper bound for delta for this machine shop.
-
-