Class NormalizedMicInconsistencyMeasure<S extends Formula>

java.lang.Object
Type Parameters:
S - the type of formulas
All Implemented Interfaces:
PostulateEvaluatable<S>, InconsistencyMeasure<BeliefSet<S,?>>

public class NormalizedMicInconsistencyMeasure<S extends Formula> extends MicInconsistencyMeasure<S>
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].
Author:
Matthias Thimm