Class 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:
    ImFreeFormulaIndependence
    • Constructor Detail

      • ImFreeFormulaDilution

        protected ImFreeFormulaDilution()
        Protected constructor so one uses only the single instance ImPostulate.FREEFORMULADILUTION
    • Method Detail

      • isApplicable

        public boolean isApplicable​(java.util.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.
      • getName

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