Class ImPostulate

java.lang.Object
org.tweetyproject.logics.pl.postulates.ImPostulate
All Implemented Interfaces:
Postulate<PlFormula>
Direct Known Subclasses:
ImAdjunctionInvariance, ImAttenuation, ImConsistency, ImContradiction, ImDominance, ImEqualConflict, ImExchange, ImFreeFormulaDilution, ImFreeFormulaIndependence, ImIrrelevanceOfSyntax, ImMINormalization, ImMISeparability, ImMonotony, ImNormalization, ImPenalty, ImSafeFormulaIndependence, ImSuperAdditivity, ImWeakDominance

public abstract class ImPostulate extends Object implements Postulate<PlFormula>
An abstract postulate for inconsistency measures in propositional logic; the ancestor of all concrete postulates.
Author:
Matthias Thimm
  • Field Details

    • MONOTONY

      public static final ImPostulate MONOTONY
      The MONOTONY postulate
    • DOMINANCE

      public static final ImPostulate DOMINANCE
      The DOMINANCE postulate
    • FREEFORMULAINDEPENDENCE

      public static final ImPostulate FREEFORMULAINDEPENDENCE
      The FREEFORMULAINDEPENDENCE postulate
    • SAFEFORMULAINDEPENDENCE

      public static final ImPostulate SAFEFORMULAINDEPENDENCE
      The SAFEFORMULAINDEPENDENCE postulate
    • FREEFORMULADILUTION

      public static final ImPostulate FREEFORMULADILUTION
      The FREEFORMULADILUTION postulate
    • CONSISTENCY

      public static final ImPostulate CONSISTENCY
      The CONSISTENCY postulate
    • NORMALIZATION

      public static final ImPostulate NORMALIZATION
      The NORMALIZATION postulate
    • SUPERADDITIVITY

      public static final ImPostulate SUPERADDITIVITY
      The SUPERADDITIVITY postulate
    • PENALTY

      public static final ImPostulate PENALTY
      The PENALTY postulate
    • MINORMALIZATION

      public static final ImPostulate MINORMALIZATION
      The MINORMALIZATION postulate
    • MISEPARABILITY

      public static final ImPostulate MISEPARABILITY
      The MISEPARABILITY postulate
    • ATTENUATION

      public static final ImPostulate ATTENUATION
      The ATTENUATION postulate
    • ADJUNCTIONINVARIANCE

      public static final ImPostulate ADJUNCTIONINVARIANCE
      The ADJUNCTIONINVARIANCE postulate
    • IRRELEVANCEOFSYNTAX

      public static final ImPostulate IRRELEVANCEOFSYNTAX
      The IRRELEVANCEOFSYNTAX postulate
    • EXCHANGE

      public static final ImPostulate EXCHANGE
      The EXCHANGE postulate
    • EQUALCONFLICT

      public static final ImPostulate EQUALCONFLICT
      The EQUALCONFLICT postulate
    • CONTRADICTION

      public static final ImPostulate CONTRADICTION
      The CONTRADICTION postulate
    • WEAKDOMINANCE

      public static final ImPostulate WEAKDOMINANCE
      The WEAKDOMINANCE postulate
  • Constructor Details

    • ImPostulate

      public ImPostulate()
  • Method Details

    • isApplicable

      public abstract boolean isApplicable(Collection<PlFormula> kb)
      Description copied from interface: Postulate
      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).
      Specified by:
      isApplicable in interface Postulate<PlFormula>
      Parameters:
      kb - some knowledge base
      Returns:
      true if the knowledge base is a non trivial instance of this postulate.
    • isSatisfied

      public boolean isSatisfied(Collection<PlFormula> kb, PostulateEvaluatable<PlFormula> ev)
      Description copied from interface: Postulate
      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).
      Specified by:
      isSatisfied in interface Postulate<PlFormula>
      Parameters:
      kb - some knowledge base
      ev - some approach
      Returns:
      true if the postulate is satisfied on the instance
    • isSatisfied

      public abstract boolean isSatisfied(Collection<PlFormula> kb, BeliefSetInconsistencyMeasure<PlFormula> ev)
      Parameters:
      kb - collection of formulas
      ev - BeliefSet Inconsistency Measure
      Returns:
      whether the formulas are satisfied