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 doublegetLowerBound()Retrieves the lower bound for delta for this machine shop.protected doublegetUpperBound()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:AbstractCreepingMachineShopComputes the values of the conditionals for step delta- Specified by:
getValuesin 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:AbstractCreepingMachineShopRetrieves the lower bound for delta for this machine shop.- Specified by:
getLowerBoundin classAbstractCreepingMachineShop- Returns:
- the lower bound for delta for this machine shop.
-
getUpperBound
protected double getUpperBound()
Description copied from class:AbstractCreepingMachineShopRetrieves the upper bound for delta for this machine shop.- Specified by:
getUpperBoundin classAbstractCreepingMachineShop- Returns:
- the upper bound for delta for this machine shop.
-
-