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,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