net.sf.tweety.commons.postulates

Interface PostulateEvaluatable<S extends Formula>

Type Parameters:

S - The type of formulas this approach expects.

All Known Implementing Classes:

BeliefSetInconsistencyMeasure, CcInconsistencyMeasure, ContensionInconsistencyMeasure, CspInconsistencyMeasure, DefaultStreamBasedInconsistencyMeasure, DfInconsistencyMeasure, DHitInconsistencyMeasure, DistanceMinimizationInconsistencyMeasure, DMaxInconsistencyMeasure, DrasticInconsistencyMeasure, DSumInconsistencyMeasure, EtaInconsistencyMeasure, FbInconsistencyMeasure, FuzzyInconsistencyMeasure, HsInconsistencyMeasure, IsInconsistencyMeasure, LowerApproxDistanceMinimizationInconsistencyMeasure, MaInconsistencyMeasure, McscInconsistencyMeasure, MicInconsistencyMeasure, MiInconsistencyMeasure, MinimalViolation2InconsistencyMeasure, MinimalViolationInconsistencyMeasure, MusVarInconsistencyMeasure, NConsInconsistencyMeasure, NormalizedDistanceMinimizationInconsistencyMeasure, NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure, NormalizedMicInconsistencyMeasure, NormalizedMiInconsistencyMeasure, NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure, PmInconsistencyMeasure, PrInconsistencyMeasure, StreamBasedInconsistencyMeasure, UpperApproxDistanceMinimizationInconsistencyMeasure

public interface PostulateEvaluatable<S extends Formula>

Classes implementing this interface can be evaluated wrt. rationality postulates through the PostulateEvaluator.java class.

Author:

Matthias Thimm