Uses of Class
org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess
Packages that use InconsistencyMeasurementProcess
Package
Description
-
Uses of InconsistencyMeasurementProcess in org.tweetyproject.logics.commons.analysis.streams
Modifier and TypeClassDescriptionclass
WindowInconsistencyMeasurementProcess<S extends Formula>
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.Methods in org.tweetyproject.logics.commons.analysis.streams that return InconsistencyMeasurementProcessModifier and TypeMethodDescriptionDefaultStreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess
(FormulaStream<S> stream) abstract InconsistencyMeasurementProcess<S>
StreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess
(FormulaStream<S> stream) Processes the formulas in the given stream one after the other.Constructors in org.tweetyproject.logics.commons.analysis.streams with parameters of type InconsistencyMeasurementProcessModifierConstructorDescriptionInconsistencyUpdateEvent
(StreamBasedInconsistencyMeasure<?> measure, InconsistencyMeasurementProcess<?> process, Double inconsistencyValue, Formula f) Creates a new event with the given parameters.Constructor parameters in org.tweetyproject.logics.commons.analysis.streams with type arguments of type InconsistencyMeasurementProcessModifierConstructorDescriptionDefaultStreamBasedInconsistencyMeasure
(Class<? extends InconsistencyMeasurementProcess<S>> clazz) Creates a new inconsistency measure based on the given process class.DefaultStreamBasedInconsistencyMeasure
(Class<? extends InconsistencyMeasurementProcess<S>> clazz, Map<String, Object> config) Creates a new inconsistency measure based on the given process class and the given configuration options for that process. -
Uses of InconsistencyMeasurementProcess in org.tweetyproject.logics.pl.analysis
Subclasses of InconsistencyMeasurementProcess in org.tweetyproject.logics.pl.analysisModifier and TypeClassDescriptionclass
Implements an approximation algorithm for the Contension inconsistency measure on streams.class
Implements an approximation algorithm for the Hs inconsistency measure on streams.class
A window inconsistency measurement process for propositional logic (this class needs to be there as no generics are allowed when instantiating a DefaultStreamBasedInconsistencyMeasure.