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

Class WindowInconsistencyMeasurementProcess<S extends Formula>

  • Type Parameters:
    S - The type of formulas
    All Implemented Interfaces:
    java.lang.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

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

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private BinaryFunction<java.lang.Double,​java.lang.Double,​java.lang.Double> agg
      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.
      static java.lang.String CONFIG_AGGREGATIONFUNCTION
      Key for the configuration map that points to the aggregation function used.
      static java.lang.String CONFIG_MEASURE
      Key for the configuration map that points to the inconsistency measure to be used.
      static java.lang.String CONFIG_NAME
      Key for the configuration map that points to the name to be used.
      static java.lang.String CONFIG_WINDOWSIZE
      Key for the configuration map that points to the window size to be used.
      private java.util.Queue<S> formulas
      the current window of formulas
      private BeliefSetInconsistencyMeasure<S> measure
      The inconsistency measure used
      private java.lang.String name
      The name of this process.
      private double previousValue
      The previous value of the measure.
      private int windowsize
      The window size.

      • Fields inherited from class java.lang.Thread

        MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

    • Method Summary

      Modifier and Type Method 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​(S formula)
      Updates the inconsistency value with the new formula.

      • 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

      • windowsize

        private int windowsize
        The window size.

      • formulas

        private java.util.Queue<S extends Formula> formulas
        the current window of formulas

      • previousValue

        private double previousValue
        The previous value of the measure.

      • agg

        private BinaryFunction<java.lang.Double,​java.lang.Double,​java.lang.Double> agg
        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.

      • name

        private java.lang.String name
        The name of this process.

      • CONFIG_MEASURE

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