net.sf.tweety.logics.pl.analysis

Class ContensionInconsistencyMeasurementProcess

java.lang.Object

java.lang.Thread

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

net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

All Implemented Interfaces:

java.lang.Runnable

public class ContensionInconsistencyMeasurementProcess
extends InconsistencyMeasurementProcess<PropositionalFormula>

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

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

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	CONFIG_KEY_NUMBEROFPOPULATIONS Configuration key for the number of populations tried out.
static java.lang.String	CONFIG_KEY_SIGNATURE Configuration key for the signature.
static java.lang.String	CONFIG_KEY_WITNESSPROVIDER Configuration key for the consistency tester.
static java.lang.String	CONFIG_SMOOTHINGFACTOR Key for the configuration map that points to the smoothing factor to be used.
private double	currentValue Current inconsistency value.
private int	numberOfPopulations The number of populations.
private int	numFormulas The number of formulas encountered.
private java.util.Random	rand For randomization.
private PropositionalSignature	sig The signature of the formulas.
private double	smoothingFactor Whether the inconsistency value should be smoothed: 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).
private ConsistencyWitnessProvider<PropositionalFormula>	witnessProvider The witness provider used.
private java.util.List<PriestWorld>	worlds The current candidate 3-valued models.

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
ContensionInconsistencyMeasurementProcess()

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(PropositionalFormula 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

CONFIG_KEY_SIGNATURE

public static final java.lang.String CONFIG_KEY_SIGNATURE

Configuration key for the signature.

See Also:

Constant Field Values

CONFIG_KEY_WITNESSPROVIDER

public static final java.lang.String CONFIG_KEY_WITNESSPROVIDER

Configuration key for the consistency tester.

See Also:

Constant Field Values

CONFIG_KEY_NUMBEROFPOPULATIONS

public static final java.lang.String CONFIG_KEY_NUMBEROFPOPULATIONS

Configuration key for the number of populations tried out.

See Also:

Constant Field Values

CONFIG_SMOOTHINGFACTOR

public static final java.lang.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

worlds

private java.util.List<PriestWorld> worlds

The current candidate 3-valued models.

sig

private PropositionalSignature sig

The signature of the formulas.

witnessProvider

private ConsistencyWitnessProvider<PropositionalFormula> witnessProvider

The witness provider used.

rand

private java.util.Random rand

For randomization.

smoothingFactor

private double smoothingFactor

Whether the inconsistency value should be smoothed: 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.

currentValue

private double currentValue

Current inconsistency value.

numFormulas

private int numFormulas

The number of formulas encountered.

numberOfPopulations

private int numberOfPopulations

The number of populations.

Constructor Detail

ContensionInconsistencyMeasurementProcess

public ContensionInconsistencyMeasurementProcess()

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<PropositionalFormula>

update

protected double update(PropositionalFormula formula)

Description copied from class: InconsistencyMeasurementProcess

Updates the inconsistency value with the new formula.

Specified by:

update in class InconsistencyMeasurementProcess<PropositionalFormula>

Parameters:

formula - some formula.

Returns:

the current inconsistency value.

toString

public java.lang.String toString()

Specified by:

toString in class InconsistencyMeasurementProcess<PropositionalFormula>