Class UnbiasedCreepingMachineShop
- java.lang.Object
-
- net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
-
- net.sf.tweety.logics.pcl.analysis.UnbiasedCreepingMachineShop
-
- All Implemented Interfaces:
BeliefBaseMachineShop
public class UnbiasedCreepingMachineShop extends AbstractCreepingMachineShop
This class is capable of restoring consistency of a possible inconsistent probabilistic conditional belief set. Restoring consistency is performed by an unbiased creeping of the original belief set towards an uniform belief set, see [Diss, Thimm] for details.- Author:
- Matthias Thimm
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
MAX_ITERATIONS, PRECISION
-
-
Constructor Summary
Constructors Constructor Description UnbiasedCreepingMachineShop()
-
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 delta-
Methods inherited from class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop
characteristicFunction, init, repair
-
-
-
-
Method Detail
-
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.
-
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.
-
-