Package net.sf.tweety.commons.postulates

Interface PostulateEvaluatable<S extends Formula>

Type Parameters:

S - The type of formulas this approach expects.

All Known Implementing Classes:

AbstractRankingReasoner, BeliefSetInconsistencyMeasure, BurdenBasedRankingReasoner, CategorizerRankingReasoner, CcInconsistencyMeasure, ContensionInconsistencyMeasure, CountingRankingReasoner, CspInconsistencyMeasure, DefaultStreamBasedInconsistencyMeasure, DfInconsistencyMeasure, DHitInconsistencyMeasure, DiscussionBasedRankingReasoner, DistanceMinimizationInconsistencyMeasure, DMaxInconsistencyMeasure, DrasticInconsistencyMeasure, DSumInconsistencyMeasure, EtaInconsistencyMeasure, FbInconsistencyMeasure, FuzzyInconsistencyMeasure, HsInconsistencyMeasure, IcebergInconsistencyMeasure, IsInconsistencyMeasure, IteratedGradedDefenseReasoner, LowerApproxDistanceMinimizationInconsistencyMeasure, MaInconsistencyMeasure, McscInconsistencyMeasure, MicInconsistencyMeasure, MiInconsistencyMeasure, MinimalViolation2InconsistencyMeasure, MinimalViolationInconsistencyMeasure, MTRankingReasoner, MusVarInconsistencyMeasure, NConsInconsistencyMeasure, NormalizedDistanceMinimizationInconsistencyMeasure, NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure, NormalizedMicInconsistencyMeasure, NormalizedMiInconsistencyMeasure, NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure, PmInconsistencyMeasure, PrInconsistencyMeasure, PropagationRankingReasoner, SAFRankingReasoner, StreamBasedInconsistencyMeasure, TuplesRankingReasoner, 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