Class ImPostulate

    • Field Detail

      • 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 Detail

      • ImPostulate

        public ImPostulate()
    • Method Detail

      • isApplicable

        public abstract 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>
        Parameters:
        kb - some knowledge base
        Returns:
        true if the knowledge base is a non trivial instance of this postulate.
      • isSatisfied

        public boolean isSatisfied​(java.util.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