Interface PostulateEvaluatable<S extends Formula>

Type Parameters:
S - The type of formulas this approach expects.
All Known Implementing Classes:
AbstractExtensionReasoner, AbstractExtensionSetAfReasoner, AbstractRankingReasoner, AbstractSatExtensionReasoner, BeliefSetInconsistencyMeasure, BurdenBasedRankingReasoner, CategorizerRankingReasoner, CcInconsistencyMeasure, CmdLineImSolver, ContensionInconsistencyMeasure, ContensionSatInconsistencyMeasure, CounterTransitivityReasoner, CountingRankingReasoner, CspInconsistencyMeasure, DefaultStreamBasedInconsistencyMeasure, DfInconsistencyMeasure, DHitInconsistencyMeasure, DHitSatInconsistencyMeasure, DiscussionBasedRankingReasoner, DistanceMinimizationInconsistencyMeasure, DMaxInconsistencyMeasure, DMaxSatInconsistencyMeasure, DrasticInconsistencyMeasure, DSumInconsistencyMeasure, DSumSatInconsistencyMeasure, EtaInconsistencyMeasure, FbInconsistencyMeasure, FuzzyInconsistencyMeasure, HsInconsistencyMeasure, HsSatInconsistencyMeasure, IcebergInconsistencyMeasure, IsInconsistencyMeasure, IteratedGradedDefenseReasoner, LowerApproxDistanceMinimizationInconsistencyMeasure, MaInconsistencyMeasure, McscInconsistencyMeasure, MicInconsistencyMeasure, MiInconsistencyMeasure, MinimalViolation2InconsistencyMeasure, MinimalViolationInconsistencyMeasure, MusVarInconsistencyMeasure, NConsInconsistencyMeasure, NormalizedDistanceMinimizationInconsistencyMeasure, NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure, NormalizedMicInconsistencyMeasure, NormalizedMiInconsistencyMeasure, NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure, PmInconsistencyMeasure, PrimeImplicantBasedInconsistencyMeasure, PrInconsistencyMeasure, ProbabilisticRankingReasoner, ProboI23Reasoner, ProboReasoner, PropagationRankingReasoner, QualifiedReasoner, SAFRankingReasoner, SatBasedInconsistencyMeasure, SatCompleteReasoner, SatStableReasoner, SccCF2Reasoner, SCF2Reasoner, SCOOCNaiveReasoner, SemiQualifiedReasoner, SerialisableExtensionReasoner, SerialisableRankingReasoner, SerialisedAdmissibleReasoner, SerialisedCompleteReasoner, SerialisedGroundedReasoner, SerialisedPreferredReasoner, SerialisedStableReasoner, SerialisedStronglyAdmissibleReasoner, SerialisedUnchallengedReasoner, SimpleAdmissibleReasoner, SimpleAdmissibleSetAfReasoner, SimpleCompleteReasoner, SimpleCompleteSetAfReasoner, SimpleConflictFreeReasoner, SimpleConflictFreeSetAfReasoner, SimpleEagerReasoner, SimpleEagerSetAfReasoner, SimpleGroundedReasoner, SimpleGroundedSetAfReasoner, SimpleIdealReasoner, SimpleIdealSetAfReasoner, SimpleInitialReasoner, SimpleNaiveReasoner, SimpleNaiveSetAfReasoner, SimplePreferredReasoner, SimplePreferredSetAfReasoner, SimpleResolutionBasedReasoner, SimpleSccCompleteReasoner, SimpleSccRecursiveReasoner, SimpleSemiStableReasoner, SimpleSemiStableSetAfReasoner, SimpleStableReasoner, SimpleStableSetAfReasoner, SimpleStageReasoner, SimpleStageSetAfReasoner, SolidAdmissibleReasoner, Stage2Reasoner, StrategyBasedRankingReasoner, StreamBasedInconsistencyMeasure, StronglyAdmissibleReasoner, StronglyUndisputedReasoner, TuplesRankingReasoner, UndisputedReasoner, UpperApproxDistanceMinimizationInconsistencyMeasure, VacuousReductReasoner, WeaklyAdmissibleReasoner, WeaklyCompleteReasoner, WeaklyGroundedReasoner, WeaklyPreferredReasoner

public interface PostulateEvaluatable<S extends Formula>
Classes implementing this interface can be evaluated wrt. rationality postulates through the PostulateEvaluator.java class.
Author:
Matthias Thimm