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

Class WindowInconsistencyMeasurementProcess<S extends net.sf.tweety.commons.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

All Implemented Interfaces:

Runnable

public abstract class WindowInconsistencyMeasurementProcess<S extends net.sf.tweety.commons.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

Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field	Description
static String	CONFIG_AGGREGATIONFUNCTION	Key for the configuration map that points to the aggregation function used.
static String	CONFIG_MEASURE	Key for the configuration map that points to the inconsistency measure to be used.
static String	CONFIG_NAME	Key for the configuration map that points to the name to be used.
static String	CONFIG_WINDOWSIZE	Key for the configuration map that points to the window size to be used.

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	Description
WindowInconsistencyMeasurementProcess()

Method Summary

Modifier and Type	Method	Description
protected void	init(Map<String,Object> config)	Additional initialization statements are put here.
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, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, suspend, yield

Methods inherited from class java.lang.Object

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

Field Detail

CONFIG_MEASURE

public static final 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 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 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 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(Map<String,Object> config)

Description copied from class: InconsistencyMeasurementProcess

Additional initialization statements are put here.

Specified by:

init in class InconsistencyMeasurementProcess<S extends net.sf.tweety.commons.Formula>

Parameters:

config - the configuration

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 net.sf.tweety.commons.Formula>

Parameters:

formula - some formula.

Returns:

the current inconsistency value.

toString

public String toString()

Specified by:

toString in class InconsistencyMeasurementProcess<S extends net.sf.tweety.commons.Formula>