Class ImFreeFormulaDilution

java.lang.Object
org.tweetyproject.logics.pl.postulates.ImPostulate
org.tweetyproject.logics.pl.postulates.ImFreeFormulaDilution
All Implemented Interfaces:
Postulate<PlFormula>

public class ImFreeFormulaDilution extends ImPostulate
The "free-formula dilution" postulate for inconsistency measures: Removing a formula not participating in any minimal inconsistent set does not make the inconsistency value larger.
This postulate is a weaker version of "free formula independence" and is intended to be used with normalized inconsistency measures (which may not fulfill free-formula independence in some cases).
Author:
Anna Gessler
See Also:
  • Method Details

    • isApplicable

      public 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>
      Specified by:
      isApplicable in class ImPostulate
      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, BeliefSetInconsistencyMeasure<PlFormula> ev)
      Specified by:
      isSatisfied in class ImPostulate
      Parameters:
      kb - collection of formulas
      ev - BeliefSet Inconsistency Measure
      Returns:
      whether the formulas are satisfied
    • getName

      public String getName()
      Description copied from interface: Postulate
      The textual name of the postulate
      Returns:
      a string