Package org.tweetyproject.logics.pl.analysis

Class ContensionInconsistencyMeasurementProcess

java.lang.Object

java.lang.Thread

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

org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

All Implemented Interfaces:

Runnable

public class ContensionInconsistencyMeasurementProcess
extends InconsistencyMeasurementProcess<PlFormula>

Implements an approximation algorithm for the Contension inconsistency measure on streams.

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 final String	CONFIG_KEY_NUMBEROFPOPULATIONS	Configuration key for the number of populations tried out.
static final String	CONFIG_KEY_SIGNATURE	Configuration key for the signature.
static final String	CONFIG_KEY_WITNESSPROVIDER	Configuration key for the consistency tester.
static final String	CONFIG_SMOOTHINGFACTOR	Key for the configuration map that points to the smoothing factor 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
ContensionInconsistencyMeasurementProcess()

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, 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, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

CONFIG_KEY_SIGNATURE

public static final String CONFIG_KEY_SIGNATURE

Configuration key for the signature.

See Also:

• Constant Field Values

CONFIG_KEY_WITNESSPROVIDER

public static final String CONFIG_KEY_WITNESSPROVIDER

Configuration key for the consistency tester.

See Also:

• Constant Field Values

CONFIG_KEY_NUMBEROFPOPULATIONS

public static final String CONFIG_KEY_NUMBEROFPOPULATIONS

Configuration key for the number of populations tried out.

See Also:

• Constant Field Values

CONFIG_SMOOTHINGFACTOR

public static final String CONFIG_SMOOTHINGFACTOR

Key for the configuration map that points to the smoothing factor to be 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 X=X1*smoothingFactor + X2*(1-smoothingFactor). This value should be between 0 and 1. If it is -1 no smoothing is done (the same as setting the smoothing factor to 0.

See Also:

• Constant Field Values

Constructor Details

ContensionInconsistencyMeasurementProcess

public ContensionInconsistencyMeasurementProcess()

Method Details

toString

public String toString()

Specified by:

toString in class InconsistencyMeasurementProcess<PlFormula>