Class DefaultStreamBasedInconsistencyMeasure<S extends Formula>

Type Parameters:
S - The type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class DefaultStreamBasedInconsistencyMeasure<S extends Formula> extends StreamBasedInconsistencyMeasure<S>
Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.
Author:
Matthias Thimm