Class RankingPostulate

    • Field Detail

      • ABSTRACTION

        public static final RankingPostulate ABSTRACTION
        The ABSTRACTION postulate
      • ADDITIONOFATTACKBRANCH

        public static final RankingPostulate ADDITIONOFATTACKBRANCH
        The ADDITIONOFATTACKBRANCH postulate
      • ADDITIONOFDEFENSEBRANCH

        public static final RankingPostulate ADDITIONOFDEFENSEBRANCH
        The ADDITIONOFDEFENSEBRANCH postulate
      • ATTACKVSFULLDEFENSE

        public static final RankingPostulate ATTACKVSFULLDEFENSE
        The ATTACKVSFULLDEFENSE postulate
      • CARDINALITYPRECEDENCE

        public static final RankingPostulate CARDINALITYPRECEDENCE
        The CARDINALITYPRECEDENCE postulate
      • COUNTERTRANSITIVITY

        public static final RankingPostulate COUNTERTRANSITIVITY
        The COUNTERTRANSITIVITY postulate
      • DEFENSEPRECEDENCE

        public static final RankingPostulate DEFENSEPRECEDENCE
        The DEFENSEPRECEDENCE postulate
      • DISTDEFENSEPRECEDENCE

        public static final RankingPostulate DISTDEFENSEPRECEDENCE
        The DISTDEFENSEPRECEDENCE postulate
      • INCREASEOFATTACKBRANCH

        public static final RankingPostulate INCREASEOFATTACKBRANCH
        The INCREASEOFATTACKBRANCH postulate
      • INCREASEOFDEFENSEBRANCH

        public static final RankingPostulate INCREASEOFDEFENSEBRANCH
        The INCREASEOFDEFENSEBRANCH postulate
      • INDEPENDENCE

        public static final RankingPostulate INDEPENDENCE
        The INDEPENDENCE postulate
      • NONATTACKEDEQUIVALENCE

        public static final RankingPostulate NONATTACKEDEQUIVALENCE
        The NONATTACKEDEQUIVALENCE postulate
      • QUALITYPRECEDENCE

        public static final RankingPostulate QUALITYPRECEDENCE
        The QUALITYPRECEDENCE postulate
      • SELFCONTRADICTION

        public static final RankingPostulate SELFCONTRADICTION
        The SELFCONTRADICTION postulate
      • STRICTCOUNTERTRANSITIVITY

        public static final RankingPostulate STRICTCOUNTERTRANSITIVITY
        The STRICTCOUNTERTRANSITIVITY postulate
      • STRICTADDITIONOFDEFENSEBRANCH

        public static final RankingPostulate STRICTADDITIONOFDEFENSEBRANCH
        The STRICTADDITIONOFDEFENSEBRANCH postulate
      • VOIDPRECEDENCE

        public static final RankingPostulate VOIDPRECEDENCE
        The VOIDPRECEDENCE postulate
    • Constructor Detail

      • RankingPostulate

        public RankingPostulate()
    • Method Detail

      • isApplicable

        public abstract boolean isApplicable​(java.util.Collection<Argument> 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<Argument>
        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<Argument> kb,
                                   PostulateEvaluatable<Argument> 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<Argument>
        Parameters:
        kb - some knowledge base
        ev - some approach
        Returns:
        true if the postulate is satisfied on the instance