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
  • 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:
    • CONFIG_WINDOWSIZE

      public static final String CONFIG_WINDOWSIZE
      Key for the configuration map that points to the window size to be used.
      See Also:
    • 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:
    • CONFIG_NAME

      public static final String CONFIG_NAME
      Key for the configuration map that points to the name to be used.
      See Also:
  • Constructor Details

    • WindowInconsistencyMeasurementProcess

      public WindowInconsistencyMeasurementProcess()
  • Method Details