Package net.sf.tweety.logics.pcl.analysis

Class PenalizingCreepingMachineShop

java.lang.Object

net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop

net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop

All Implemented Interfaces:

net.sf.tweety.commons.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
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 Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability>	getValues(double delta, PclBeliefSet beliefSet)	Computes the values of the conditionals for step delta
net.sf.tweety.commons.BeliefBase	repair(net.sf.tweety.commons.BeliefBase beliefBase)

Methods inherited from class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop

characteristicFunction, init

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

PenalizingCreepingMachineShop

public PenalizingCreepingMachineShop()

Method Detail

repair

public net.sf.tweety.commons.BeliefBase repair(net.sf.tweety.commons.BeliefBase beliefBase)

Specified by:

repair in interface net.sf.tweety.commons.BeliefBaseMachineShop

Overrides:

repair in class AbstractCreepingMachineShop

getLowerBound

protected double getLowerBound()

Description copied from class: AbstractCreepingMachineShop

Retrieves the lower bound for delta for this machine shop.

Specified by:

getLowerBound in class AbstractCreepingMachineShop

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 class AbstractCreepingMachineShop

Returns:

the upper bound for delta for this machine shop.

getValues

protected Map<ProbabilisticConditional,net.sf.tweety.math.probability.Probability> getValues(double delta,
                                                                                                   PclBeliefSet beliefSet)

Description copied from class: AbstractCreepingMachineShop

Computes the values of the conditionals for step delta

Specified by:

getValues in class AbstractCreepingMachineShop

Parameters:

delta - the step parameter.

beliefSet - the belief set.

Returns:

a map mapping conditionals to probabilities.