Package org.tweetyproject.logics.commons.analysis.streams

Class WindowInconsistencyMeasurementProcess<S extends Formula>

java.lang.Object

java.lang.Thread

org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess<S>

org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess<S>

Type Parameters:

S - The type of formulas

All Implemented Interfaces:

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

Thread.Builder, Thread.State, Thread.UncaughtExceptionHandler

Field Summary

Fields

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

Fields inherited from class org.tweetyproject.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
String	toString()

Methods inherited from class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess

abort, getInconsistencyValue, run

Methods inherited from class java.lang.Thread

activeCount, checkAccess, currentThread, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, isVirtual, join, join, join, join, ofPlatform, ofVirtual, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, sleep, start, startVirtualThread, stop, suspend, threadId, yield

Methods inherited from class java.lang.Object

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

Field Details

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 Details

WindowInconsistencyMeasurementProcess

public WindowInconsistencyMeasurementProcess()

Method Details

toString

public String toString()

Specified by:

toString in class InconsistencyMeasurementProcess<S extends Formula>