Class RaStrictAdditionOfDefenseBranch

  • All Implemented Interfaces:
    Postulate<Argument>

    public class RaStrictAdditionOfDefenseBranch
    extends RankingPostulate
    The "strict addition of defense branch" postulate for ranking semantics as formalized in [Bonzon, Delobelle, Konieczny, Maudet. A Comparative Study of Ranking-Based Semantics for Abstract Argumentation. 2016]: Adding a defense branch to any argument improves its ranking. 'Adding a defense branch to the argument A' means adding the arguments {X1, ... , Xn} which are not in the original knowledge base, for whom is true that A <- X1 <- X2 ... <- Xn and where n is an even number.
    Author:
    Anna Gessler
    See Also:
    RaAdditionOfDefenseBranch
    • Constructor Detail

      • RaStrictAdditionOfDefenseBranch

        public RaStrictAdditionOfDefenseBranch()
    • Method Detail

      • getName

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

        public 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>
        Specified by:
        isApplicable in class RankingPostulate
        Parameters:
        kb - some knowledge base
        Returns:
        true if the knowledge base is a non trivial instance of this postulate.