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

Class AbstractCreepingMachineShop

java.lang.Object

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

All Implemented Interfaces:

net.sf.tweety.commons.BeliefBaseMachineShop

Direct Known Subclasses:

PenalizingCreepingMachineShop, SmoothedPenalizingCreepingMachineShop, UnbiasedCreepingMachineShop

public abstract class AbstractCreepingMachineShop
extends Object
implements net.sf.tweety.commons.BeliefBaseMachineShop

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
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.
protected net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder	rootFinder

Constructor Summary

Constructors

Constructor	Description
AbstractCreepingMachineShop(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

Method Summary

Modifier and Type	Method	Description
protected PclBeliefSet	characteristicFunction(PclBeliefSet beliefSet, Map<ProbabilisticConditional,net.sf.tweety.math.probability.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 Map<ProbabilisticConditional,net.sf.tweety.math.probability.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.
net.sf.tweety.commons.BeliefBase	repair(net.sf.tweety.commons.BeliefBase beliefBase)

Methods inherited from class java.lang.Object

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

Field Detail

rootFinder

protected net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder

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(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

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

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,
                                              Map<ProbabilisticConditional,net.sf.tweety.math.probability.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 Map<ProbabilisticConditional,net.sf.tweety.math.probability.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.