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()
      Default Constructor

  • 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)
      Return whether the formulas are satisfied
      Parameters:
      kb - collection of formulas
      ev - BeliefSet Inconsistency Measure
      Returns:
      whether the formulas are satisfied