Class PenalizingCreepingMachineShop
- java.lang.Object
-
- net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
- net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop
-
- All Implemented Interfaces:
BeliefBaseMachineShop
public class PenalizingCreepingMachineShop extends AbstractCreepingMachineShop
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set. Restoring consistency is performed by biased creeping of the original belief set using the cuplability vector, see [Diss, Thimm] for details.- Author:
- Matthias Thimm
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Map<ProbabilisticConditional,java.lang.Double>
culpVector
The culpability vector.private static org.slf4j.Logger
log
Logger.static double
MIN_STEP_LENGTH
The minimal step length for line search.static double
STEP_LENGTH
The step length for the line search.-
Fields inherited from class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
MAX_ITERATIONS, PRECISION
-
-
Constructor Summary
Constructors Constructor Description PenalizingCreepingMachineShop()
-
Method Summary
Modifier and Type Method Description protected double
getLowerBound()
Retrieves the lower bound for delta for this machine shop.protected double
getUpperBound()
Retrieves the upper bound for delta for this machine shop.protected java.util.Map<ProbabilisticConditional,Probability>
getValues(double delta, PclBeliefSet beliefSet)
Computes the values of the conditionals for step deltaBeliefBase
repair(BeliefBase beliefBase)
Repairs the given belief base, i.e.private double
u(double x)
Returns x iff x is in the uniform interval.-
Methods inherited from class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
characteristicFunction, init
-
-
-
-
Field Detail
-
STEP_LENGTH
public static final double STEP_LENGTH
The step length for the line search.- See Also:
- Constant Field Values
-
MIN_STEP_LENGTH
public static final double MIN_STEP_LENGTH
The minimal step length for line search.- See Also:
- Constant Field Values
-
culpVector
private java.util.Map<ProbabilisticConditional,java.lang.Double> culpVector
The culpability vector.
-
log
private static org.slf4j.Logger log
Logger.
-
-
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
- Overrides:
repair
in classAbstractCreepingMachineShop
- 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.
-
getLowerBound
protected double getLowerBound()
Description copied from class:AbstractCreepingMachineShop
Retrieves the lower bound for delta for this machine shop.- Specified by:
getLowerBound
in classAbstractCreepingMachineShop
- Returns:
- the lower bound for delta for this machine shop.
-
getUpperBound
protected double getUpperBound()
Description copied from class:AbstractCreepingMachineShop
Retrieves the upper bound for delta for this machine shop.- Specified by:
getUpperBound
in classAbstractCreepingMachineShop
- Returns:
- the upper bound for delta for this machine shop.
-
getValues
protected java.util.Map<ProbabilisticConditional,Probability> getValues(double delta, PclBeliefSet beliefSet)
Description copied from class:AbstractCreepingMachineShop
Computes the values of the conditionals for step delta- Specified by:
getValues
in classAbstractCreepingMachineShop
- Parameters:
delta
- the step parameter.beliefSet
- the belief set.- Returns:
- a map mapping conditionals to probabilities.
-
u
private double u(double x)
Returns x iff x is in the uniform interval. Otherwise it returns the next double from x that lies in the uniform interval.- Parameters:
x
- a double.- Returns:
- x iff x is in the uniform interval. Otherwise it returns the next double from x that lies in the uniform interval.
-
-