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:

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 and 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 and Description
PenalizingCreepingMachineShop()

Method Summary

Modifier and Type	Method and 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
BeliefBase	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

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

culpVector

private java.util.Map<ProbabilisticConditional,java.lang.Double> culpVector

The culpability vector.

log

private static org.slf4j.Logger log

Logger.

Constructor Detail

PenalizingCreepingMachineShop

public PenalizingCreepingMachineShop()

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 interface BeliefBaseMachineShop

Overrides:

repair in class AbstractCreepingMachineShop

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

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.