net.sf.tweety.logics.commons.analysis.streams

Class WindowInconsistencyMeasurementProcess<S extends Formula>

java.lang.Object

java.lang.Thread

net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>

net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S>

Type Parameters:

S - The type of formulas

T - The type of belief bases

All Implemented Interfaces:

java.lang.Runnable

Direct Known Subclasses:

PlWindowInconsistencyMeasurementProcess

public abstract class WindowInconsistencyMeasurementProcess<S extends Formula>
extends InconsistencyMeasurementProcess<S>

This inconsistency measurement process keeps a window of a number of previous formulas in memory and computes the inconsistency value from this window using an ordinary inconsistency measure.

Author:

Matthias Thimm

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
private BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double>	agg If X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by aggregating X1 and X2 with this function.
static java.lang.String	CONFIG_AGGREGATIONFUNCTION Key for the configuration map that points to the aggregation function used.
static java.lang.String	CONFIG_MEASURE Key for the configuration map that points to the inconsistency measure to be used.
static java.lang.String	CONFIG_NAME Key for the configuration map that points to the name to be used.
static java.lang.String	CONFIG_WINDOWSIZE Key for the configuration map that points to the window size to be used.
private java.util.Queue<S>	formulas the current window of formulas
private BeliefSetInconsistencyMeasure<S>	measure The inconsistency measure used
private java.lang.String	name The name of this process.
private double	previousValue The previous value of the measure.
private int	windowsize The window size.

Fields inherited from class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess

CONFIG_TIMEOUT

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
WindowInconsistencyMeasurementProcess()

Method Summary

Modifier and Type	Method and Description
protected void	init(java.util.Map<java.lang.String,java.lang.Object> config) Additional initialization statements are put here.
java.lang.String	toString()
protected double	update(S formula) Updates the inconsistency value with the new formula.

Methods inherited from class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess

abort, getInconsistencyValue, init, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, yield

Methods inherited from class java.lang.Object

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

Field Detail

measure

private BeliefSetInconsistencyMeasure<S extends Formula> measure

The inconsistency measure used

windowsize

private int windowsize

The window size.

formulas

private java.util.Queue<S extends Formula> formulas

the current window of formulas

previousValue

private double previousValue

The previous value of the measure.

agg

private BinaryFunction<java.lang.Double,java.lang.Double,java.lang.Double> agg

If X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by aggregating X1 and X2 with this function. If none is given the maximum function is assumed.

name

private java.lang.String name

The name of this process.

CONFIG_MEASURE

public static final java.lang.String CONFIG_MEASURE

Key for the configuration map that points to the inconsistency measure to be used.

See Also:

Constant Field Values

CONFIG_WINDOWSIZE

public static final java.lang.String CONFIG_WINDOWSIZE

Key for the configuration map that points to the window size to be used.

See Also:

Constant Field Values

CONFIG_AGGREGATIONFUNCTION

public static final java.lang.String CONFIG_AGGREGATIONFUNCTION

Key for the configuration map that points to the aggregation function used. If X1 is the previous inconsistency value, X2 is the new inconsistency value on the new window, then the actual new inconsistency value X is determined by aggregating X1 and X2 with this function. If none is given the maximum function is assumed.

See Also:

Constant Field Values

CONFIG_NAME

public static final java.lang.String CONFIG_NAME

Key for the configuration map that points to the name to be used.

See Also:

Constant Field Values

Constructor Detail

WindowInconsistencyMeasurementProcess

public WindowInconsistencyMeasurementProcess()

Method Detail

init

protected void init(java.util.Map<java.lang.String,java.lang.Object> config)

Description copied from class: InconsistencyMeasurementProcess

Additional initialization statements are put here.

Specified by:

init in class InconsistencyMeasurementProcess<S extends Formula>

update

protected double update(S formula)

Description copied from class: InconsistencyMeasurementProcess

Updates the inconsistency value with the new formula.

Specified by:

update in class InconsistencyMeasurementProcess<S extends Formula>

Parameters:

formula - some formula.

Returns:

the current inconsistency value.

toString

public java.lang.String toString()

Specified by:

toString in class InconsistencyMeasurementProcess<S extends Formula>