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

Class AbstractCreepingMachineShop

java.lang.Object

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

All Implemented Interfaces:

BeliefBaseMachineShop

Direct Known Subclasses:

PenalizingCreepingMachineShop, SmoothedPenalizingCreepingMachineShop, UnbiasedCreepingMachineShop

public abstract class AbstractCreepingMachineShop
extends java.lang.Object
implements BeliefBaseMachineShop

The common ancestor vor creeping machine shops, see [Diss, Thimm] for details.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private static org.slf4j.Logger	log	Logger.
static int	MAX_ITERATIONS	The maximum number of steps in the line search.
static double	PRECISION	The precision for finding the minimal consistent knowledge base.

Constructor Summary

Constructors

Constructor	Description
AbstractCreepingMachineShop()

Method Summary

Modifier and Type	Method	Description
protected PclBeliefSet	characteristicFunction(PclBeliefSet beliefSet, java.util.Map<ProbabilisticConditional,Probability> values)	Returns a modified belief base that replaces each conditionals probability by the one given by "values".
protected abstract double	getLowerBound()	Retrieves the lower bound for delta for this machine shop.
protected abstract double	getUpperBound()	Retrieves the upper bound for delta for this machine shop.
protected abstract java.util.Map<ProbabilisticConditional,Probability>	getValues(double delta, PclBeliefSet beliefSet)	Computes the values of the conditionals for step delta
protected void	init(PclBeliefSet beliefSet)	Performs some optional initializations before beginning to restore consistency.
BeliefBase	repair(BeliefBase beliefBase)	Repairs the given belief base, i.e.

Methods inherited from class java.lang.Object

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

Field Detail

log

private static org.slf4j.Logger log

Logger.

PRECISION

public static final double PRECISION

The precision for finding the minimal consistent knowledge base.

See Also:

Constant Field Values

MAX_ITERATIONS

public static final int MAX_ITERATIONS

The maximum number of steps in the line search.

See Also:

Constant Field Values

Constructor Detail

AbstractCreepingMachineShop

public AbstractCreepingMachineShop()

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

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.

init

protected void init(PclBeliefSet beliefSet)

Performs some optional initializations before beginning to restore consistency.

Parameters:

beliefSet - a PCL belief set.

characteristicFunction

protected PclBeliefSet characteristicFunction(PclBeliefSet beliefSet,
                                              java.util.Map<ProbabilisticConditional,Probability> values)

Returns a modified belief base that replaces each conditionals probability by the one given by "values".

Parameters:

beliefSet - a belief set

values - a map from conditionals to probabilities.

Returns:

a modified belief set.

getValues

protected abstract java.util.Map<ProbabilisticConditional,Probability> getValues(double delta,
                                                                                       PclBeliefSet beliefSet)

Computes the values of the conditionals for step delta

Parameters:

delta - the step parameter.

beliefSet - the belief set.

Returns:

a map mapping conditionals to probabilities.

getLowerBound

protected abstract double getLowerBound()

Retrieves the lower bound for delta for this machine shop.

Returns:

the lower bound for delta for this machine shop.

getUpperBound

protected abstract double getUpperBound()

Retrieves the upper bound for delta for this machine shop.

Returns:

the upper bound for delta for this machine shop.