net.sf.tweety.logics.pl.analysis

Class HsInconsistencyMeasurementProcess

java.lang.Object

java.lang.Thread

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

net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess

All Implemented Interfaces:

Runnable

public class HsInconsistencyMeasurementProcess
extends net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<PropositionalFormula>

Implements an approximation algorithm for the Hs 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 and Description
static String	CONFIG_KEY_NUMBEROFPOPULATIONS Configuration key for the number of populations tried out.
static String	CONFIG_KEY_SIGNATURE Configuration key for the signature.
static String	CONFIG_SMOOTHINGFACTOR Key for the configuration map that points to the smoothing factor 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 and Description
HsInconsistencyMeasurementProcess()

Method Summary

Modifier and Type	Method and Description
protected void	init(Map<String,Object> config)
String	toString()
protected double	update(PropositionalFormula 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

CONFIG_KEY_SIGNATURE

public static final String CONFIG_KEY_SIGNATURE

Configuration key for the signature.

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 Detail

HsInconsistencyMeasurementProcess

public HsInconsistencyMeasurementProcess()

Method Detail

init

protected void init(Map<String,Object> config)

Specified by:

init in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<PropositionalFormula>

update

protected double update(PropositionalFormula formula)

Specified by:

update in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<PropositionalFormula>

toString

public String toString()

Specified by:

toString in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess<PropositionalFormula>