Interface Postulate<S extends Formula>

Type Parameters:
S - The type of formulas this postulate is about.
All Known Implementing Classes:
AdmissibilityPrinciple, CFReinstatementPrinciple, ConflictFreePrinciple, DirectionalityPrinciple, ImAdjunctionInvariance, ImAttenuation, IMaximalityPrinciple, ImConsistency, ImContradiction, ImDominance, ImEqualConflict, ImExchange, ImFreeFormulaDilution, ImFreeFormulaIndependence, ImIrrelevanceOfSyntax, ImMINormalization, ImMISeparability, ImMonotony, ImNormalization, ImPenalty, ImPostulate, ImSafeFormulaIndependence, ImSuperAdditivity, ImWeakDominance, INRAPrinciple, ModularizationPrinciple, NaivetyPrinciple, Principle, RaAbstraction, RaAdditionOfAttackBranch, RaAdditionOfDefenseBranch, RaAttackVsFullDefense, RaCardinalityPrecedence, RaCounterTransitivity, RaDefensePrecedence, RaDistDefensePrecedence, RaIncreaseOfAttackBranch, RaIncreaseOfDefenseBranch, RaIndependence, RankingPostulate, RaNonAttackedEquivalence, RaQualityPrecedence, RaSelfContradiction, RaStrictAdditionOfDefenseBranch, RaStrictCounterTransitivity, RaTotal, RaVoidPrecedence, ReductAdmissibilityPrinciple, ReinstatementPrinciple, SccDecomposabilityPrinciple, SCOOCPrinciple, SemiQualifiedAdmissibilityPrinciple, StrongAdmissibilityPrinciple, WeakReinstatementPrinciple

public interface Postulate<S extends Formula>
Models a general (rationality) postulate, i.e. a property that can be satisfied or violated by some approach. This class contains methods for checking whether an approach satisfies certain instances wrt. this postulate.
Author:
Matthias Thimm
  • Method Summary

    Modifier and Type
    Method
    Description
    The textual name of the postulate
    boolean
    Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
    boolean
    Checks whether this postulate is satisfied by the given approach ev wrt.
  • Method Details

    • isApplicable

      boolean isApplicable(Collection<S> kb)
      Checks whether the given kb represents a non-trivial instance for this postulate, i.e., whether assumptions of this postulates are satisfied (evaluating an approach on a non-applicable instance always succeeds).
      Parameters:
      kb - some knowledge base
      Returns:
      true if the knowledge base is a non trivial instance of this postulate.
    • isSatisfied

      boolean isSatisfied(Collection<S> kb, PostulateEvaluatable<S> ev)
      Checks whether this postulate is satisfied by the given approach ev wrt. the given instance kb (note that evaluating an approach on a non-applicable instance always succeeds).
      Parameters:
      kb - some knowledge base
      ev - some approach
      Returns:
      true if the postulate is satisfied on the instance
    • getName

      String getName()
      The textual name of the postulate
      Returns:
      a string